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

基于证据理论软件功能可信度评估 　　摘要：证据理论是一种经典的处理不确定性信息和解决信息不完整的方法，软件属性和质量因子大都具有模糊性，很多因子不能用确定的数值表示。基于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 factors 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所示的评估模型，评估步骤如下：首先，利用证据理论计算功能涉及到的子特性或子特性组合的可信分配值；其次，如果各个功能均涉及到同一子特性或子特性组合，则运用证据合成规则合成新的可信度分配值作为该子模块的可信度分配值，依次往上得到最终软件的某一子特性或子特性组合的可信度分配值。对各个功能未同时涉及的子特性或子特性组合，作为上一层最终可信度分配值。 　　 　　图1 评估模型 　　2 证据理论的运用 　　2.1 辨识框架及其幂集 　　将证据理论各个基本概念运用到质量模型中，模型如图2所示，则辨识框架D由质量模型中的27个子特性为元素构成，但由于不同类型的软件涉及到的子特性不尽相同，因此在实际评估中，辨识框架中的元素个数由软件类型而定。如有的软件根据用户需求不同并不具有抵抗非法数据或非授权访问的需求，因此不涉及安全保密性。 　　一个功能可能涉及一个或一个以上子特性，如查询功能涉及容错性和时间特性两个子特性，但是在同一时刻，用户只能进行一个操作动作，而一个操作动作对应了一个子特性，如执行查询功能时，输入关键词时这一动作涉及的是容错性，下一时刻点击查询按钮时涉及的是时间特性，因此，该辨识框架中的各个元素是互斥的。 　　辨识框架的幂集2D由各个子特性及其所有组合的集合构成，因此该幂集对应了软件的各个功能项。 　　 　　图2 外部/内部质量模型 　　2.2基本可信度分配 　　证据理论定义了一个基本可信度分配BPA，在辨识框架D上的BPA是一个2D→[0