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