抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトウェア開発者は,符号化ソリューションに対する質問と回答ポータルとブログにますます依存している。このようなインタフェイスは有用な情報を提供するが,ここでは,ここでホストされたコードは,しばしば不正確で,不安定であるか不完全である。以前の研究は,静的解析の使用を通して,Stackオーバーフローに提供されたコードにおける一連の故障を検出した。静的解析は,オンラインで利用可能なソフトウェアコードの健全性を迅速に確立するのに,遠い道をつけるかもしれない。さらに,迅速な自動化プログラム改善を可能にする機構は,そのようなコードを強化する可能性がある。従って,この概念の証明を提示した。PMD静的解析ツールを用いて,GINを用いてこれらのスニペット上で突然変異を行う前に,Stack Overflow Javaコードスニペットのサンプルに対する性能故障を検出した。次に,GIN変異後のこれらのスニペットにおける性能故障を再解析した。GINのランダムSamplerを用いて,PMD違反が770のパッチバージョンから除去された3,034のスニペット上の17,986のユニークなラインとステートメントパッチを遂行した。著者らの成果は,静的解析技術が,非常に少ない資源要求で公的に利用可能なコードを強化するための自動化プログラム改良法と組み合わせるかもしれないことを示した。この点で計画された研究課題を論じた。【JST・京大機械翻訳】