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

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

一种用于CTCS半实物仿真系统的测试脚本语言

在CTCS半实物仿真系统上,构建一个替代人工的自动测试环境,能够极大地提高测试效率。而测试脚本语言是自动测试环境运行的基础。基于测试过程模型,设计一种适用于CTCS半实物仿真系统的层次化测试脚本语言。应用表明,该脚本语言能够衔接自动测试环境的各个模块,满足CTCS半实物仿真系统的自动测试需求。

工业控制系统半仿真自动化测试探究

为解决工业控制系统常规手动测试效率低、在线测试不充分的问题。阐述了工业控制系统半仿真自动化测试的原理与架构,设计自动化测试脚本语言、接口模拟器脚本处理程序,提出了新型自动测试系统,实现了自动生成测试脚本、自动运行测试脚本,提高了工业控制系统的测试效率与测试充分性。

基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。