研究課題
若手研究(B)
本研究では、並行ソフトウェアの振舞いをより精密に表現するために、ペトリネットの一種であるプレース/トランジションネットを拡張した形式的モデルを定義した。そして、各種メトリクスに基づいて形式的モデルを重み付けし、拡張されたミューテーションスコアを導出したり、テストケースやミュータントモデルを選りすぐって生成したりする手法を構築した。さらに、ミュータントモデルからネガティブテストケースを選りすぐって生成する手法を構築した。
ソフトウェア工学
