苛求软件可靠性方法、技术与模型研究  

Research on Reliability Methods,Techniques and Models of Critical Software

作　　者：武延华[1] 薛小平[1] 王小平[1] 

机构地区：[1]同济大学电子与信息工程学院,上海硕士研究生201804

出　　处：《城市轨道交通研究》2012年第2期89-95,114,共8页Urban Mass Transit

摘　　要：从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。From the aspect of waterfall programming, the reliability methods, techniques and models applied in various phases of software life cycle of critical systems, inclu- ding the formal modeling and verification of requirements, the multi-version software fault tolerance of masking design errors, the functional programming and reliability estimation models are elaborated. On this basis, the respective applicable phases of each model, the target error types, their advantages and disadvantages are summarized.

关 键 词：苛求系统 软件可靠性 形式化方法 软件容错 函数式程序设计 评估模型 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]