Journal of Computer Applications ›› 2011, Vol. 31 ›› Issue (01): 281-285.

• Typical applications • Previous Articles     Next Articles

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

  

  • Received:2010-06-24 Revised:2010-08-08 Online:2011-01-12 Published:2011-01-01
  • Contact: HE Huan

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

何欢1,徐中伟1,喻钢2,杨世玉3   

  1. 1. 同济大学
    2. SH
    3.
  • 通讯作者: 何欢
  • 基金资助:
    国家自然科学基金资助项目;铁道部科技研究开发计划基金资助项目

Abstract: Aiming at the large scale, high complexity and difficulty in maintaining of testing script in the automatic testing of SCS, an automatic generation approach of testing script based on XML is put forward. This paper adopted XML as a testing script language, modeled the SCS operation scenario with FSM, designed the testing scenario in SED schema and automatically generated the XML testing script by designing a series of algorithms. Thus the automatic generation of testing script for SCS is realized and the approach is successfully applied into the simulation testing of CTCS-2 train control command system.

Key words: XML, XML Schema, Safety-Critical System(SCS), Finite State Machine(FSM), Scenario-Event Driven(SED), State Transit Tree(STT)

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

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