| 基于最小割集的安全性测试用例的动态生成 |
| |
| 引用本文： | 胡智,殷人昆. 基于最小割集的安全性测试用例的动态生成[J]. 计算机工程与设计, 2006, 27(16): 3018-3020 |
| |
| 作者姓名： | 胡智 殷人昆 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084;清华大学,计算机科学与技术系,北京,100084 |
| |
| 摘 要： | 利用故障树的原理和方法,对基于故障树最小割集的安全性测试用例动态生成进行了研究.首先阐述了故障树和故障树最小割集的概念及数学描述,然后给出了故障树最小割集的生成算法,最后在此基础上提出了基于故障树最小割集的动态生成安全性测试用例的算法.
|
| 关 键 词： | 故障树 割集 最小割集 安全性测试 测试用例 |
| 文章编号： | 1000-7024（2006）16-3018-03 |
| 收稿时间： | 2005-06-06 |
| 修稿时间： | 2005-06-06 |
Dynamic generation of safety test case based on minimal cut sets |
| |
| HU Zhi,YIN Ren-kun. Dynamic generation of safety test case based on minimal cut sets[J]. Computer Engineering and Design, 2006, 27(16): 3018-3020 |
| |
| Authors: | HU Zhi YIN Ren-kun |
| |
| Affiliation: | Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China |
| |
| Abstract: | |
| |
| Keywords: | fault tree cut sets minimal cut sets safety test test case |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
