形式化故障树分析建模和软件安全性测试
阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.
下载地址
用户评论
還不錯適合初學者
就是一篇知网上下来的文章。