Machine learningQuality Methodology

洁净室软件工程

洁净室软件工程是一种软件开发方法论，由 Mills、Dyer 和 Linger 在 20 世纪 80 年代开发，它通过形式化规约、代码审查和统计测试来强调缺陷预防，而不是调试。该方法借鉴了制药洁净室的理念，旨在实现近乎零缺陷的交付。

在 MethodMind 中打开即将推出视频即将推出Download slides

阅读完整方法

仅限会员

使用免费账户登录即可阅读本节。

来源

Mills, H. D., Dyer, M., & Linger, R. C. (1987). Cleanroom software engineering. IEEE Software, 4(5), 19–25. DOI: 10.1109/ms.1987.231413 ↗
Linger, R. C., & Mills, H. D. (1994). A case study in cleanroom software engineering: A NASA mission-critical application. Proceedings of the International Conference on Software Engineering. link ↗
Dyer, M. (1992). The Cleanroom Approach to Quality Software Development. Wiley. ISBN: 0471547174

如何引用本页

ScholarGate. (2026, June 3). Cleanroom Software Engineering Methodology. ScholarGate. https://scholargate.app/zh/numerical-methods/cleanroom-software-engineering

发现本页有问题？报告或提出修改建议 →