基于SPEC#的功能性冗余软件开发

• 作者: 王侃 范宏伟 郑宇军
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 软件可靠性 SPEC# 契约 功能性冗余 异常
• 年，卷（期）: 2009,（15）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3487-3490
• 页数: 4页
• 分类号: TP312
• 字数: 4343字
• 语种: 中文

摘要

软件的功能性冗余能够有效提高计算机系统可靠性和安全性.研究了SPEC契约机制,分析了如何通过这些机制来实现输入输出域控制,主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过程中应用契约设计和冗余技术的若干准则和建议.这种基于契约的冗余技术能够显著地提高软件的可靠性、可维护性和可测试性,进而提高软硬件系统的整体可信性水平.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王侃	装甲兵工程学院科研部	20	162	7.0	12.0
2	郑宇军	中国科学院软件研究所	13	51	4.0	6.0
3	范宏伟		1	0	0.0	0.0