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

Generation of testing script based on XML for safety-critical systems

作　　者：何欢[1] 徐中伟[1] 喻钢[1,2] 杨世玉[1] 

机构地区：[1]同济大学电子与信息工程学院,上海201804 [2]上海大学悉尼工商学院,上海201800

出　　处：《计算机应用》2011年第1期281-285,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60674004);铁道部科技研究开发计划基金资助项目(2007X003)

摘　　要：针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。Concerning the large scale, high complexity and difficuhy in maintaining of testing script and the requirement of safety testing in the automatic testing of SCS, an automatic generation approach of testing script based on XML was put forward. This paper adopted XML as a testing script language, modeled the SCS operation scenario with Finite State Machine （FSM）, designed the testing scenario in Scenario-Event Driven （SED） schema and automatically generated the XML testing script by designing a series of algorithms. Therefore, the automatic generation of testing script for SCS was realized and the approach was successfully applied into the simulation testing of CTCS-2 train control command system.

关 键 词：XML 安全苛求系统 有限状态机 场景-事件驱动 状态迁移树 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]