| 查看: 332 | 回复: 2 | |||
| 当前主题已经存档。 | |||
[交流]
净室软件工程简介
|
|||
|
净室软件工程(Cleanroom software engineering)是一种在软件开发过程中强调在软件中建立正确性的需要的方法。代替传统的分析、设计、编码、测试和调试周期，净室方法建议一种不同的观点： 在净室软件工程后面的哲学是：通过在第一次正确地书写代码增量并在测试前验证它们的正确性来避免对成本很高的错误消除过程的依赖。它的过程模型是在代码增量积聚到系统的过程的同时进行代码增量的统计质量验证。 净室理论基础建立于20世纪70年代末80年代初，资深数学家和IBM客座科学家Harlan Mills阐述了将数学、统计学及工程学上的基本概念应用到软件的设想。受Edsger Dijkstra关于结构化编程、Nicholas Wirth关于逐步求精、David Parnas关于模块化设计的影响，Mills为软件的工程方法奠定了科学基础. 净室软件工程可用如下三个关键技术来刻画：置于统计过程控制之下的增量开发，基于函数的规范、设计和验证以及统计测试和软件认证。这些技术可分开使用，也可一起使用。采用这些技术可改进技术生产过程。 [ Last edited by 幻影无痕 on 2006-11-16 at 07:40 ] |
回复此楼» 猜你喜欢
存款400万可以在学校里躺平吗
已经有18人回复
-
国自然申请面上模板最新2026版出了吗？
已经有19人回复
-
拟解决的关键科学问题还要不要写
已经有7人回复
-
请教限项目规定
已经有3人回复
-
基金委咋了？2026年的指南还没有出来？
已经有10人回复
-
基金申报
已经有6人回复
-
推荐一本书
已经有13人回复
-
纳米粒子粒径的测量
已经有8人回复
-
疑惑？
已经有5人回复
-
计算机、0854电子信息（085401-058412）调剂
已经有5人回复
1
 |
2楼2005-06-14 00:49:23
1
|
顶 |
3楼2006-01-12 16:58:43