基于Event-B的双机热备平台测试序列自动生成方法

• 作者: 曹源 穆建成 辛未 马连川
• 来源期刊: 铁路计算机应用
• 学科: 交通运输
• 关键词: 双机热备平台 测试序列 Event-B L1算法 Rodin平台
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 方法与应用
• 页码范围: 36-40
• 页数: 5页
• 分类号: U284|TP39
• 字数: 2748字
• 语种: 中文

摘要

为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试.采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率.利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用L1算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马连川	北京交通大学电子信息工程学院	41	300	10.0	16.0
5	曹源	北京交通大学电子信息工程学院	62	405	10.0	18.0
9	辛未	北京交通大学电子信息工程学院	2	9	1.0	2.0