[发明专利]一种基于形式化程度的领域软件可信性评估方法

摘要

本发明公开了一种基于形式化程度的领域软件可信性评估方法，包含以下步骤步骤(1)建立需要考察的领域软件特性的属性模型；步骤(2)选择与属性相关的证据，自定义运算逻辑，建立评估模型；步骤(3)根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；步骤(4)对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价。本发明充分考虑了领域软件的通用属性和领域特性，将形式化程度的分析引入到领域软件的可信性评估中，使评估结果具有更高的可信度，同时，通过建立属性模型、评估模型和等级模型，能够为领域软件可信性分析及后续研究提供更加有力的支持。

主权项

一种基于形式化程度的领域软件可信性评估方法，包含以下步骤：步骤（1）建立需要考察的领域软件特性的属性模型；所述属性模型具有层次结构，包括通用特性、领域特性和应用特性三个方面，每个方面划分为多个层次的属性组，属性组中包含具体属性目标；属性目标是具体的指标；步骤（2）选择与属性目标相关的证据，自定义运算逻辑，建立评估模型；所述的评估模型为自定义的树形结构模型，该模型的非叶节点定义了各分支的组合运算，叶节点则定义了相关的证据的组合运算，各节点根据自定义运算逻辑计算出评分；步骤（3）根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；该模型中包含了描述领域软件可信程度的多个有序等级，每个等级对应不同可信程度，每个等级包含了多个映射条件，多个映射条件是对评估模型中各种评估信息的限制，通过与映射条件的匹配确定软件的可信等级，从而明确软件的可信程度；步骤（4）对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价；所述步骤（4）具体包含以下步骤：步骤（4.1）将基于属性模型选择的评估证据进行分组和预处理，证据分为功能描述、评价描述、条件描述三种类型，需对证据进行形式化分析之前的预处理；步骤（4.2）根据证据的不同类型分别进行形式化分析，针对每个证据产生一个量化的评分，评分的高低表明了证据的形式化程度；步骤（4.3）基于已经建立的评估模型，最底层的与属性目标相关的证据已经赋值，自底向上根据自定义的运算逻辑逐层计算评分；步骤（4.4）基于等级模型，通过将已赋值的评估模型实例与映射条件进行匹配，确定领域软件对应的可信等级；步骤（4.5）生成领域软件可信性评估报告，报告中给出软件的可信等级并结合评估数据指出制约软件可信性的瓶颈问题。