通用的安全苛求软件安全性测试方法

General Safety Test Method of Safety-critical Software

传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。

The traditional test script language and test strategy can not satisfy the test requirement of safety-critical software test. Aiming at this problem, based on the requirement of the safety-critical software testing, this paper proposes a new safety test method, which uses safety test strategy based on scenario-event and designs a new safety test script language based on the new strategy. The safety test simulation results of the train control center of existing line show the validity of the method.