【文件属性】：
文件名称：形式化故障树分析建模和软件安全性测试
文件大小：161KB
文件格式：PDF
更新时间：2014-10-13 03:24:06
软件测试; 安全性; 故障树; 安全软件
阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.
网友评论
- 還不錯適合初學者
- 就是一篇知网上下来的文章。