論文の概要: On the Relationship between Code Verifiability and Understandability

• arxiv url: http://arxiv.org/abs/2310.20160v1
• Date: Tue, 31 Oct 2023 03:54:35 GMT
• ステータス: 処理完了
• システム内更新日: 2023-11-01 16:33:38.893099
• Title: On the Relationship between Code Verifiability and Understandability
• Title（参考訳）: コード検証可能性と理解可能性の関係について
• Authors: Kobi Feldman, Martin Kellogg, Oscar Chaparro
• Abstract要約: ソフトウェア検証の支持者は、より単純なコードは検証し易いと主張した。 我々は,Javaコードの211スニペット上で,最先端の4つの検証ツールが生成する警告数と,対象者からのコード理解度に関する20の指標を比較した。
• 参考スコア（独自算出の注目度）: 2.5728707125824735
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Proponents of software verification have argued that simpler code is easier to verify: that is, that verification tools issue fewer false positives and require less human intervention when analyzing simpler code. We empirically validate this assumption by comparing the number of warnings produced by four state-of-the-art verification tools on 211 snippets of Java code with 20 metrics of code comprehensibility from human subjects in six prior studies. Our experiments, based on a statistical (meta-)analysis, show that, in aggregate, there is a small correlation (r = 0.23) between understandability and verifiability. The results support the claim that easy-to-verify code is often easier to understand than code that requires more effort to verify. Our work has implications for the users and designers of verification tools and for future attempts to automatically measure code comprehensibility: verification tools may have ancillary benefits to understandability, and measuring understandability may require reasoning about semantic, not just syntactic, code properties.
• Abstract（参考訳）: ソフトウェア検証の支持者は、より単純なコードは検証が容易であると主張した。つまり、より単純なコードを分析する際に、検証ツールは偽陽性を少なくし、人間の介入を少なくする。 6つの先行研究において,Javaコードの211個のスニペット上で4つの最先端検証ツールが生成する警告数と,対象者からのコード理解度を20のメトリクスで比較することにより,この仮定を実証的に検証する。 統計的(メタ)分析に基づく実験は,総じて,理解可能性と検証可能性の間には,わずかな相関(r = 0.23)があることを示す。 その結果は、検証により多くの労力を要するコードよりも、容易に検証できるコードは理解しやすいという主張を支持する。 私たちの研究は、ユーザやデザイナがコード理解性を自動的に測定する試みに影響を与えています。検証ツールは、理解可能性に対する補助的なメリットがあり、理解可能性を測定するには、単に構文ではなく、コードプロパティに関する推論が必要です。

関連論文リスト

• Understanding Code Understandability Improvements in Code Reviews [79.16476505761582]
  GitHub上のJavaオープンソースプロジェクトからの2,401のコードレビューコメントを分析した。 改善提案の83.9%が承認され、統合され、1%未満が後に復活した。
  論文  参考訳（メタデータ） (2024-10-29T12:21:23Z)
• Demystifying and Assessing Code Understandability in Java Decompilation [3.2671789531342457]
  機械レベルのコードを可読性のあるソースコードに変換するプロセスである逆コンパイルは、リバースエンジニアリングにおいて重要な役割を果たす。 本稿では,Javaの非コンパイルコードの可読性に関する最初の実証的研究を提案する。
  論文  参考訳（メタデータ） (2024-09-30T14:44:00Z)
• When simplicity meets effectiveness: Detecting code comments coherence with word embeddings and LSTM [6.417777780911223]
  コードコメントは、プログラマに実用的な情報を提供するため、ソフトウェア開発において重要な役割を果たす。 開発者はコードを更新した後、コメントをそのまま残す傾向があり、2つのアーティファクトの間に相違が生じます。 コードスニペットが与えられたら、そのコメントが一貫性があり、コードの背後にある意図をよく反映しているかどうかを特定することが重要です。
  論文  参考訳（メタデータ） (2024-05-25T15:21:27Z)
• Code Prompting Elicits Conditional Reasoning Abilities in Text+Code LLMs [65.2379940117181]
  自然言語の問題をコードに変換する一連のプロンプトであるコードプロンプトを導入します。 コードプロンプトは複数のLLMに対して高速に向上することがわかった。 GPT 3.5を解析した結果,入力問題のコードフォーマッティングが性能向上に不可欠であることが判明した。
  論文  参考訳（メタデータ） (2024-01-18T15:32:24Z)
• When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
  本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。 具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。 コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
  論文  参考訳（メタデータ） (2023-08-29T17:22:39Z)
• Investigating the Impact of Vocabulary Difficulty and Code Naturalness on Program Comprehension [3.35803394416914]
  本研究の目的は,言語習得の観点から可読性と可読性を評価することである。 我々は,それらの相関関係を理解するために統計的解析を行い,可読性および可読性予測法の性能向上にコード自然性および語彙難易度を用いることができるか分析する。
  論文  参考訳（メタデータ） (2023-08-25T15:15:00Z)
• SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings [2.1222884030559315]
  関数レベルのバイナリ埋め込みのための単純なコントラスト学習フレームワークSimCLFを提案する。 我々は教師なし学習アプローチを採用し、インスタンス識別としてバイナリコード類似性検出を定式化する。 SimCLFは分解されたバイナリ関数を直接操作し、任意のエンコーダで実装できる。
  論文  参考訳（メタデータ） (2022-09-06T12:09:45Z)
• Deep Just-In-Time Inconsistency Detection Between Comments and Source Code [51.00904399653609]
  本稿では,コード本体の変更によりコメントが矛盾するかどうかを検出することを目的とする。 私たちは、コメントとコードの変更を関連付けるディープラーニングアプローチを開発しています。 より包括的な自動コメント更新システムを構築するために,コメント更新モデルと組み合わせて提案手法の有用性を示す。
  論文  参考訳（メタデータ） (2020-10-04T16:49:28Z)
• CodeBLEU: a Method for Automatic Evaluation of Code Synthesis [57.87741831987889]
  コード合成の分野では、一般的に使用される評価基準はBLEUまたは完全精度である。 我々はCodeBLEUと呼ばれる新しい自動評価指標を導入する。 n-gramマッチングにおけるBLEUの強度を吸収し、抽象構文木(AST)やデータフローによるコードセマンティクスを通じてコード構文を注入する。
  論文  参考訳（メタデータ） (2020-09-22T03:10:49Z)
• A Transformer-based Approach for Source Code Summarization [86.08359401867577]
  コードトークン間のペア関係をモデル化することにより,要約のためのコード表現を学習する。 アプローチは単純であるにもかかわらず、最先端技術よりもかなりの差があることが示される。
  論文  参考訳（メタデータ） (2020-05-01T23:29:36Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。