語言轉換測試

Question

我們創建了一種將稱爲P2的語言（一種類似於我認爲僅在日本存在的程序集）的語言轉換爲C＃的工具。在P2中至少有一百個模塊，我們想驗證轉換爲C＃是否正確？我們如何測試這個？

Answer 1

你不測試轉換器，你測試最終的代碼。

如果代碼不能編譯，顯然你的轉換器失敗。如果代碼編譯和您的功能測試失敗，那麼您可以調整代碼以使其通過測試。如果你非常成功，你應該看到你只需要修復實際失敗的模塊。

Goodluck！

Answer 2

缺少正式的數學證明（我認爲這很難），布丁的證明是在單元測試中。您必須找到一種方法來封裝轉換後的C＃代碼片段，編譯並在類似環境下運行它們，然後將輸出與原始文件進行比較。除非您在測試中嚴格要求，否則您無法確信結果。