基于敏捷建模的形式化需求分析方法

Formal Requirement Analysis Method Based on Agile Modeling

软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷：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.