摘要
软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷:1)非形式化的需求描述常常导致需求的歧义性和不一致性,因而难以确认和验证;2)易变一牲,需求变更及其连锁反应是对项目质量、进度乃至合同履行影响最大的风险因素。本文针对软件需求分析阶段的难点,通过将形式化方法和敏捷建模理论相结合,提出一套基于敏捷建模的形式化需求分析方法。
Software requirement analysis is the most important step in software life cycle. However there are two major defects of traditional requirement modeling methods. One is frequent requirement ambiguity and discord caused by informal requirement description. There- fore it is hard for identification and confirmation. The other is changeability. Reauirement change and its chain reactions are the most influenfal risk factor for the project quality, process and contract performance. This essay focuses on dealing with the difficulties of software requirement analysis. It put forwards a set of formal requirement analysis methods on the basis of agile modeling through the combination of formal method and agile modeling theory.
出处
《电脑知识与技术》
2008年第12期1680-1682,共3页
Computer Knowledge and Technology
关键词
敏捷建模
形式化方法
需求分析
需求工程
VDM语言
agile modeling
formal method
requirement analysis
requirement engineering
VDM Language