摘要： 针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题，提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程，及对该UML模型进行形式化描述，采用形式化验证技术对形式化后的UML模型进行需求验证，以确保设计的UML模型的正确性。实验结果表明，形式化的需求分析方法克服了传统需求分析方法中存在的问题。

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

Abstract: 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.

Key words: requirements analysis, formalization method, Unified Modeling Language(UML), requirements verification

中图分类号: 

• TP311