基于FSM模型检验的安全测试技术研究

• 作者: 欧毓毅 雷炜
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: FSM FTA 模型检测 形式化测试
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 基金项目论文
• 页码范围: 141-143,146
• 页数: 4页
• 分类号: TP309
• 字数: 4187字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.12.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧毓毅	广东工业大学计算机学院	24	66	5.0	6.0
2	雷炜	广东工业大学计算机学院	3	12	2.0	3.0