|
|||||
|
|
| 基于FSM模型检验的安全测试技术研究 | |
| 引用本文： | 雷炜,欧毓毅.基于FSM模型检验的安全测试技术研究[J].计算机应用与软件,2012(12):141-143,146. |
| 作者姓名： | 雷炜 欧毓毅 |
| 作者单位： | 广东工业大学计算机学院 |
| 基金项目： | 广东省教育部产学研合作项目(2011A090200068);国家科技支撑计划项目(2012BAH27F05) |
| 摘 要： | 安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。 |
| 关 键 词： | FSM FTA 模型检测 形式化测试 |
| 本文献已被 CNKI 等数据库收录！ | |