期刊文献+

一个支持软件需求验证的过程模型研究 被引量:1

Research of process model supporting for software requirements verification
下载PDF
导出
摘要 需求验证是软件需求阶段的一个重要环节,未经验证的需求给项目成功带来较大的需求风险。在前期研究的基础上,从需求验证的基本原理和可操作性出发,提出一个支持需求验证的过程模型(RVPM),进行形式化描述,并论述了需求验证过程的几个关键过程和策略。结合实例,分析了如何应用该模型来指导需求验证过程。理论和实例分析表明:该模型有效地克服了需求验证过程的复杂性和经验操作,有效降低项目需求风险。 Requirements verification is an important procedure for software requirements, and requirements having not being verified will bring larger risk for the success of project. A Requirements Verification Process Model (RVPM) was proposed from the principles and operability of requirements verification, with reference to the former research of requirements analysis. Several key procedures and strategies of requirements verification were provided, and the corresponding formal description was given. Applying this model to guiding requirements verification was analyzed by a real example. Theoretical and experimental analyses show that this model can effectively overcome the complexity and experiential operation of requirements verification process and greatly reduce the risk of project requirements.
出处 《计算机应用》 CSCD 北大核心 2008年第5期1287-1290,1294,共5页 journal of Computer Applications
基金 国家自然科学基金资助项目(60673093)
关键词 需求验证 活动序列 任务分解 对话图 requirements verification activities list task division dialog map
  • 相关文献

参考文献8

  • 1RAKITIN S R.Software verification and validation for practitioners and managers[M].于秀山,包晓露,译.2nd ed.北京:电子工业出版社,2001.
  • 2徐家福 朱鸿.从需求定义到形式化功能规约-一个自动转换方法.中国科学,1995,38:28-43.
  • 3荣辉桂,陈志刚,陈浩,刘立.基于特征的敏捷界面原型驱动开发过程框架[J].湖南大学学报(自然科学版),2007,34(7):67-72. 被引量:1
  • 4白赣洪,张朝良,火清宁,朱鸿,郑国梁.一个支持软件需求测试任务分析方法的工具[J].计算机工程与应用,2000,36(3):50-54. 被引量:1
  • 5金凌紫,朱鸿,张朝良,火清宁,白赣洪,徐家福.情形实例驱动的软件需求模型自动生成[J].计算机学报,1998,21(8):673-681. 被引量:4
  • 6LIN Y C,CHIANG T H,WANG H M,et al.The design of a multi-domain mandarin chinese spoken dialogue system[C]// Proceedings of 5th International Conference on Spoken Language Processing(ICSLP'98).Sydney:[s.n.],1998:41-44.
  • 7DUR(A)N A,RUIZ-CORT(E)S A,CORCHUELO R,et al.Supporting requirements verification using XSLT[C]// Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering.Washington,DC:IEEE Computer Society,2002:165-172.
  • 8WEIGERS K E.软件需求[M].刘伟琴,刘洪涛,译.2nd ed.北京:清华大学出版社,2006.

二级参考文献16

  • 1董丽君,费宗铭,朱鸿,金凌紫.软件需求定义语言NDRDL[J].计算机科学,1995,22(5):45-53. 被引量:10
  • 2金凌紫,Proc ICFEM’97,1997年,243页
  • 3Xu J,Proc IFIP’96,1996年,199页
  • 4Xu J,Proc SEKE’96,1996年,457页
  • 5Xu J,Sci China A,1995年,38卷,增刊,28页
  • 6张朝良,计算机研究与发展
  • 7ALHIR S S.Understanding the model driven[J].Methods & Tools,Fall,2003.
  • 8RISING L,JANOFF N S.The SCRUM software development process for small teams[J].IEEE Software,2000,17(4):26 -32.
  • 9DEMIAME J,KABA B A,WASTELL D.Software process:principles,methodology,and techonology[M].Heidelberg:SpringerVerlag,1999.
  • 10SHAW M,GARLAN D.Software architecture:perspectives on an emerging disipline[EB/OL].[2003-05-09].http://www.cs.cmu.edu/afs/-cs.cmu.edu/project/vit/www/paper.abstracts/SoftArch.html.

共引文献3

同被引文献1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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