证据理论在软件需求工程中的应用

Θ Ａ２
则 称 ｍ（ 为基本概率分配函 Ａ）ห้องสมุดไป่ตู้＝１，∑ ｍ（ ＝０， ∑ ｍ（ ） ＊）
摘 要 软件需求是一种不确定信息， 用证据理论对软件需求进行定量的分析能够明确软件对不同需求的信任度和 需求之间的信任度 ， 减少软件需求工程的模糊性 ， 为软件的设计与实现提供必要的依据 。 关键词 软件需求 ， 证据理论 ， 信任度
Ｓ ｔ ｕ ｄ ｏ ｎ ｔ ｈ ｅ Ａ ｌ ｉ ｃ ａ ｔ ｉ ｏ ｎ ｏ ｆ Ｅ ｖ ｉ ｄ ｅ ｎ ｃ ｅ Ｔ ｈ ｅ ｏ ｒ ｉ ｎ Ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ Ｒ ｅ ｕ ｉ ｒ ｅ ｍ ｅ ｎ ｔ ｓ Ｅ ｎ ｉ ｎ ｅ ｅ ｒ ｉ ｎ ｙ ｐ ｐ ｙ ｑ ｇ ｇ
Ａ ｂ ｓ ｔ ｒ ａ ｃ ｔ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｒ ｅ ｕ ｉ ｒ ｅ ｍ ｅ ｎ ｔ ｉ ｓ ａ ｋ ｉ ｎ ｄ ｏ ｆ ｕ ｎ ｃ ｅ ｒ ｔ ａ ｉ ｎ ｉ ｎ ｆ ｏ ｒ ｍ ａ ｔ ｉ ｏ ｎ ． Ｕ ｓ ｉ ｎ ｅ ｖ ｉ ｄ ｅ ｎ ｃ ｅ ｔ ｈ ｅ ｏ ｒ ｔ ｏ ｄ ｏ ｕ ａ ｎ ｔ ｉ ｔ ａ ｔ ｉ ｖ ｅ ａ ｎ ａ ｌ ｓ ｉ ｓ ｏ ｆ Ｓ ｑ ｇ ｙ ｑ ｙ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｒ ｅ ｕ ｉ ｒ ｅ ｍ ｅ ｎ ｔ ｓ ｃ ａ ｎ ｃ ｌ ｅ ａ ｒ ｃ ｒ ｅ ｄ ｉ ｂ ｉ ｌ ｉ ｔ ｉ ｎ ｄ ｉ ｆ ｆ ｅ ｒ ｅ ｎ ｔ ｒ ｅ ｕ ｉ ｒ ｅ ｍ ｅ ｎ ｔ ｓ ｆ ｏ ｒ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ａ ｎ ｄ ｔ ｈ ｅ ｃ ｒ ｅ ｄ ｉ ｂ ｉ ｌ ｉ ｔ ａ ｍ ｏ ｎ ｒ ｅ ｕ ｉ ｒ ｅ － ｑ ｙ ｑ ｙ ｇ ｑ ， ｍ ｅ ｎ ｔ ｓ ｒ ｅ ｄ ｕ ｃ ｅ ｔ ｈ ｅ ａ ｍ ｂ ｉ ｕ ｉ ｔ ｏ ｆ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｒ ｅ ｕ ｉ ｒ ｅ ｍ ｅ ｎ ｔ ｓ ｅ ｎ ｉ ｎ ｅ ｅ ｒ ｉ ｎ ｓ ｏ ａ ｓ ｔ ｏ ｏ ｆ ｆ ｅ ｒ ｎ ｅ ｃ ｅ ｓ ｓ ａ ｒ ｂ ａ ｓ ｅ ｓ ｆ ｏ ｒ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｄ ｅ ｓ ｉ ｎ ａ ｎ ｄ ｇ ｙ ｑ ｇ ｇ ｙ ｇ ｉ ｍ ｌ ｅ ｍ ｅ ｎ ｔ ａ ｔ ｉ ｏ ｎ ． ｐ ， ， Ｋ ｅ ｗ ｏ ｒ ｄ ｓ ｏ ｆ ｔ ｗ ａ ｒ ｅ ｒ ｅ ｕ ｉ ｒ ｅ ｍ ｅ ｎ ｔ ｓ Ｅ ｖ ｉ ｄ ｅ ｎ ｃ ｅ ｔ ｈ ｅ ｏ ｒ Ｃ ｒ ｅ ｄ ｉ ｂ ｉ ｌ ｉ ｔ Ｓ ｑ ｙ ｙ ｙ 刻一个用户只能操作由一个需求所产生的一个功能， 所以不 它们是互斥的 。 会有两个需求同时发生 ， ２． ２ 识别框架的幂集 证据理论中 ， 识别框 架 的 幂 集 定 义 为 描 述 识 别 框 架 中 元 素的所有组合情况的集合 。 因为软件识别框架中的元素是 单 所以其幂集中的元素分为单个需求和需求组合两种 个需求， 情况 。 …｝ ， 设某软件的识别框架为 Θ＝ ｛ 其中 ａ、 ａ， ｂ， ｃ， ｂ、 ｃ 是单
第３ ９卷 第１ １ Ａ期 ２ ０ １ ２年１ １月
计 算 机 科 学 Ｃ ｏ ｍ ｕ ｔ ｅ ｒ ｃ ｉ ｅ ｎ ｃ ｅ Ｓ ｐ
Ｖ ｏ ｌ ． ３ ９Ｎ ｏ ． １ １ Ａ Ｎ ｏ ｖ ２ ０ １ ２
证据理论在软件需求工程中的应用研究
梅 莹 丁晓明 （ ） 西南大学计算机与信息科学学院 重庆 ４ ０ ０ ７ １ ５
ＭＥ Ｉ Ｙ ｉ ｎ Ｉ ＮＧ Ｘ ｉ ａ ｏ ｉ ｎ Ｄ －ｍ ｇ ｇ
（ ， ， ） Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｃ ｏ ｍ ｕ ｔ ｅ ｒ ａ ｎ ｄ Ｉ ｎ ｆ ｏ ｒ ｍ ａ ｔ ｉ ｏ ｎ Ｓ ｃ ｉ ｅ ｎ ｃ ｅ Ｓ ｏ ｕ ｔ ｈ ｗ ｅ ｓ ｔ Ｕ ｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ Ｃ ｈ ｏ ｎ ｉ ｎ ４ ０ ０ ７ １ ５， Ｃ ｈ ｉ ｎ ａ ｐ ｙ ｇ ｑ ｇ
｛ ｝ ， ｝ ， ｝ ， ｝ ， ｝ ， ｝ 等， 这 ｂ Ｃ＝ ｛ ｃ ａ， ｂ ａ， ｃ ｂ， ｃ ａ， ｂ， ｃ α＝ ｛ γ＝ ｛ δ＝ ｛ β＝ ｛ 里的 Ａ、 Ｂ、 Ｃ 是单个需求的集合 ， α、 γ、 δ 为需求组合的集合 。 β、 ２． ３ 基本概率分配函数
Θ ， 证据理论 中 ， 如 果 函 数 ｍ（ 满 足： 且有 ｍ： ２ ０， １］ ＊） →［
Θ …｝ ， ， 且 Ａ＝ ｛ 个 需求 ， ＝｛ Ａ， Ｂ， Ｃ， ａ｝ Ｂ＝ Θ 的幂集 ２ α， γ， δ， β，
１ 前言
证据理论是信息融合领域中对不确定信息的一种处理 方 法， 它通过特定的函数模型对抽象复杂的信息进行处理 ， 并以 辅助决策 数值的形式精确地表达出对模糊信息的信任程度， 者进行决策 。 软件需求的确定是 软 件 开 发 过 程 中 最 重 要 的 一 部 分 ， 它 通常是通过对潜在用户的需求进行访问总结而得， 但是由于 用户自身无法对需求进行清楚的描述和技术人员欠缺特定 领 域知识等原因， 使得用户的需求因不能被准确地理解而成为 一种不确定的信息 。 目前 ， 国内外大多数 学 者 的 研 究 成 果 主 要 集 中 于 对 满 足 各种应用需求的软件可信度的分析， 而较少有对软件需求本 身的信任程度进行评价的 。 他们采用基于经验的软件信任 度 未充分考虑到信任的模糊性和不 评估模型和概率评估模型， 确定性 ， 从而使评估结果存在偏差 。 本文将证据理论引入到软件需求工程中 ， 用信任度 、 不确 不信任度 ３ 个指标来度量软件与需求 、 需求与需求 之 间 定度 、 的信任关系 ， 从而确定软件中不同需求的信任度 ， 使软件的 开 发过程有据可依 。