形式化故障树相关论文
本文采取黑盒测试方法，利用形式化故障树表示技术对铁路联锁软件的安全性需求进行了分析，生成测试用例集，最后，建立了计算机联锁软件安......
阐述了安全性需求的形式化故障树表示技术,给出了一种于形式化故障树最小割集的动态扩展安全性基测试用例结构,并对满足安全性需求......
