期刊文献+

“净室”软件工程的发展

Development of "Cleanroom" software engineering
下载PDF
导出
摘要 首先对形成于20世纪70年代的"零错误"软件工程方法"净室"(Cleanroom)技术做了简要的介绍。然后给出了"净室"技术在过去二十多年当中没有被广泛应用的可能的原因。同时总结了人们在过去的20多年中应用"净室"技术所得到的一些启发和目前"净室"技术在实际应用当中的一些变化,最后给出了可以继续研究方向。 The "Cleanroom"software engineering technology was introduced into the software development field during 1970"s. After that the possible reasons that why the "Cleanroom"was not widely adopted in the past twenty years are analyzed. Then some of the practical experience of using "Cleanroom" and some of the changes of such kind of methodology in today's software development field are given. At last,the directions of the further researches are presented, the "Cleanroom" technology would be widely used with some of the changes suitable for today's software development process.
机构地区 海军潜艇学院
出处 《电气传动自动化》 2007年第4期1-5,共5页 Electric Drive Automation
关键词 净室 软件测试 统计测试 覆盖测试 cleanroom software test statistic test overlay test
  • 相关文献

参考文献7

  • 1Dyer,M,H.D.Mill.The Cleanroom Approach to Reliable Software Development,in Proc.Validation Methods Research rch for Fault-Tolerant Avionics and Control Systems Sub-Working-Group Meeting:Production of Reliable Flight-Grucial Software,Research Triangle Institute,NC,1981,2-4.
  • 2Linger,R,C,H.D.Mills,A Case Study in Cleanroom Software Engineering:The IBM Cobol Structuring Facility,Facility,Proc.12 Intermational Computer Science and Appliications Conference,1988.
  • 3Linger,R,C.Cleanroom Software Engineering for Zero-D efect Software,Proc.15 International Conference on Software Engineering,IEEE Computer Society Press,Baltimore,MD,1993.17-21.
  • 4Marciniak,J.The Encyclopedia of Software Engineering,John Wiley & Sons,NY,1994,97-103.
  • 5Deck,M.D.Cleanroom Software Engineering and Old Code'-Overcoming Process Improvement Barriers.Proc.Pacifi Northwest Software Quality Conference,1994,126-147.
  • 6Trammell,C.J,Pleszkoch,M.G,Linger,R.C.,Hevner,A.R.The Incremental Development Process in Cleanroom Software ftware Engineering.DeciSion Support Systems 17,1996,55-71.
  • 7Trammell,C.J.Quantifying the Reliability of Software:Statistical Testing Based on a Usage Model.Proceedings of the Second IEEE International Symposium on Software Engineering Standards.Montreal,Quebec,Canada,1995,21-25.Los Alamitos,Ca:IEEE Computer Society Press,1995.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部