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