净室软件工程中的关键技术研究

Research of Key Techniques in Clean Room Software Engineering

净室技术和过程是一种开发高质量和高可靠性软件的方法,可由三个关键技术来刻画:置于统计过程控制之下的增量开发,基于函数的规范、设计和验证,以及统计测试和软件认证。对这些关键技术进行了探讨,并对如何在实践中应用这些技术进行了研究。

Techniques and process of clean room is the methods of developing software of high quality and eliability.It can be depicted by three key techniques:increasing development under the control of statistics process, specification,design and verification based on function, and statistical testing and software validation. This paper discusses these key techniques,and researches how to apply these techniques in practices.