2007/4/16的一篇旧文 小谈软件工程 之 测试的可能性

小谈软件工程 之测试的可能性

我做了一个项目，完全的测试项目，用djunit对已经完备的source写程序程序，项目很成功，测试质量也很高，但是在测试之中我却发现了一个问题。那就是，软件测试是可靠的吗？

这个世界上面真的有可靠的测试吗？或者换句话说，测试本身由谁来测试？

我们用测试技术来测试软件的可靠性，正确性，使用性，但是，谁来测试我们的测试技术？

junit是白盒测试，用java来测试java，看起来很美丽，但是，我想问一句，你写的测试程序谁来保证正确性？

也许有人会说，我们可以不用测试程序测试，我们可以用人工测试，比如CT,IT阶段的人工白盒测试，我之前作了3个月这样的测试工作，我所在的公司有完备的文档，规则，可以说是国内相当好的测试环境，但是我一天突发奇想，谁来保证我们这种测试流程的正确性，谁来保证我们这种测试流程的完备性？

我一直在考虑，数学是这个世界上面最严谨的东西，所有的一切数学定理都有最基础的数学引理导出，基础的数学引理是我们人类日常的生活经验，这样我们保证了数学的可靠性。但是软件呢，软件测试呢？

谁来保证？有谁用数学定理一样严谨的思路证明过这一切应该这样，而不是其他？

至少我没有看见这样纯学术的证明，因此我不得不老话重提——“软件工程，它才刚刚起步呢”