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

摘要 地铁计算机联锁作为保证安全的重要设备，定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例，提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型，并对其进行场景分析；基于图论中有向图的含义，由UML模型构造有向图；以深度优先算法遍历有向图的连通性来确定测试路径，最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程，验证了该方法能够避免重复生成测试用例，从而能够减少测试工作量