Dynamic generation of safety test case based on minimal cut sets

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.