抄録

◎上野智弘・芳賀博英（同志社大）

テストセットの評価手法にミューテーション解析がある．この手法では，ミューテーションオペレータをプログラムに適用してミュータントを生成し，それをテストセットが検出できるかによって品質を評価する．しかし，すべてのステートメントに対してすべてのミューテーションオペレータを適用すると，生成されるミュータントの数が膨大になるという問題がある．解決方法の1つとして，ミューテーションオペレータを適用するステートメントの数を減らすことが考えられる．本報告では，上記の解決方法を実現するために静的プログラムスライシングツールをCOINSを用いた既存研究を参考にし，発展させた．