首页> 中文期刊> 《计算机工程与设计》 >基于最小割集的安全性测试用例的动态生成

基于最小割集的安全性测试用例的动态生成

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

利用故障树的原理和方法,对基于故障树最小割集的安全性测试用例动态生成进行了研究.首先阐述了故障树和故障树最小割集的概念及数学描述,然后给出了故障树最小割集的生成算法,最后在此基础上提出了基于故障树最小割集的动态生成安全性测试用例的算法.

著录项

来源
《计算机工程与设计》 |2006年第16期|3018-3020|共3页
作者
胡智; 殷人昆;
展开▼
作者单位

清华大学;

计算机科学与技术系;

北京;

100084;

清华大学;

计算机科学与技术系;

北京;

100084;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.56;
关键词
故障树; 割集; 最小割集; 安全性测试; 测试用例;

相似文献

中文文献
外文文献
专利

1. 基于最小割集的软件安全性测试用例生成 [J] . 李震 ,张勇 . 计算机与数字工程 . 2019,第007期
2. 基于VaIgrind中间语言的测试用例动态生成 [J] . 程攀 . 工业控制计算机 . 2015,第007期
3. 基于Petri网的联锁软件测试用例动态生成 [J] . 强生杰 ,任恩恩 . 计算机工程 . 2013,第001期
4. 基于最小割集的计算机辅助安全性分析系统 [J] . 王帆 ,张胜修 ,吴多胜 . 火力与指挥控制 . 2007,第010期
5. 使用模板组合动态生成测试用例的Web应用漏洞发掘方法 [J] . 李政 ,许欣 ,廖乐健 . 计算机应用研究 . 2015,第010期
6. 安全性测试及基于属性文法的测试用例生成器 [C] . 孟洛明 . 第四次全国计算机安全技术交流会 . 1989
7. 基于SAT的故障树最小割集计算 [A] . 罗炜麟 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号