[发明专利]一种基于Altarica形式化语言的软件FMEA分析方法

权利要求书

1.一种基于Altarica形式化语言的软件FMEA分析方法，其特征在于，包括以下步骤：

步骤1：识别待分析软件数据流并画出数据流图；

步骤2：针对待分析软件建立基本软件模型；其中，建立所述基本软件模型包括：①把软件行为抽象为数据接收和发送；②从时间、空间、行为内涵三个方面对软件的状态进行描述；③软件状态与软件行为之间的关系；

步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；其中，定义所述待分析软件失效包括：当数据时间特性为新，空间特性为空时，进行发送操作后，数据行为内涵为无效；当数据时间特性为旧时，进行发送操作时，数据行为内涵为无效；当数据在时间上为新，空间上不为空时，进行接收操作后，数据行为内涵特性为无效；当数据时间特性为新，空间特性为空时，进行接收操作后，数据行为内涵为无效；当数据时间特性为旧，空间特性不为空时，进行接收操作时，数据行为内涵特性为失效；

步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；

步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。

2.根据权利要求1所述的分析方法，其特征在于，所述步骤2中建立通用基本软件模型中步骤③包括：

判断软件状态与软件行为之间的关系；以通用基本软件模型为最小颗粒度，根据数据流流向，进行数据赋值。

3.根据权利要求2所述的分析方法，其特征在于，判断软件状态与软件行为之间的关系，包括以下几种关系：

i.当数据在时间上为新，空间上不为空时，进行发送操作后，数据时间特性变为旧，空间特性变为空；

ii.当数据时间特性为旧，空间特性为空时，进行接收操作后，数据时间特性为新，空间特性不为空。