| 苛求软件可靠性方法、技术与模型研究 |
| |
| 引用本文： | 武延华,薛小平,王小平.苛求软件可靠性方法、技术与模型研究[J].城市轨道交通研究,2012,15(2):89-95,114. |
| |
| 作者姓名： | 武延华 薛小平 王小平 |
| |
| 作者单位： | 同济大学电子与信息工程学院,201804,上海 |
| |
| 摘 要： | 从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。
|
| 关 键 词： | 苛求系统 软件可靠性 形式化方法 软件容错 函数式程序设计 评估模型 |
Research on Reliability Methods, Techniques and Models of Critical Software |
| |
| Wu Yanhua
,
Xue Xiaoping
,
Wang Xiaoping.Research on Reliability Methods, Techniques and Models of Critical Software[J].Urban Mass Transit,2012,15(2):89-95,114. |
| |
| Authors: | Wu Yanhua Xue Xiaoping Wang Xiaoping |
| |
| Institution: | College of Electronics and Information Engineering,Tongji University,201804,Shanghai,China |
| |
| Abstract: | From the aspect of waterfall programming,the reliability methods,techniques and models applied in various phases of software life cycle of critical systems,including 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. |
| |
| Keywords: | critical system software reliability formal method software fault tolerance functional programming estimation model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
