文档介绍：第卷第期计算机技术与发展. .
年月. ..
净室软件工程研究
常郝
安徽财经大学信息工程学院,安徽蚌埠
摘要:净室软件工程是一种应用数学与统计学理论以经济的方式生产高质量软件的工程技术。文中介绍了净室软件工
程的理论基础,探讨了净室工程的关键技术,研究了净室参考模型及其不足。结果表明,净室软件工程对于成熟的软件开
发组织和专业的技术人员,在资源充沛的情况下,其面向零缺陷的盒式结构开发方法和正确性验证能够有效地保证软件
的质量。
关键词:净室软件工程;增量式开发;盒式规范与设计;净室参考模型
中图分类号:Ⅱ. 文献标识码: 文章编号:———
,,,
: .
, ;,
. —
—.
:;;;
引言效的目标。
传统的软件工程方法包括分析、设计、编码、测试经过,等机构在实践中使用净室技术
等步骤,随着软件规模的增大,软件开发过程内部的不开发的产品,显示出了卓越的质量水平及用户使用可
一致性问题日渐突出,风险也越来越大。靠性,使得净室方法得到了初步认可。
净室软件工程是一种应用数学与统计学理论以经
济的方式生产高质量软件的工程技术,力图通过严格净室理论基础
的工程化的软件过程达到开发中的零缺陷或接近零缺净室理论基础来自于数学。把计算机程序
陷。“净室”一词源自半导体工业中硬件生产车间, 看作一个数学函数,同时认为软件测试只是从无
通过严格、洁净的生产过程预防了缺陷的产生,而不是限的可能使用中抽取的样本。这使得净室软件工程
在事后再去排除故障。借用这个词,充分显示了净室成为一个真正的工程学科。
技术“防患于未然”的主导思想。. 函数理论
净室软件工程的目标之一就是实现软件开发的工净室开发方法基于数学中的函数理论。函数定义
程化,通过工程化的软件开发过程,有效地控制软件开了从定义域到值域的映射,定义域中的每个元素都可
发中的任何一个步骤,从而实现可预期的软件产出。在值域中找到唯一的元素与之对应。程序的规范就是
净室软件工程的目标之二是改变以往在软件开发后期
函数的规范,描述了程序的输人序列到输出空间的映
来改正软件失效的做法,通过增量开发、严格的开发规
射。一个定义明确的函数有如下特性:完备性、一致性
范及设计和基于统计学的可靠性测量来达到软件零失
和正确性,因此程序规范必须满足完备性、一致性和正
确性,即每种可能的输入都必须定义,有且仅有一个输
收稿日期:一—
基金项目:安徽省自然科学基金资助项目出与之对应;对于需求的正确性由领域专家判断,而对
作者简介:常郝一,男,安徽寿县人,讲师,硕士,主要研究于给定设计及其规范的正确性通过基于函数理论的推
方向为软件过程、生物特征识别技术、计算机网络与信息安全。理来验证。
· · 计算机技术与发展第卷
. 统计理论净室软件小组通常使用在测试中的开发性能度量
净室测试方法基于统计学。当从经济上或技术上作为过程控制的标准。通常使用的度量包括每千行代
无法测试样本全体时,可以使用统计抽样的方法。如码的错误数、失效的间隔时间、可靠性及可
果统计结果没有达到质量目标,生产过程需做必要的信性。其它过程控制方法或许依赖于所管理的事务,
调整。这种