语言转换测试

Question

我们创建了一个工具，将一种名为P2的语言转换为C＃，这种语言类似于我认为仅在日本存在的汇编语言。在P2中至少有一百个模块，我们想验证转换到C＃是否正确？我们怎么测试呢？

Answer 1

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

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

古德勒克！

Answer 2

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