文献

J-GLOBAL ID：201502221429961072   整理番号：15A0780934

ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェア修正法提示

著者 (4件)： 梅村葵 (愛知県大 大学院情報科学研究科) ,  大久保弘崇 (愛知県大 情報科学) ,  粕谷英人 (愛知県大 情報科学) ,  山本晋一郎 (愛知県大 情報科学)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2015  号： SE-187  ページ： VOL.2015-SE-187,NO.25 (WEB ONLY)  発行年： 2015年03月05日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ミューテーション法によるテスト結果の変化に着目した,ソフトウェアの修正方法を提示する手法を提案する。修正方法の提示により,欠陥の探索に要する負担を軽減し,修正作業に伴うソフトウェアの理解を支援する。その結果としてソフトウェアの修正作業にかかる負担を軽減する。提案手法は,ミューテーション法へミュータントの分類を追加し,その分類に基づきミュータントに対する評価値を定義する。この評価値は,ミュータントのソフトウェアに対する修正としての適性を数値化したものである。実験により,提案手法の欠陥局所化能力と提示した修正方法の正しさを評価し,修正の適性を表す評価値の性質と提案手法の計算時間について考察した。(著者抄録)

シソーラス用語： *プログラムメンテナンス ,  *ソフトウェア障害 ,  *品質 ,  プログラムスキーム ,  プログラムの正しさ ,  プログラム検証 ,  故障診断 ,  *プログラム解析
準シソーラス用語： *ソフトウェア品質 ,  *ミューテーション法

分類 (2件)： その他のシステムプログラミング  (JD03070M) ,  計算理論  (JB02000A)

引用文献 (10件)：

• 日本工業標準調査会.日本工業規格jis x0161:2008(iso/iec14764:2006)ソフトウェア技術-ソフトウェアライフサイクルプロセス-保守.2008.
• H. Agrawal, J.R. Horgan, S. London, and W.E. Wong. Fault localization using execution slices and dataflow tests. In Software Reliability Engineering, 1995. Proceedings., Sixth International Symposium on, pp.143-151, Oct 1995.
• James A. Jones and Mary Jean Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, ASE '05, pp. 273-282, New York, NY, USA, 2005. ACM.
• Shotgun debugging - wikipedia, the free encyclopedia. http://en.wikipedia.org/wiki/Shotgun_debugging/.
• Monica Hutchins, Herb Foster, Tarak Goradia, and Thomas Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering, ICSE '94, pp. 191-200, Los Alamitos, CA, USA, 1994. IEEE Computer Society Press.

タイトルに関連する用語 (5件)： 拡張 ,  テスト ,  着目 ,  ソフトウェア ,  修正法