铁道信号双机热备结构计算机测试方法研究

Testing Methods for Railway Signal Dual Machine Thermal Structure Computer

为使测试案例能覆盖所有的功能需求,本文对双机热备结构计算机测试序列的生成方法进行研究。考虑热备管理单元功能和应用处理机"主"和"备"的转换关系,采用CPN作为形式化语言,以铁道信号安全计算机的形式化测试为背景,建立了有色Petri网(colored petri nets,CPN)模型,得到状态空间可达图,生成了XML文件,验证了模型的正确性,并通过基于属性的算法对状态空间进行搜索,得到属性子路径及完全路径,实现了基于属性的状态空间路径搜索算法自动生成测试序列。该算法很好地避免了状态空间爆炸问题,提升了测试的针对性,为铁道信号安全计算机平台测试提供了有力的支持,具有一定的实用价值。

To be able to make a test case to cover all functional requirements,based on the methods for generating hot standby structure of the computer test sequences,this paper considers the hot backup management unit function and application processor'master'and'standby'conversion relationship.We use CPN as formal languages,formal test in railway signal safety computer as the background,and then establish the Colored Petri net(Colored Petri Nets,CPN)model,get the state space of figure,generate an XML file,and verify the validity of the model.Through the state-space search algorithm based on attributes,we obtain property sub-path and the full path,namely the test sequence,and generate a sequence represents the meaning introduced.The algorithm is good to avoid the state space explosion problem.It improves the pertinence of test and provides a strong support for the railway signal safety test computer platforms,so it has some practical value.