基于证据理论的软件功能可信度的评估.docxVIP

鉴于凭证理论的软件功能可信度的评估 纲要：凭证理论是一种经典的办理不确定性信息和解决信息不完整的方法，软件属性和质量因子多数拥有模糊 性，好多因子不能用确定的数值表示。鉴于 ISO/IEC9126 质量模型中给出的 27 个软件子特征，利用凭证理论及其合成 规则计算了软件功能可信度，并给出了实例说明该方法的有效性。最后，总结了该方法的不足。 重点词：凭证理论；软件质量评估 中图分类号： TP393 文件表记码： A 文章编号： 1009-3044（ 2014） 13-3139-03 Software Function Trustworthiness Evaluation Based on Evidence Theory CAI Dong-rong Southwest China Normal University ， Chongqing 400715， China） Abstract ：Evidence theory is a classic way to deal with uncertain and incomplete information. Software attributes and quality fa ctors are fuzzy so that many of them can ’ t be expressed by precise figures.Software function trustworthiness and quality is evaluated quantitatively using evidence theory based ISO/IEC 9126.An example is given to demonstrate validity of this means. Key words ： evidence theory ； software quality evaluation 软件已经渗透人们生活的方方面面，软件的质量不单影响着人们平时生活，更控制着国家财产、人身安全。软件可 信度的评估是软件质量保证的重点内容之一。在 20 世纪 80 年月，国内外就投入了软件质量胸怀、评论的研究，提出了 不少胸怀方法，并相继编制了软件质量要求与评论系列标 准， ISO/IEC9126 质量模型成为了软件质量评论的基础。而后，因为软件属性与质量因子等多数拥有模糊特征，好多因子不能用确定数值表示，只能进行主观察量，因此，软件质量的定量评估成了研究热门。 凭证理论是一种经典的办理不确定信息的方法，宽泛应用于专家系统及智能计算领域，它以基本可信度分派函数 BPA）、信任函数（ Bel）、似然函数（ Pl）三个基本观点函数为基础，量化了模糊信息的信任程度，经过凭证区间很好 地表达了凭证的“不确定性” 、“无知”等观点。 软件由多个子模块组成，每个子模块包含了多个功能， 功能的可信程度是软件质量最直观的表现，该文以ISO/IEC 9126 标准定义的软件内外部质量模型为基础， 将凭证理论引入到对该模型的评估中，以 27 个质量子特征为指标，计算 软件各个功能的可信度，以此定量地表现出软件对波及的各 个质量特征的可信程度。 评估体系 本文成立了如图 1 所示的评估模型，评估步骤如下：首先，利用凭证理论计算功能波及到的子特征或子特征组合的可信分派值；其次，如果各个功能均波及到同一子特征或子特征组合，则运用凭证合成规则合成新的可信度分派值作为该子模块的可信度分派值，依次往上获得最终软件的某一子特征或子特征组合的可信度分派值。对各个功能未同时波及的子特征或子特征组合，作为上一层最终可信度分派值。 图 1 评估模型 凭证理论的运用 2.1 辨别框架及其幂集 将凭证理论各个基本观点运用到质量模型中，模型如图 2 所示，则辨别框架 D 由质量模型中的 27 个子特征为元素 组成，但因为不同种类的软件波及到的子特征不尽相同，因 此在实际评估中，辨别框架中的元素个数由软件种类而定。 如有的软件根据用户需求不同并不拥有抵挡非法数据或非 授权接见的需求，因此不波及安全保密性。 一个功能可能波及一个或一个以上子特征，如查问功能 波及容错性和时间特征两个子特征，可是在同一时刻，用户 只能进行一个操作动作，而一个操作动作对应了一个子特 性，如履行查问功能时，输入重点词时这一动作波及的是容错性，下一时刻点击查问按钮时波及的是时间特征，因此，该辨别框架中的各个元素是互斥的。 辨别框架的幂集 2D 由各个子特征及其所有组合的会合组成，因此该幂集对应了软件的各个功能项。 图 2 外部 /内部质量模型 2.2 基本可信度分派 凭证理论定义了一个基本可信度分派 BPA，在辨别框架 D 上的 BPA 是一个 2D → [0 ，1