净室软件工程

净室软件工程（cleanroomsoftwareengineering）是90年度IBM提出来的，他们的思想是不要debug，一次性compile通过。这个刚开始给我们的感觉是不可能实现的，即使实现了效果也不会像想象的好，但是，IBM通过测试与验证得出他们在开发一个OA系统，在2万多行的代码当中，bug只有1到2个。

具体的做法是首先根据图形来开出规格，然后验证程序（测试不是唯一找到bug的方式,在TSP中codereview过程也可以发现bug），验证程序是去证明程序的正确性，从下向上知道得到TRUE为止。这种方法中测试不是用来寻找bug，而是去寻找可靠度。