首页> 中文期刊> 《计算机学报》 >知识引导的软件可信性需求的提取

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

         

摘要

As software systems are used widely and deeply in society, trustworthiness, which refers to the ability to operate correctly under any situation, becomes one of the hot topics in practice and research. To develop trustworthy software system needs the elicitation of trustworthiness requirements. But the elicitation of the trustworthiness requirements needs the requirements engineer to possess lots of knowledge about undesired conditions a software system may face and the corresponding countermeasures the software system could take to deal with them. There still lacks a systematic method to guide the elicitation of trustworthiness requirements. This paper introduces a meta-model of trustworthiness, founds a knowledge base according to this meta-mod-el, presents a trustworthiness requirements pattern and a method about how to generate patterns from the knowledge base to help eliciting trustworthiness requirements. Finally a stock trading system is used to show the feasibility of this method.%软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.

著录项

  • 来源
    《计算机学报》 |2011年第11期|2165-2175|共11页
  • 作者

    王越; 刘春; 张伟; 金芝;

  • 作者单位

    中国科学院数学与系统科学研究院 北京100190;

    中国科学院数学与系统科学研究院 北京100190;

    高可信软件技术教育部重点实验室(北京大学)北京100871;

    北京大学信息科学技术学院软件研究所 北京 100871;

    中国科学院数学与系统科学研究院 北京100190;

    高可信软件技术教育部重点实验室(北京大学)北京100871;

    北京大学信息科学技术学院软件研究所 北京 100871;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 程序设计、软件工程;
  • 关键词

    可信需求; 可信需求模式; 可信需求获取; 需求工程;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号