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

Dynamic generation of safety test case based on minimal cut sets

作　　者：胡智[1] 殷人昆[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《计算机工程与设计》2006年第16期3018-3020,共3页Computer Engineering and Design

摘　　要：利用故障树的原理和方法,对基于故障树最小割集的安全性测试用例动态生成进行了研究。首先阐述了故障树和故障树最小割集的概念及数学描述,然后给出了故障树最小割集的生成算法,最后在此基础上提出了基于故障树最小割集的动态生成安全性测试用例的算法。Dynamic generation of safety test case based on minimal cut sets is investigated on principles and methods of fault trees. Firstly, the conception and the mathematical description of fault tree and minimal cut sets are introduced. Then, a generation arithmetic of the minimal cut sets is given. Finally, an arithmetic of dynamic generation of safety test case based on minimal cut sets is presented.

关 键 词：故障树 割集 最小割集 安全性测试 测试用例 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]