電子情報通信学会情報・システムソサイエティ
電子情報通信学会ヒューマンコミュニケーショングループ
情報処理学会
抄録
B-010
ペトリネットに基づくミュータントを用いたネガティブテストケースの作成
○
高木智彦（香川大）
ペトリネットを用いたミューテーションテスト法では，テスト対象ソフトウェアの期待される振舞いを表すペトリネットに対して，想定される故障を意図的に挿入することでミュータントを作成する．本稿では，このミュータントを用いて，当該故障が実際に潜在していないことを効果的に確認するためのテストケース（ネガティブテストケース）を作成するための方法について述べる．
