基于UML2.0活动图的车载设备测试用例生成方法研究

摘要

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 rollbacks and the algorithm of test case generating. The test cases were generated by using the method proposed.%重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.