Formal Fault Tree Analysis Modeling and Software Safety Testing
Fangmei Wu · Journal of Tongji University · 2001
A set of formal fault tree denotations for safety requirement is introduced.The structure of dynamically extensible safety test cases based on minimum cut sets of formalized fault trees is presented.And their automatic generation arithmetic which can meet the safety requirement coverage criterion is thoroughly discussed.