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

作     者：姚全珠 王江 YAO Quan-zhu;WANG Jiang

作者机构：西安理工大学计算机科学与工程学院西安710048 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2010年第36卷第13期

页      码：30-33页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2010.13.011

馆 藏 号：203102586...