计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2006年
16期
3018-3020
,共3页
故障树%割集%最小割集%安全性测试%测试用例
故障樹%割集%最小割集%安全性測試%測試用例
고장수%할집%최소할집%안전성측시%측시용례
利用故障树的原理和方法,对基于故障树最小割集的安全性测试用例动态生成进行了研究.首先阐述了故障树和故障树最小割集的概念及数学描述,然后给出了故障树最小割集的生成算法,最后在此基础上提出了基于故障树最小割集的动态生成安全性测试用例的算法.
利用故障樹的原理和方法,對基于故障樹最小割集的安全性測試用例動態生成進行瞭研究.首先闡述瞭故障樹和故障樹最小割集的概唸及數學描述,然後給齣瞭故障樹最小割集的生成算法,最後在此基礎上提齣瞭基于故障樹最小割集的動態生成安全性測試用例的算法.
이용고장수적원리화방법,대기우고장수최소할집적안전성측시용례동태생성진행료연구.수선천술료고장수화고장수최소할집적개념급수학묘술,연후급출료고장수최소할집적생성산법,최후재차기출상제출료기우고장수최소할집적동태생성안전성측시용례적산법.
