知识引导软件可信性需求提取.pdfVIP

知识引导的软件可信性需求的提取 王越1 刘春1 张伟2,3 金芝1,2,3 1中国科学院数学与系统科学研究院 北京100190 2)（高可信软件技术教育部重点实验室 （北京大学） 北京100871 3(北京大学信息科学技术学院软件研究所 北京 100871 软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提 取恰当的可信性需求.能否提取出足够好的软件可信性需求，不仅依赖于需求工程师对未来软件系统可能面临的 威胁的认识，还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求 的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上，开发了一个 软件可信性需求知识库，定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程，帮 助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性. 可信需求；可信需求模式；可信需求获取；需求工程 TP311 10.3724/SP.J.1016.2011.02165 Know