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

【Abstract】 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.更多还原