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

• 作者: 武延华 王小平 薛小平
• 来源期刊: 城市轨道交通研究
• 学科: 工学
• 关键词: 苛求系统 软件可靠性 形式化方法 软件容错 函数式程序设计 评估模型
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 研究报告
• 页码范围: 89-95,114
• 分类号: TP311
• 字数: 8202字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-869X.2012.02.022

摘要

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数武程序设计以及可靠度评估模型等.总结比较各自适用的开发阶段、面向的目标错误类型及优缺点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小平	同济大学电子与信息工程学院	109	940	18.0	24.0
2	薛小平	同济大学电子与信息工程学院	54	511	13.0	21.0
3	武延华	同济大学电子与信息工程学院	1	4	1.0	1.0