净室软件工程研究.pdfVIP

第 18卷 第 12期 计 算 机 技术 与发 展 Vd．18 NO．12 2008年 12月 COMPUTERTECHN()10．GY ANDDEVELOPMENT Dec．． 2o08 净室软件工程研究 常 郝 (安徽财经大学信息工程学院，安徽 蚌埠 233030) 摘 要：净室软件工程是一种应用数学与统计学理论以经济的方式生产高质量软件的工程技术。文中介绍了净室软件工 程的理论基础，探讨了净室工程的关键技术，研究了净室参考模型及其不足。结果表明，净室软件工程对于成熟的软件开 发组织和专业的技术人员，在资源充沛的情况下，其面向零缺陷的盒式结构开发方法和正确性验证能够有效地保证软件 的质量。 关键词：净室软件工程；增量式开发；盒式规范与设计；净室参考模型 中图分类号：Ⅱ)311．5 文献标识码：A 文章编号：1673—629x(2008)12—0127—03 ResearchofCleanRoom SoftwareEngineering CHANG Hao (SchoolofInformationandEngineering，AnhuiUniversityofFinanceandEconomics，Bengbu233030，China) Abstract：Cleanloom is811engineeringtechnologyofdeveloping highqualityandreliabiliytsoftwarebasedonmathematicsandstatistics． IntroducedtheoryofcleanrooITlsoftwareengineering，nadthenresearchedosmekeytechnologiesofcleanroom；atlast，thecleanroom modelnaddisadvnatageswerestudied．Th6resultprovesthatsoftwarequaliytcanbeensurdebyoerrcetnessverificationusingboxstruc— tuleorientde zerodefectsintermsofwell—m~dde orgnaizationwithprofessionaltechnologynadenoughresources． Keywords：clean1-oolnosftwareengineering；incrementaldevelopment；boxspecifiactionanddesign；cleanloom model O 引 言 效的目标。 传统的软件工程方法包括分析、设计、编码、测试 经过IBM，NASA等机构在实践中使用净室技术 等步骤，随着软件规模的增大，软件开发过程内部的不 开发的产品，显示出了卓越的质量水平及用户使用可 一 致性问题 日渐突出，风险也越来越大。 靠性，使得净室方法得到了初步认可[。 净室软件工程是一种应用数学与统计学理论以经 济的方式生产高质量软件的工程技术，力图通过严格 1 净室理论基础 的工程化的软件过程达到开发中的零缺陷或接近零缺 净室理论基础来 自于数学。Mills把计算机程序 陷HJ。 净“室”一词源 自半导体工业中硬件生产车间， 看作一个数学函数，同时Mills认为软件测试只是从无 通过严格、洁净的生产过程预防了缺陷的产生，而不是 限的可能使用中抽取的样本[33]。这使得净室软件工程 在事后再去排除故障。借用这个词，充分显示了净室 成为一个真正的工程学科。 技术 “防患于未然”的主导思想。 1．1