作者：何欢 徐中伟 喻钢 杨世玉xml安全苛求系统有限状态机状态迁移树
摘要：针对安全苛求系统（SCS）自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点，提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言，使用SED模式设计SCS测试场景，采用FSM对SCS运营场景建模，设计一系列转换生成算法自动生成XML测试脚本，实现了SCS测试脚本自动化生成和验证，并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
