期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
形式化故障树分析建模和软件安全性测试 被引量：28
1
作者 徐中伟 吴芳美 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第11期1299-1302,共4页
阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论 .
关键词 软件测试 形式化故障树 安全软件 软件工程 动态扩展安全性测试 自动生成算法
下载PDF
铁路计算机联锁软件安全性测试评估系统
2
作者 梁华 《成铁科技》 2012年第2期27-29,共3页
本文采取黑盒测试方法，利用形式化故障树表示技术对铁路联锁软件的安全性需求进行了分析，生成测试用例集，最后，建立了计算机联锁软件安全性测试评估自动化测试平台，使联锁软件安全性得到了保证。
关键词 计算机联锁 形式化故障树 测试案例 测试用例
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部