语言转换测试

Question

我们创建了一种将称为P2的语言（一种类似于我认为仅在日本存在的程序集）的语言转换为C＃的工具。在P2中至少有一百个模块，我们想验证转换为C＃是否正确？我们如何测试这个？

Answer 1

你不测试转换器，你测试最终的代码。

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

Goodluck！

Answer 2

缺少正式的数学证明（我认为这很难），布丁的证明是在单元测试中。您必须找到一种方法来封装转换后的C＃代码片段，编译并在类似环境下运行它们，然后将输出与原始文件进行比较。除非您在测试中严格要求，否则您无法确信结果。