净室软件工程探讨

作者：游新娥

来源：湘潭师范学院学报(自然科学版), 2005, (01): 31-34.

• 净室软件工程
• 增量
• 盒子结构
• 统计测试

净室软件工程是软件开发的一种形式化方法 ,它使用盒结构规约进行分析和设计建模 ,强调将正确性验证作为发现和消除错误的主要机制 ,从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术 ,并阐述了净室过程与其他软件工程实践的关系

• 单位
  娄底职业技术学院