净室

净室软件工程是软件通过形式方法进行分析设计，并强调统计正确性验证替代测试的方法来交付软件，为了避免人为的错误。 技术手段有： 控制迭代：统计过程控制下的增量式开发 盒子结构：黑盒、状态盒、明盒。行为视图、有限状态机视图、过程视图 正确性验证：净室工程的核心 统计测试和软件认证：用统计学原理，进行抽样 ......