基于知识的软件可信性需求获取

刘春; 王越; 金芝

您当前的位置：

首页 >

文章列表页 >

基于知识的软件可信性需求获取

学术论文 | 更新时间：2025-07-08

- 基于知识的软件可信性需求获取
- 暂无标题
- 电子学报 2010年第S1期页码：188-193
- 作者机构：
  
  1. 中国科学院数学与系统科学研究院
  2. 北京大学信息科学与技术系
- 作者简介：
- 基金信息：
  
  国家自然科学基金(No.90818026;60736015);国家基础研究发展规划973项目(No.2009CB320701);国家杰出青年基金(No.60625204)
- DOI：
  中图分类号： TP311.53
- 纸质出版：2010
- 稿件说明：
移动端阅览
刘春, 王越, 金芝. 基于知识的软件可信性需求获取[J]. 电子学报, 2010,(S1):188-193.
刘春, 王越, 金芝. 基于知识的软件可信性需求获取[J]. 电子学报, 2010,(S1):188-193. DOI：

DOI：

摘要

针对软件系统的可信性需求获取

本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因

因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策

并且现实世界积累的软件系统失效和其引发问题的相关知识

可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足

从而帮助分析人员发现更多的软件系统的可信性需求.

Abstract

关键词

Keywords

references

陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003(S1).

Daniel Jackson.A direct path to dependable software[J].Communications of the ACM,2009.

Andrea Herrmann,Barbara Paech.MOQARE: misuse-oriented quality requirements engineering[J].Requirements Engineering,2008.

Michael Jackson.The meaning of requirements[J].Annals of Software Engineering,1997(1).

Carl E. Landwehr,Alan R. Bull,John P. McDermott,William S. Choi.A taxonomy of computer program security flaws[J].ACM Computing Surveys (CSUR),1994(3).

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据