基于扩展有限状态机测试用例生成方法

目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对扩展有限状态机状态迁移树的分析,获取基于该树的测试路径,再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性,分析且构造测试用例,最终得出该方法有效减少了测试用例生成的复杂性,提高了基于扩展有限状态机模型的测试效率。

基于XML的安全苛求系统测试脚本生成

针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。