求问怎么验证Test Case是对的

求教一个关于Software Testing的问题，比如说我现在想写一个Unit Test，去测试某个算法是不是对，例如Leetcode随便一道题目。我在写Test Case的时候，我怎么去算我Test Case给出的Solution是对的？比如说某个算法，暴力是指数级的，题目要求是N^2的，那我写大的Test Case时候该怎么办？暴力解可能对于机器都受不了？谢谢指教。

我认为有两套思路：1、用已经（经过长期使用）验证正确的其他算法B产生test case的“标准答案”；2、若没有其他已知的正确算法，或其他算法的运行时间长到不可接受，那就可以用自己的算法算出解后，回头去验证这个解是否满足题目要求。但是无论是哪条思路，除非P=NP，否则不可能存在保证对任何问题都适用的能在多项式时间内验证该implementation正确性的方案。

我个人设计test case时，会用较短的test case去测试代码的“逻辑正确性”，保证该段代码在能够给出正确的结果；而用大的test测试“物理正确性”，包括1）执行时间是否过长和2）是否会出现内存错误等在输入较短时都不容易看出来的因素。但是，短test case必须非常合理地设计，使它们能够反映出所有（至少绝大部分）可能导致出错的场景。

同问。。。。

lcl3356897 发表于 2016-1-9 02:46
同问。。。。

这貌似还是一个哲学问题，How to test your test cases...

stellari 发表于 2016-1-9 18:08
我认为有两套思路：1、用已经（经过长期使用）验证正确的其他算法B产生test case的“标准答案”；2、若没有 ...

非常感谢楼主详细的回答！能再具体说下怎么设计短case吗？例如每个Branch都覆盖到？

我写test case的时候一般就是语句覆盖+分支覆盖。 条件覆盖要求的用例太多了，所以一般就不写了。然后写点临界值的测试。不知道有没有什么需要补充的