计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
12期
141-143,146
,共4页
FSM%FTA%模型检测%形式化测试
FSM%FTA%模型檢測%形式化測試
FSM%FTA%모형검측%형식화측시
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试.提出一种基于FSM(Finate State Machine)和FFA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性.该方法具有较高的通用性,能详细地分析软件模型可能出现的故障.
安全性、可靠性是計算機軟硬件繫統達到用戶滿意度的重要指標,為瞭保證其安全,在繫統投入使用之前必鬚要經過嚴格的安全性測試.提齣一種基于FSM(Finate State Machine)和FFA(fault tree analysis)的模型檢測的形式化安全性測試方法來驗證被測繫統的安全性.該方法具有較高的通用性,能詳細地分析軟件模型可能齣現的故障.
안전성、가고성시계산궤연경건계통체도용호만의도적중요지표,위료보증기안전,재계통투입사용지전필수요경과엄격적안전성측시.제출일충기우FSM(Finate State Machine)화FFA(fault tree analysis)적모형검측적형식화안전성측시방법래험증피측계통적안전성.해방법구유교고적통용성,능상세지분석연건모형가능출현적고장.