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

摘要：

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

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

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

在线出版日期：2010-09-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：30-33