Metamorphic Testing は、Chen らによって提案されたソフトウェアテスト手法です*1。以下に示す第二著者のウェブページからテクニカルレポートをダウンロードできます*2。今回は、テクニカルレポートで用いられている例を実装しながら Metamorphic Testing …

Mutation testing とは、プログラムに対するテストケースが十分であるかを測定する手法です。テスト対象のプログラムを機械的に変更してバグを埋め込み、テストがちゃんと失敗するかどうかを調べます。バグのあるプログラムをテストするので、テストの失敗は…