1.一種基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，包括以下步驟：
2.根據(jù)權(quán)利要求1所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，所述應(yīng)用stpa方法對(duì)高速鐵路atp系統(tǒng)進(jìn)行分析，包括以下步驟：
3.根據(jù)權(quán)利要求2所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，所述不安全控制行為包括：
4.根據(jù)權(quán)利要求1所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，所述基于故障場(chǎng)景與安全要求，運(yùn)用cofi方法生成高速鐵路atp系統(tǒng)的有限狀態(tài)機(jī)模型fsm，包括以下步驟：
5.根據(jù)權(quán)利要求4所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，所述基于故障場(chǎng)景與安全要求構(gòu)建異常行為fsm圖，具體包括：
6.根據(jù)權(quán)利要求5所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，所述正常行為指高速鐵路atp系統(tǒng)正確提供服務(wù)時(shí)的行為，所述異常行為指高速鐵路atp系統(tǒng)不正確提供服務(wù)時(shí)的行為；不同服務(wù)采用不同情景的fsm圖表示；所述服務(wù)包括列車速度監(jiān)控。
7.根據(jù)權(quán)利要求6所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，列車速度監(jiān)控情景的正常行為fsm圖構(gòu)建過程包括以下步驟：
8.根據(jù)權(quán)利要求7所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，通過在列車速度監(jiān)控情景的正常行為fsm圖中添加由于指定異常場(chǎng)景中的輸入事件引起的轉(zhuǎn)換獲得列車速度監(jiān)控的異常行為fsm圖；所述指定異常場(chǎng)景為列車超速行駛，導(dǎo)致輸入事件“超速”引發(fā)動(dòng)作“發(fā)出警報(bào)”；下一個(gè)狀態(tài)是“警報(bào)狀態(tài)”，在這個(gè)狀態(tài)中會(huì)發(fā)生兩種情況，第一種情況是人收到警報(bào)則進(jìn)入“人為制動(dòng)”狀態(tài)，在“人為制動(dòng)”狀態(tài)下，列車速度恢復(fù)到正常后，引發(fā)輸入事件“恢復(fù)到正常速度”引發(fā)動(dòng)作“停止制動(dòng)”，回到正常行駛狀態(tài)；第二種情況是超速警報(bào)長(zhǎng)時(shí)間未處理，則進(jìn)入“機(jī)控狀態(tài)”采取機(jī)控制動(dòng)，列車速度恢復(fù)到正常后，引發(fā)輸入事件“恢復(fù)到正常速度”引發(fā)動(dòng)作“停止制動(dòng)”，回到正常行駛狀態(tài)。
9.根據(jù)權(quán)利要求1所述的基于stpa的高速鐵路atp系統(tǒng)故障注入測(cè)試方法，其特征在于，所述測(cè)試用例包括第一測(cè)試集t1和第二測(cè)試集t2；所述使用測(cè)試用例對(duì)高速鐵路atp系統(tǒng)進(jìn)行測(cè)試，包括以下步驟：