c# - 语言转换测试

Question

我们创建了一个工具，可以将一种叫做 P2 的语言（一种类似于我认为只存在于日本的汇编语言）转换为 C#。至少有一百个模块是用 P2 编写的，我们要验证转换为 C# 是否正确？我们如何测试这个？

Answer 1

您不测试转换器，而是测试最终代码。

如果代码无法编译，显然您的转换器失败了。如果代码编译并且您的功能测试失败，那么您可以调整代码以使其通过测试。如果你相当成功，你应该看到你只需要修复实际失败的模块。

祝你好运！

Answer 2

缺少正式的数学证明（我想这很困难），布丁的证明在单元测试中。您必须找到一种方法来包装转换后的 C# 代码片段，在类似的环境下编译和运行它们，然后将输出与原始代码进行比较。除非您在测试中非常严格，否则您无法对结果充满信心。