计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2014年
12期
232-236
,共5页
高速铁路%列控中心%安全性%形式化建模%安全性测试
高速鐵路%列控中心%安全性%形式化建模%安全性測試
고속철로%렬공중심%안전성%형식화건모%안전성측시
high-speed railway%train control center%safety%formal modeling%safety test
根据安全性测试的需求，建立了检测软件内部安全逻辑故障的故障模型，提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法，可以有效识别软件是否具备对于故障的安全防护能力，在我国高速铁路列控中心安全性测试中说明了方法的有效性。
根據安全性測試的需求，建立瞭檢測軟件內部安全邏輯故障的故障模型，提齣瞭故障模型動態生成算法及基于故障覆蓋的安全性測試生成算法，可以有效識彆軟件是否具備對于故障的安全防護能力，在我國高速鐵路列控中心安全性測試中說明瞭方法的有效性。
근거안전성측시적수구，건립료검측연건내부안전라집고장적고장모형，제출료고장모형동태생성산법급기우고장복개적안전성측시생성산법，가이유효식별연건시부구비대우고장적안전방호능력，재아국고속철로렬공중심안전성측시중설명료방법적유효성。
According to the requirements safety test, this paper establishes fault model to detect the safety logic fault, pro-poses dynamic fault model generation algorithm and safety testing test generation algorithm based on fault coverage, which can effectively identify the protection ability of software for fault safety. Its effectiveness is exemplified in safety testing and validation of high-speed train control center in China.
