| 基于Event-B的双机热备平台测试序列自动生成方法 |
| |
| 引用本文： | 辛未,穆建成,马连川,曹源.基于Event-B的双机热备平台测试序列自动生成方法[J].铁路计算机应用,2016,25(11):36-40. |
| |
| 作者姓名： | 辛未 穆建成 马连川 曹源 |
| |
| 作者单位： | 1.北京交通大学 电子信息工程学院,北京 100044; |
| |
| 基金项目： | 中国铁路总公司科研开发基金项目（W14D00301）。 |
| |
| 摘 要： | 为了确保双机热备平台满足相应的功能需求，需要对其进行功能测试。采用基于模型的测试方法，可以有效地避免人工手动生成测试中存在的不足，提高测试效率。利用Event-B方法对双机热备平台进行形式化建模，通过证明验证模型的正确性，并进一步利用Ll算法生成基于模型、满足平台测试需求的测试序列集，对于确保测试过程的完备性、提高测试效率有一定意义。
|
| 关 键 词： | 双机热备平台 测试序列 Event-B Ll算法 Rodin平台 |
| 收稿时间： | 2016-04-01 |
Automated test sequences generation for hot standby platform based on Event-B |
| |
| Institution: | 1.School of Electronics and Information Engineering, Beijing Jiaotong University, Beijing 100044, China;2.Department of Technology and Law, National Railway Administration, Beijing 100891, China;3.National Engineering Research Center for Rail Traffic Control System, Beijing Jiaotong University, Beijing 100044, China |
| |
| Abstract: | It is essential to ensure that the platform meets the functional requirements via function test. This paper discussed a model-based testing approach. The formal model of the platform was established by refinement in Event-B. Then, the correctness of the model was verified by mathematical proofs. The test sequences that were generated using Ll algorithm based on the Event-B model could be targeted to meet the test requirements which could help to ensure the completeness, and improve the efficiency of the test. |
| |
| Keywords: | |
|
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
