摘要
阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论 .
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.
出处
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2001年第11期1299-1302,共4页
Journal of Tongji University:Natural Science
基金
铁道部科技发展计划资助项目 ( 2 0 0 0X0 18)
