计算机联锁是实现进路控制,保证行车安全,提高运输效率的重要技术手段。联锁软件作为计算机联锁系统的关键软件,研究联锁软件的测试方法,尤其是联锁软件的测试用例生成方法,是非常必要的。目前,联锁软件的测试研究还不够完善,究其原因有以下几点：一是对于这种安全苛求系统而言,测试工作量大,周期长；二是联锁软件的测试用例主要是联锁方面的专家根据联锁表和需求规范编写,容易引入人为因素,测试效率较低;而且研发人员对于逻辑复杂的联锁系统理解存在局限和偏差,埋下了错误隐患。因此,本文提出了一种基于有色Petri网的联锁软件测试用例生成方法。首先将联锁软件进行形式化描述、分析和验证,在确保联锁软件模型的正确性的基础上,采用算法生成联锁软件的测试用例。其主要内容包括：(1)在总结形式化建模和测试用例生成方法现状的基础上,详细阐述了联锁系统的功能结构,重点分析了进路控制过程的控制逻辑,明确了联锁软件的测试需求。(2)根据有色Petri网的性质及CPN Tools建模规则,对联锁软件的控制逻辑进行形式化描述。将联锁软件的逻辑关系抽象出来,针对结构层次的不同,分别建立每层结构对应的CPN模型。最后,将各层的CPN模型整合起来。(3)以进路建立过程为例,建立具体进路的CPN模型。其中,库所用来表示设备的状态,而变迁用来表示设备状态的变化。依据计算机联锁条件,建立进路建立过程的HCPN模型,然后对模型进行仿真验证。从模型的状态空间报告可以看出,模型中无不可达状态,由此证明模型的正确性。(4)通过计算上述模型的状态空间,得到该模型的状态可达图。由可达图找到模型的起止状态节点,去除冗余的状态节点,采用深度优先的算法确定测试的所有路径,由此找到用例的输入和输出信息,并生成基于模型的测试用例。本文的研究结果表明,基于有色petri网的联锁软件测试用例生成方法能够生成测试用例,且用例能够覆盖模型中的所有库所、变迁和弧,在符合完全覆盖规范的前提下,减少了用例的重复度。