文献

J-GLOBAL ID：202202277963068863   整理番号：22A0930569

産業強度静的解析による学生プログラマの支援 複製研究【JST・京大機械翻訳】

Helping Student Programmers Through Industrial-Strength Static Analysis A Replication Study

著者 (3件)： Senger Allyson (Virginia Tech, Blacksburg, VA, USA) ,  Edwards Stephen H. (Virginia Tech, Blacksburg, VA, USA) ,  Ellis Margaret (Virginia Tech, Blacksburg, VA, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： SIGCSE 2022  ページ： 8-14  発行年： 2022年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 静的解析ツールは,典型的なコンパイラ誤差を超える問題を同定するためのソースコードを評価する。以前の研究は,正しさと静的解析結果の間に統計的に有意な関係を示した。本論文では,FindBugsに関する事前研究を,専門的Javaプログラマを狙った静的解析ツールを複製し,拡張した。事前研究は,あるFindBugs問題とプログラム正しさの問題の間の強いリンクを示した。また,それらは,より多くの時間,より多くのサブミッション,およびより低いスコアを受けることにより示されるように,スラグリングと有意に関連していることを示した。しかし,研究は,CS1コースの1つのセメスターからのコードの手持ちだけを含む小さなプログラミング運動を使用した。この複製研究は,同じ実験手法を用いるが,4つの学術的セムエステルの期間にわたる大きな公共大学におけるCS1,CS2,およびCS3のすべてのセクションにわたって,長さにおける数百から数千のラインにわたるフルスケールプログラミング割当てに適用し,109の実験室セクションにおける4,244の学生が,255,222のサブミッションの試みを完了する。この複製研究の目標は,以前の結果がどのように保持されているかを確認し,その結果がフルサイズのプログラミング割当てにいかに適用されるかを確認することである。著者らは,正しさと逆相関するFindBugs警報の集合を見出し,それらの存在が,より大きなプログラミング割当てに関するストラグリングと有意に関連していることを確認した。しかし,より多数のFindBugs問題は貴重なものとして同定された。また,ネイティブメッセージが専門のプログラマのために書かれたツールに対して,学生に優しいフィードバックを提供するために,学生に優しいメッセージがどのように加えられたかを議論した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機プログラミング ,  警報 ,  コンパイラ ,  *プログラマ ,  *複製 ,  実験 ,  スラグ ,  計算機コード ,  *プログラム解析 ,  Java
準シソーラス用語： *静的解析 ,  ソースコード , 【Automatic Indexing@JST】

著者キーワード (7件)： バッグ ,  cs教育 ,  cs1 ,  cs2 ,  エラー ,  発見 ,  静的解析

分類 (3件)： 計算機システム開発  (JD02010R) ,  言語プロセッサ  (JD03040F) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (7件)： 産業 ,  静的解析 ,  学生 ,  プログラマ ,  支援 ,  複製 ,  研究