| 基于UML2.0活动图的车载设备测试用例生成方法研究 |
| |
| 引用本文： | 靖焱林,唐涛.基于UML2.0活动图的车载设备测试用例生成方法研究[J].铁路计算机应用,2011,20(8):39-42. |
| |
| 作者姓名： | 靖焱林 唐涛 |
| |
| 作者单位： | 北京交通大学 轨道交通控制与安全国家重点实验室,北京,100044 |
| |
| 摘 要： | 重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.
|
| 关 键 词： | 车载设备 测试用例 UML2.0活动图 深度优先搜索 |
| 收稿时间： | 2011-08-15 |
Research on test case generation of on-board equipment based on UML 2.0 activity diagrams |
| |
| JING Yan-lin,TANG Tao.Research on test case generation of on-board equipment based on UML 2.0 activity diagrams[J].Railway Computer Application,2011,20(8):39-42. |
| |
| Authors: | JING Yan-lin TANG Tao |
| |
| Institution: | JING Yan-lin,TANG Tao(State Key Laboratory of Rail Traffic Control Safety,Beijing Jiaotong University,Beijing 100044,China) |
| |
| Abstract: | It was focused on the methodology of generating test cases for CTCS-2 on-board equipment based on UML 2.0 activity diagrams.The architecture and function of the on-board equipment was introduced.The paper proposed a formal definition of the activity diagram,described the design of test cases which included some rules for modeling activity with the purpose of testing formally defining of test case,testing covering rules,the test scenario generation based on the traversal algorithm of Depth First Search with ... |
| |
| Keywords: | on-board equipment test case UML 2 0 activity diagram Depth First Search |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
