我们创建了一个工具，可以将一种称为P2的语言转换为C＃，该语言类似于我认为仅在日本存在的汇编语言。 P2至少有一百个模块，我们要验证是否转换为Cis正确吗？我们如何测试呢？

解决方案

回答

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

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

祝你好运！

回答

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