[发明专利]一种基于故障树的待验属性提取方法、介质及设备

摘要

一种基于故障树的待验属性提取方法、介质及设备，属于故障树分析技术领域。本发明的步骤包括，首先，通过对传统故障树中引入的时序逻辑关系对应的逻辑门来描述嵌入式软件的动态行为，对嵌入式软件组件故障之间的时序关系进行时序故障树建模；然后，定义基于时序故障树的约简策略，在保障顶事件对应故障不被消除的前提下，不断消除冗余故障；最后，通过属性求解算法得到包含顶事件故障的待验属性。本发明通过在传统故障树中引入时序算子来提取待验属性，能够有效提高软件验证领域待验属性提取效率，解决了传统软件安全性验证领域中待验属性提取困难的问题。