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

• Dynamic generation of safety test case based on minimal cut sets