欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对软件系统的可信性需求获取，本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因，因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策，并且现实世界积累的软件系统失效和其引发问题的相关知识，可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足，从而帮助分析人员发现更多的软件系统的可信性需求.
英文摘要：
This paper proposes a method for the system dependability requirement elicitation based on experiential knowledge about how the software often causes issues to the environment. The basic idea of this approach is to capture deniability requirements by identifying the issues that the system may bring to the environment and determining the countermeasures to tackle them. To iden- tify the potential issues and determine the countermeasures, we propose to utilize the accumulated knowledge about how the system fails and brings issues to the environment. By taking advantage of this kind of knowledge, the proposed approach can help the ana- lysts to find more dependability requirements for the software to be developed.
同期刊论文项目
同项目期刊论文
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix I
期刊信息
位置：