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

Formal Requirement Analysis Method Based on Agile Modeling

作　　者：张宇[1,2] 平龙妹[1,3] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215000 [2]上海融兴投资有限公司,上海浦东200127 [3]苏州中医院,江苏苏州215021

出　　处：《电脑知识与技术》2008年第12期1680-1682,共3页Computer Knowledge and Technology

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

关 键 词：敏捷建模 形式化方法 需求分析 需求工程 VDM语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]