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

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)