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

摘要

脚本技术是实现软件测试自动化技术的有效方法.软件测试脚本化可以降低测试成本,提高测试效率.测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言.因此结合安全苛求软件测试的特点,提出了场景-事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL, 对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中.