考虑信息源相关的软件可信性评估模型.pdfVIP

第 17 卷 　第 6 期 中国管理科学 Vol . 17 , No . 6 　　　　　　　　　　　 　　　　　　　　　　　 2009 年 　　12 月 Chinese J ournal of Management Science Dec . , 　2009 文章编号 :1003 - 207 (2009) 06 - 0 163 - 07 考虑信息源相关的软件可信性评估模型 杨善林 ,丁 　帅 ,付 　超 (合肥工业大学计算机网络系统研究所 , 安徽 合肥 　230009) 摘 　要 :本文研究了信息源相关背景下的软件可信性评估问题 。首先提出了一种改进的 Denoeux 谨慎连接规则 , 给出了面向多证据合并的水平合成算法 ;其次 ,定义了一个综合折扣和相对权重的联合系数用于指标集结或群体 意见集结 ;最后 ,在分析评估过程中客观存在的信息不确定性和信息源相关等问题的基础上 ,给出了一个基于证据 理论的软件可信性评估模型 。典型算例验证了该模型的合理性和有效性 。 关键词 :软件可信性 ;信息源相关 ;证据理论 ;评估模型 中图分类号 : TP3 11 　　　文献标识码 :A ( 定 义了一个可信性评估函数 T EF ,用三元组 〈co m 1 　引言 p liance , benignit y , st abilit y 〉较为全面的展现了软 随着软件规模和设计复杂性的急剧增长 ,软件 件的可信性状况 。文献[ 5 ] 提出了一种基于 Mar k 系统的高可信要求给我们提 出了新 的更高 的挑 ov 模型的软件可信性评估方法 ,通过对 ri sk 、safe 战[ 1 ] 。为了对软件生产实施高效的可信控制 ,必须 t y 、reliabilit y 三个相关因素的预测与分析 ,分别建 先对软件实体的可信状态进行客观的判断 , 因此软 立了静态和动态两个模型 。文献[ 6 ] 运用模糊理论 件可信性评估技术已经成为当前可信软件研究领域 建立了软件可信性评估模型 ,实现了对评估过程的 中的一个核心科学问题 。 不确定性建模 。遗憾的是 ,上述模型都存在对评估 在软件范畴中,可信性的定义有很多 , 尚未得到 信息源的相关性及可靠性考虑不足的问题 ,未能从 统一[2 ] ,而不同的定义可能会导致可信性评估方法 根本上保证模型推理的合理性 ,且由于这些模型所 的不同,所以在研究评估方法之前 ,需要深刻把握软 考察的可信属性较少 ,导致模型本身普适性较差 ,只 件可信性的内在本质 ,给出一个合理规范的定义 。 适用于特定的情境中。 软件可信性是一个用来反映软件实体多维质量特征 与硬件可信性相比,软件可信性评估技术还很落 的综合属性 ,是在传统可靠性 、防危性 、可用性和可 后 ,众多国内外知名研究机构都将软件可信性评估技 维护性等软件非功能性属性的基础上提出的[3 ] 。由 术作为可信软件领域未来几年的研究重点。正在执 此 ,我们认为可信性是一个基于合理的证据或经验 行的 Trust Soft 计划以构件技术为基