基于UML顺序图的地铁联锁测试用例生成方法  

Subway Interlocking Test Case Generating Method Based on UML Sequence

作　　者：黄平霞 董昱[1] 

机构地区：[1]兰州交通大学自动化与电气工程学院,兰州730070

出　　处：《小型微型计算机系统》2016年第5期1117-1120,共4页Journal of Chinese Computer Systems

基　　金：国家自然基金地区科学基金项目(61164010)资助

摘　　要：地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型,并对其进行场景分析;基于图论中有向图的含义,由UML模型构造有向图;以深度优先算法遍历有向图的连通性来确定测试路径,最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程,验证了该方法能够避免重复生成测试用例,从而能够减少测试工作量.The subway computer interlocking as the vital equipment of ensuring safe,it is essential to test it regularly. In order to design a efficient test cases of the interlocking function, a method that is based on the formal description of sequence diagram is proposed for test cases generation. UML sequence diagram model is established. First,the UML sequence diagram model is established for the sys- tem functions which scenario is analyzed. Based on the meaning of directed graph in graph theory, the UML model is converted to a directed graph. The depth-first traversal algorithm is used to traverse the directed graph to generate to determine the test path, and finally a combination of constraints and test scenarios to generate test cases set. The process of route selecting proves that the method can avoid repeating generating test case, which can reduce the testing work.

关 键 词：计算机联锁 UML顺序图 有向图 测试用例生成 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]