论文部分内容阅读
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。