|
|
1
1
在过去,我使用第三方应用程序来验证这样的输出(最好将其转换为可以机械验证的其他格式)。使用第三方可以确保我的假设至少得到其他人的认同,如果不完全正确的话。至少这种方法可以用来验证语法。语义正确性可能需要为测试数据创建一个使用者,这可能总是容易出现您提到的“错误假设”陷阱。 |
|
|
2
1
随机性总是在同一个地方吗?也就是说,大部分文件是固定的,但有些部分总是会改变?如果是这样的话,您可能能够获得几个输出,并使用编程diff来确定不确定的部分。一旦知道了这些信息,就可以使用这些信息派生一个掩码,然后进行比较(md5或直接比较)。考虑对文件进行预处理,以删除(或用确定性数据覆盖)不确定性的部分。 如果整个文件是不确定的,那么你必须想出一个不同的解决方案。我测试了不确定的mpeg-2解码器。在这种情况下,我们可以做一个psnr,如果它是超过某个阈值失败。这可能有效,也可能无效,这取决于您的数据,但类似的事情可能是可能的。 |