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