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

• 作者: 姚全珠 王江
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 需求分析 形式化方法 统一建模语言 需求验证
• 年，卷（期）: 2010,（13）
• 页码范围: 30-33
• 分类号: TP311
• 字数: 4993字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.13.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚全珠	西安理工大学计算机科学与工程学院	84	918	15.0	26.0
2	王江	西安理工大学计算机科学与工程学院	3	58	2.0	3.0