净室软件工程研究

Research of Clean Room Software Engineering

净室软件工程是一种应用数学与统计学理论以经济的方式生产高质量软件的工程技术。文中介绍了净室软件工程的理论基础,探讨了净室工程的关键技术,研究了净室参考模型及其不足。结果表明,净室软件工程对于成熟的软件开发组织和专业的技术人员,在资源充沛的情况下,其面向零缺陷的盒式结构开发方法和正确性验证能够有效地保证软件的质量。

Clean room is an engineering technology of developing high quality and reliability software based on mathematics and statistics. Introduced theory of clean room software engineering, and then researched some key technologies of clean room; at last, the clean room model and disadvantages were studied. The result proves that software quality can be ensured by eorreetness verification using box structure oriented zero defects in terms of well - roun.ded organization with professional teehnology and enough resources.