您的位置： 专家智库 > >

雷炜

作品数：3 被引量：4H指数：1
供职机构：广东工业大学更多>>
发文基金：广东省教育部产学研结合项目国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 3篇安全测试
  • 2篇FSM
  • 1篇时序逻辑
  • 1篇树模型
  • 1篇状态机
  • 1篇状态机模型
  • 1篇故障树
  • 1篇故障树模型
  • 1篇安全性
  • 1篇安全性测试
  • 1篇FTA

机构

  • 3篇广东工业大学

作者

  • 3篇雷炜
  • 2篇欧毓毅

传媒

  • 1篇计算机应用与...
  • 1篇现代计算机（...

年份

  • 1篇2013
  • 2篇2012
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于故障注入的安全测试方法综述被引量：4
2012年
软件安全测试是指有关验证软件安全等级和识别潜在安全性缺陷的过程,是保证软件安全性的重要手段,故障注入的安全性测试是软件安全性测试的一个很重要的方法,详细介绍模拟故障注入技术和原型故障注入技术的各种方法。
雷炜欧毓毅
关键词：安全性测试
基于FSM模型检验的安全测试技术研究
2012年
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。
雷炜欧毓毅
关键词：FSM
基于FSM模型检验的安全测试技术研究
随着计算机技术的不断发展，计算机软硬件系统已经深入渗透到实际生活中的各个领域，若这些系统一旦出错，将给人类带来不可承受的损失，所以，安全问题已经逐渐成为人们的重点关注对象，但随着功能逐渐强大、设计日益复杂的发展，如何降低...
雷炜
关键词：状态机模型故障树模型时序逻辑
全选 清除 导出
共1页<1>
聚类工具0