论文部分内容阅读
铁路信号的联锁逻辑非常复杂，针对联锁逻辑的测试工作也就十分的艰巨。目前计算机联锁软件测试领域所涉及的测试技术也在不断研究过程中，将Petri网等形式化描述方法引入联锁测试是国内外研究的一个重要方向。介绍了软件测试的一般方法，并引入有色Petri网的概念与特点，将有色Petri网建模方法应用到计算机联锁软件测试技术中，给出一种优化实现。