期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

可信软件中非功能需求FO-QSIG冲突权衡模型 被引量：7

Non-Functional Requirement Conflict Tradeoff FO-QSIG Model in Trustworthy Software
原文传递
导出
摘要 引入领域工程中FODA模型中"特征"概念到需求工程中QSIG图中,提出了面向特征定量软目标耦合图(FO-QSIG);用FO-QSIG图对可信软件系统的非功能需求(NFR)的冲突和不确定性进行完整性表述;并建立FO-QSIG权衡模型对NFR之间的优先排序和正负影响进行定量分析,通过计算NFR的特征贡献值(FC),来消解NFR之间冲突和不确定性;最后对FO-QSIG模型的可信性进行了证明。为可信软件中NFR精化提供了新的权衡分析工具。 This paper introduces the ＂feature＂ concept in FODA model of domain engineering into QSIG in requirement engineering and proposes the Feature Oriented Quantitative Softgoal Interdependency Graphs（FO-QSIG）,an enhanced version of which can thoroughly describe Non-Functional Requirements（NFR） conflicts and uncertainties.Based on the graphics,we build an FO-QSIG tradeoff model to make quantitative analysis of NFR priority ranking,and the positive and negative effects,in which the conflicts among the NFR and uncertainties are eliminated by calculating the value of the NFR Feature Contribution（FC）.Lastly,we testify the credibility of FO-QSIG model.The research results provide a new tradeoff tool for the trustworthy software NFR refine process.
作者 罗新星 朱名勋 陈晓红
机构地区 中南大学商学院
出处 《系统工程》 CSSCI CSCD 北大核心 2010年第2期101-105,共5页 Systems Engineering
基金 国家自然科学基金资助项目(90818014) 国家自科基金委创新群体项目(70921001/G0104) 中南大学博士研究生创新基金资助项目(071601023)
关键词 可信软件 非功能需求 面向特征定量软目标耦合图 特征贡献值 冲突权衡 Trusted Software Non-Functional Requirement FO-QSIG FC Conflict Tradeoff
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献15

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量：115
  • 2刘克,单志广,王戟,何积丰,张兆田,秦玉文.“可信软件基础研究”重大研究计划综述[J].中国科学基金,2008,22(3):145-151. 被引量：136
  • 3Mylopoulos J, Chung L, Nixon B. Representing and using non-functional requirements: a process-oriented approach[J]. IEEE Transactions on Software Engineering, 1992,14.
  • 4Chung L, Nixon B. Dealing with nonfunctional requirements: three experimental studies of a processoriented approach [C]//Proceedings of the 17th International Conference on Software Engineering, 1995:24-28.
  • 5Bachmann F, et al. Experience in using an expert system in designing for modifiability[C]//Proceedings of the WICSA. IEEE Press,2004.
  • 6Bachmann F, et al. Designing software architectures to achieve quality attribute requirements[J]. IEE Proceedings-Software, 2005,152 (4) : 153 - 165.
  • 7Xu L, et al. An architectural pattern for non functional dependability requirements[J]. Journal of Systems and Software, 2006 : 1370- 1378.
  • 8Zayaraz G, et al. Software quality assurance through COSMIC FFP[J]. ACM SIGSOFT Software Engineering Notes, 2005,30(5) . 5.
  • 9Sadana V, Liu X. Analysis of conflicts among nonfunctional requirements using integrated analysis of functional and non-functional requirements [J]. Computer Software and Applications Conference, COMPSAC, 2007.
  • 10Chung L, et al. Non-functional requirements in software engineering[M]. Kluwer Academic,2000.

二级参考文献39

  • 1[1]Standish Group. The CHAOS Report[R].Found at http://www. standishgroup. com. 1995.
  • 2[2]The Inquiry Board. Ariane 5 Flight 105 Inquiry Board Report [ R ].Paris: European Space Agency Press,July 1996.
  • 3[3]National Science,Technology Council (NSTC). America in the Age of Information: A Forum on Federal Information and Communications R&D[R]. Bethesda, Maryland, July 6 - 7,1995.
  • 4[4]NSTC.Research challenges in high confidence systems[A]. Proceedings of the Committee on Computing, Information, and Communications Workshop[ C ]. USA: http://www. hpcc. gov/pubs/hcs-Aug97/intro.html, August 6 - 7,1997.
  • 5[5]High Confidence Systems Working Group, NSTC. Setting an interagency high confidence systems (HCS) research agenda [ A ]. Proceedings of the Interagency High Confidence Systems Workshop [ C ]. Arlington,Virginia,25 March 1998.
  • 6[6]High Confidence Software and Systems Coordinating Group. High Confidence Software and Systems Research Needs[ R]. USA: http://www.ccic. gov/pubs/hcss-research. pdf, January 10,2001.
  • 7[7]President's Information Technology Advisory Committee. Information Technology Research:Investing in Our Future[ R] .Report to the President, USA: http://www. cs. rice. edu/～ ken/presentations/PITAC.pdf, February 24,1999.
  • 8[8]C A R Hoare. An axiomatic basis for computer programming[ J]. Communications of the ACM, 1969,12(10) :576 - 580.
  • 9[9]C A R Hoare. Communicating Sequential Processes[ M ]. Prentice-Hall International Series in Computing Science, Prentice-Hall International,Englewood Cliffs, N J London, 1985.
  • 10[10]Robin Milner. A Calculus of Communicating Systems[M]. USA:Springer, 1980.

共引文献229

同被引文献100

  • 1孙连山,黄罡,孙艳春,陈泓婕,梅宏.特征模型中非功能需求建模初探[J].计算机工程与科学,2006,28(z2):139-141. 被引量：4
  • 2杨放春,龙湘明.软件非功能属性研究[J].北京邮电大学学报,2004,27(3):1-12. 被引量：16
  • 3安波,唐亮贵,李双庆,程代杰.一个基于Bayesian学习的协商模型[J].计算机科学,2005,32(1):147-150. 被引量：1
  • 4刘小龙,唐葆君,邱菀华.基于灰色关联的企业危机预警案例检索模型研究[J].中国软科学,2007(8):152-155. 被引量：7
  • 5骆斌.软件工程——软件建模与分析[M].北京:高等教育出版社,2009.
  • 6THYER R H,DORFMAN M.Software requirements engineering[M].Los Alamitos:IEEE Computer Society,1997.
  • 7GORSCHEK T,DAVISA M.Requirements engineering:in search ofthe dependent variables[J].Information and Software Technolo-gy,2008,50(1):67-75.
  • 8DARDENNE A,Van LAMSEERDE A,FICKAS S.Goal-directed re-quirements acquisition[J].Science of Computer Programming,1993,20(1-2):3-50.
  • 9LOPEZ O,LAGUNA M A,GARCIA F J.Metamodeling for require-ments reuse[C]//Proc of Workshop em Engenharia de Requisitos.2002:76-90.
  • 10BAUDRY B,NEBUT C,Le TRAON Y.Model-driven engineering forrequirements analysis[C]//Proc of the 11th IEEE International En-terprise Distributed Object Computing Conference.[S.l.]:IEEE,2007:459-466.

引证文献7

二级引证文献15

系统工程
2010年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部