基于UML的软件形式化需求分析与验证  

Software Formalization Requirements Analysis and Verification Based on UML

作　　者：姚全珠[1] 王江[1] 

机构地区：[1]西安理工大学计算机科学与工程学院,西安710048

出　　处：《计算机工程》2010年第13期30-33,共4页Computer Engineering

摘　　要：针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。Aiming at the problems of incomplete requirements description,ambiguity and inconsistency in traditional requirements analysis method of software developments,this paper proposes a formalization requirements analysis method.It introduces to get the software requirements specification according to the requirements of the user with formalization method,design the software Unified Modeling Language（UML） model and to describe the UML model with formalization method,do the requirements verification to the formalization UML model with the method of formalization verification,for make sure the correctness of the designed software UML model.Experimental results show that the formalization requirements analysis method can overcome the problems in traditional requirements analysis method.

关 键 词：需求分析 形式化方法 统一建模语言 需求验证 

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