c# - 言語変換テスト

Question

P2という日本にしかない言語だと思うアセンブリ系言語をC#に変換するツールを作りました。P2 には少なくとも 100 個のモジュールが記述されており、C# への変換が正しいかどうかを確認したいですか? これをどのようにテストできますか？

Answer 1

コンバーターをテストするのではなく、最終的なコードをテストします。

コードがコンパイルされない場合、明らかにコンバーターが失敗しています。コードがコンパイルされ、機能テストが失敗した場合は、テストに合格するようにコードを微調整できます。かなり成功した場合は、実際に失敗したモジュールのみを修正する必要があることがわかるはずです。

幸運を！

Answer 2

正式な数学的証明 (これは難しいと思います) を除いて、プリンの証明は単体テストにあります。変換された C# スニペットをラップし、コンパイルして同様の環境で実行し、出力をオリジナルと比較する方法を見つける必要があります。厳密にテストしない限り、結果に自信を持つことはできません。