algorithm - アルゴリズム実装のテスト規則、それらは何ですか?

Question

特定のアルゴリズムの実装をどのようにテストできるのでしょうか?

テストアプローチのさまざまなオプションは何ですか?

1. 決定的/非決定的な最終状態マシンでアルゴリズムを分解する必要がありますか?
2. 単体テスト？
3. 他の何か？

Answer 1

実際には、実行する最初のテストは通常​​、(十分に大きな) 一連の既知のテスト ベクトルに対して実装を検証することです。これは多かれ少なかれ単体テストです。

実装が複雑すぎない場合は、実装によって、与えられた既知の事前条件のセットが与えられた既知の事後条件のセットに変換されるという数学的な証明を構築することもできます。これは、アルゴリズム/実装が正しいことを保証する最も完全な方法ですが、かなり複雑な実装ではおそらく最も難しい方法です。