Metamorphic Testing - 正解を書けない処理を入力の変え方で検査する
Metamorphic Testing（メタモルフィックテスト）は、出力の正解が分からない処理をテストする手法です。1 つの入力に対する正解を書く代わりに、「入力をこう変えたら、出力はこう変わるはず」という関係を書き、2 つの出力がその関係を満たすかを検証します。 ...
Gleam
Mutation Testing - コードを 1 か所ずつ書き換え、テストが誤りに気づくかを数える
Mutation Testing（ミューテーションテスト）は、テスト対象のコードを 1 か所だけ書き換え、テストがその変化に気づくかで、テストの強さを測る手法です。書き換えたコードをミュータント（mutant）と呼びます。ミュータントでテストが 1 件でも落ちれば、テストはそのミュータントをキルした（killed）と言い、全てのテストが通れば、ミュータントは生き残った（survived）と言います。 ...