[发明专利]一种软件可信性量化评估与设计方法

权利要求书

1.一种软件可信性量化评估与设计方法，其特征在于，包括如下步骤：

可信性量化需求步骤：根据软件的领域特性对软件进行可信性需求分析，获得可信性量化分析结果；所述可信性需求包括软件属性、软件子属性定义，每个子属性对应的度量元定义，可信度级别；

软件可信性量化总体设计步骤：根据所述可信性量化分析结果建立可信度分配模型，确定软件可信度分配方法、软件属性可信度分配方法；

软件可信性量化实现步骤：根据所述可信度分配模型和分配规则，分配软件可信度、软件属性可信度，及确定各个软件子属性的可信等级；

软件可信性量化评估步骤：对已有软件可信度、软件属性可信度、软件子属性可信等级进行分析和评估。

2.如权利要求1所述的软件可信性量化评估与设计方法，其特征在于，所述属性可信度分配模型以如下式(1)表示：

式(1)中，y_[i,j]表示第i个可信属性的第i个可信子属性的可信度，α_[i,j]表示第i个可信属性的第j个可信子属性的权重值，m_i表示第i个可信属性相关的可信子属性的个数，t表示第i个可信属性需要达到的最低可信度，表示第i个可信属性相关的可信子属性需要达到的最低可信度，表示可信子属性约束的通用表达，是与第i个可信属性相关的不同可信子属性可以有不同的子属性可信等级约束。

3.如权利要求1所述的软件可信性量化评估与设计方法，其特征在于，所述软件可信性量化总体设计步骤中，进一步建立可信等级模型，根据软件可信属性可信度以及可信子属性的权重，按照可信等级模型，最终得到每一个可信子属性的可信度和可信性实现指南。

4.如权利要求3所述的软件可信性量化评估与设计方法，其特征在于，所述可信等级模型用于体现可信子属性可信度与可信等级的对应关系：其中，

当软件子属性可信等级达到A，子属性可信度为1.0；

当软件子属性可信等级达到B，子属性可信度为0.95；

当软件子属性可信等级达到C，子属性可信度为0.85；

当软件子属性可信等级达到D，子属性可信度为0.70；

当软件子属性可信等级达到E，子属性可信度为0.45。

5.如权利要求3所述的软件可信性量化评估与设计方法，其特征在于，所述软件可信性量化总体设计步骤包括如下步骤：

步骤2a：根据可信性量化需求分析的结果，得到软件的可信属性、可信子属性、可信属性权重、可信子属性权重、软件整体可信性量化的要求；

步骤2b：确定软件的可信度分配模型、软件可信度分配方法、可信等级模型及属性可信度分配方法；

步骤2c：根据软件可信度分配模型及方法将软件可信度自顶向下、从整体到局部逐步分配到软件各个可信属性，确定可信属性的可信度；

步骤2d：通过软件属性可信度分配方法将规定的可信属性可信度分配到可信子属性，由此确定可信子属性的可信等级和可信性实现指南；

步骤2e：得到每一个可信子属性的可信性要求，生成可信性实现指南。

6.如权利要求1所述的软件可信性量化评估与设计方法，其特征在于，软件可信性量化实现步骤包括如下步骤：

步骤3a：获得可信子属性分别在各可信等级的数量{q₁,q₂,…,q_s}，初始化假设可信子属性的可信等级均为最低等级；

步骤3b：计算各个可信子属性分配在{q₁,q₂,…,q_s}中的所有情况；

步骤3c：通过循环，依次计算所有情况，同时记录循环次数：

i)根据本次循环中{q₁,q₂,…,q_s}的具体数值和可信等级模型，为可信子属性赋值y_[i,j]；

ii)计算当前可信属性的可信度y_i；

iii)如果可信度y_i没有达到可信性要求，则回到步骤ii，进入下次循环；如果可信度y_i达到了可信性要求，计算的值，记为σ；

iv)设σ_min为当前记录的最小可信子属性之和；若σ＜σ_min，则更新σ_min的值，记录当前可信子属性的结果，回到步骤ii，进入下次循环；若σ＝σ_min，则记录当前可信子属性的结果，回到步骤ii，进入下次循环；若σ＞σ_min，则回到步骤ii，进入下次循环；

步骤3d：返回所有可信子属性之和为σ_min的可信子属性解转换可信等级解，并返回结果。