联锁软件作为保证车站内行调车作业安全的计算机联锁系统中的安全关键软件对整个车站联锁系统的安全性和可靠性有重大影响。测试是验证确认软件质量有力的技术手段，而测试用例的生成是测试的重点和难点。因此，对联锁软件的测试用例生成方法的研究对保证计算机联锁系统的安全性和可靠性有重要意义。论文针对联锁软件的测试用例生成方法进行研究：(1)介绍模型测试的概念、现有的测试模型，分析比较各测试模型，阐述使用UML(Unified Modeling Language,统一建模语言)模型作为测试模型的优点；说明UML的特点、语法语义及可视化建模工具Rhapsody的组成及特点，并分析UML模型的可测试性问题。(2)提出基于UML用例图和顺序图模型的测试用例生成方法。通过遍历基于用例覆盖准则的将用例图转换为表示用例之间顺序依赖关系的有向图SUG得到对应的测试序列；为方便得到顺序图中的有效事件序列，形式化定义表示用例中对象之间信息交互的顺序图，并考虑顺序图中的alt、loop、opt、break组合片段及多态信息，将顺序图转换生成SEG，基于测试覆盖准则遍历得到对应的测试路径并依据约束条件删除冗余路径，然后分析消除各测试场景中的矛盾得到一致的需求场景，最后生成联锁软件的测试用例集。(3)验证测试用例生成方法的有效性。以联锁软件的用例图和锁闭进路用例的顺序图实现联锁软件的测试用例生成，并分析对比本文方法与其他文献方法中对于组合片段处理的有效性、多态信息处理的有效性、测试用例生成方法的易适用性和生成测试用例的有效性。测试用例生成结果表明，采用本文方法生成的测试用例具有更高的检错能力，能覆盖系统功能和用例的执行场景。