1. 首页
  2. 安全技术
  3. 系统安全
  4. 形式化故障树分析建模和软件安全性测试

形式化故障树分析建模和软件安全性测试

上传者: 2019-06-01 04:00:41上传 PDF文件 160.94KB 热度 25次
阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.
用户评论
码姐姐匿名网友 2019-06-01 04:00:41

還不錯適合初學者

码姐姐匿名网友 2019-06-01 04:00:41

就是一篇知网上下来的文章。