期刊信息
- 刊名： 河北师范大学学报（自然科学版）Journal of Hebei Normal University (Natural Science)
- 主办： 河北师范大学
- ISSN： 1000-5854
- CN： 13-1061/N
- 中国科技核心期刊
- 中国期刊方阵入选期刊
- 中国高校优秀科技期刊
- 华北优秀期刊
- 河北省优秀科技期刊
演化构件在形式化需求分析方法中的研究与应用
-
1. 河北师范大学数学与信息科学学院, 河北石家庄050016;
2. 华北电力大学计算机学院, 河北保定071003;
3. 河北省毕业生就业指导中心, 河北石家庄050061 -
DOI：
The Research and Application of Formal Requirement Analysis Method Based on Evolved Component
摘要/Abstract
软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.
The success of softw are system greatly depends on the quality of softw are requirement engineering (RE).During the development,together with the gradually deepening understanding and the modifications of the infrastructures and configurations,the user's requi rements change constantly.Controlling the change of requi rements is always the goals that the developers chase.Based on the theories of fo rmal method of requirement analysis,evolved component (EC)and the degree of cont ribution of component,proposed a formal requirement analysis method based on evolved component,deeply analyzed the procedure of requirement modeling and modeling tool RE-t racker,and then analy zed the influential scope and affections of requirement component through areal instance-the central water controlling system.