净室软件工程是软件通过形式方法进行分析设计，并强调统计正确性验证替代测试的方法来交付软件，为了避免人为的错误。
技术手段有：
控制迭代：统计过程控制下的增量式开发
盒子结构：黑盒、状态盒、明盒。行为视图、有限状态机视图、过程视图
正确性验证：净室工程的核心
统计测试和软件认证：用统计学原理，进行抽样统计
缺点：
太过理论化、正确性验证的步骤比较困难耗时
不进行传统的模块测似乎，这不现实。
会带有传统软件工程的弊端
标签：净室,验证,16,视图,正确性,软件工程 From： https://www.cnblogs.com/wumingliang/p/17527887.html