场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究  

Research on scenario-event-driven simulation test script language for safety-critical software system

作　　者：喻钢[1,2] 徐中伟[1] 杜军威[1,3] 

机构地区：[1]同济大学电子与信息工程学院,上海201804 [2]上海大学悉尼工商学院,上海201800 [3]青岛科技大学信息科学技术学院,山东青岛266061

出　　处：《计算机应用》2010年第2期374-379,共6页journal of Computer Applications

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

摘　　要：脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL,对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。Script technique is an effective method to implement the automation of software testing. Using test script reduces the cost for the software test and improves the efficiency of software test. Test script language is the core of script technique, but the special test script language for safety-critical software test does not exist. Therefore based on the feature of the safety-critical software testing, the concept of safety-critical software simulation test script language （SED_SCS_STL） driven by scenario-event was presented in this paper. The design of the language and how the language was implemented on the safety-critical software simulation test platform was elaborated in detail. Finally the application of the language in the simulation and test of the train control center of CTCS-2 high speed railway control system was shown.

关 键 词：安全苛求软件 测试脚本语言 安全性测试 

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