言語変換テスト

Question

私は日本でしかないと思うアセンブリ言語に類似したP2という言語をC＃に変換するツールを作成しました。 P2には少なくとも100個のモジュールがあり、C＃への変換が正しいかどうかを確認したいのですか？どのようにこれをテストできますか？

Answer 1

コンバータをテストしないで、最終コードをテストします。

コードがコンパイルされない場合は、コンバータが正常に動作していません。コードがコンパイルされ、機能テストが失敗した場合は、テストに合格するようにコードを微調整できます。かなり成功した場合は、実際に失敗するモジュールを修正するだけでよいことがわかります。

Goodluck！

Answer 2

私は難しいと思う形式的な数学的証明の欠如は、プディングの証明は単体テストにあります。変換されたC＃スニペットをラップし、コンパイルして同様の環境で実行し、出力を元のものと比較する方法を見つける必要があります。テストで厳格でなければ、結果を確信できる方法はありません。