大会名称
2014年 情報科学技術フォーラム(FIT)
大会コ-ド
F
開催年
2014
発行日
2014/8/19
セッション番号
4B
セッション名
ソフトウェア開発支援
講演日
2014/9/4
講演場所(会議室等)
3B棟4F 3B402
講演番号
B-003
タイトル
COINSを用いた静的プログラムスライシングツールの実装
著者名
上野 智弘芳賀 博英
キーワード
ミューテーション解析, 静的プログラムスライシング, COINS, コンパイラインフラストラクチャ
抄録
テストセットの評価手法にミューテーション解析がある.この手法では,ミューテーションオペレータをプログラムに適用してミュータントを生成し,それをテストセットが検出できるかによって品質を評価する.しかし,すべてのステートメントに対してすべてのミューテーションオペレータを適用すると,生成されるミュータントの数が膨大になるという問題がある.解決方法の1つとして,ミューテーションオペレータを適用するステートメントの数を減らすことが考えられる.本報告では,上記の解決方法を実現するために静的プログラムスライシングツールをCOINSを用いた既存研究を参考にし,発展させた.
本文pdf
PDF download (382KB)