应用UML顺序图的联锁测试用例生成方法

计算机联锁软件是安全完善度等级最高的软件, 因此, 在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例, 结合包含有充分测试信息的UML模型, 提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成算法, 将顺序图转换为SG; 然后基于特定的覆盖准则和采用深度优先搜索算法遍历SG, 得到场景的输入、预期输出、约束条件以及场景环境, 生成测试用例; 最后, 以进路建立过程为例验证了该方法的可行性和正确性。

UML sequence based interlocking test case generation

Computer interlocking software is the highest safety integrity level software, so it is essential to test it before putting it into use. In order to get interlocking software test cases, combined with UML models with sufficient testing information, this paper proposed a method of test case generation based on UML sequence diagram. By proposing generating algorithm of direc-ted graph SG, transferred sequence diagram into SG and traversed SG based on specific coverage criteria and by using depth-first algorithm. It generated the input, respected output, constraint and scenario context and these four constituted the test case. Finally, route setting example proves the feasibility and correctness of this method.