双机热备平台测试序列自动生成方法的研究

• 作者: 曹源 王化深 金丹 马连川
• 来源期刊: 铁道学报
• 学科: 工学
• 关键词: 测试序列 模型检验 功能需求 优化 安全计算机平台
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 70-74
• 页数: 5页
• 分类号: TP393
• 字数: 3131字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2013.08.011

摘要

双机热备平台是一种广泛应用的安全计算机平台,它要求严格的安全性及可靠性.针对传统的产生双机热备平台测试序列方法所存在的不足,提出基于模型检验产生测试序列的方法,并证明利用CTL迁移覆盖所产生的测试序列对功能需求的完整覆盖性.为减少冗余测试,提高测试效率,提出一种优化测试序列的方法,并通过数据比较得出优化结果.结果表明:以保证覆盖率为前提,在相同条件下,本文提出的方法可减少状态空间,提高效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王化深	北京交通大学电子信息工程学院	32	230	10.0	14.0
5	马连川	北京交通大学电子信息工程学院	41	300	10.0	16.0
9	金丹	北京交通大学电子信息工程学院	1	4	1.0	1.0