计算机应用 ›› 2010, Vol. 30 ›› Issue (2): 374-379.
• 计算机软件 • 上一篇 下一篇
喻钢1,徐中伟2,杜军威2
收稿日期:
修回日期:
发布日期:
出版日期:
通讯作者:
基金资助:
Received:
Revised:
Online:
Published:
摘要： 脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本，提高测试效率。测试脚本语言是脚本技术的核心，但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点，提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL, 对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。
关键词: 安全苛求软件, 测试脚本语言, 安全性测试
Abstract: 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.
Key words: safety-critical software, test script language, safety test
喻钢 徐中伟 杜军威. 场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究[J]. 计算机应用, 2010, 30(2): 374-379.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://www.joca.cn/CN/
http://www.joca.cn/CN/Y2010/V30/I2/374
