演化构件在形式化需求分析方法中的研究与应用-河北师范大学学报.PDF

第32 卷/第5 期/ 河 师范大学学报/自然科学版/ Vol.32 No.5 2008 年9 月 JOURNALOFHEBEI NORMAL UNIVERSITY/Natural Science Edition/ Sep.2008 演化构件在形式化需求分析方法中的研究与应用 1 1 2 3 高静伟, 　赵建利 , 　宋　雨, 　孙召伟 (1.河 师范大学数学与信息科学学院, 河 石家庄　050016;2.华 电力大学 计算机学院, 河 保定　071003; 3.河 省毕业生就业指导中心, 河 石家庄　050061) 摘 要:软件开发实践表明:用户需求是软件系统成功的关键, 软件系统的成功极大地依赖软件需求工程的质 量.在开发活动过程中, 随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化, 用户需求也 在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件 及构件贡献度的相关理论基础上, 提出了基于演化构件的形式化需求分析建模方法, 深入分析了建模过程及建模 工具RE-Tracker, 并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应. 关键词:需求工程;演化构件;贡献度;形式化方法 中图分类号:TP 311　　　文献标识码:A　　　文章编号:1000-5854(2008)05-0594-05 [1] 需求分析作为软件工程的一个重要阶段已经开始形成一门独立学科, 称之为需求工程 (requirement engineering, RE).需求工程主要是研究软件系统的目标、功能、约束、软件行为、软件演化及软件簇之间的关 系.软件系统的成功极大的依赖软件需求工程的质量.准确获取、建模、分析、管理各层次用户需求是开发高 质量软件系统的关键之一.传统的需求建模方法主要有2 个重大的缺陷:一是非形式化的需求描述常常导致 需求的歧义性和不一致性, 因而难以确认和验证;二是易变性, 用户需求的频繁变动是一个极为普遍的问题, 然而在实际系统中即使是部分变动, 也往往会影响到需求分析的全局. 本文中, 笔者基于形式化需求分析方法和演化构件理论提出了基于演化构件的形式化需求分析建模方 法, 在需求获取阶段, 由Use Case[ 2] 通过UCM[3] 分解为多个相互协作的M C[4] , 从而获得功能需求的形式 化描述;在需求管理阶段, 利用演化构件的相关理论跟踪系统的需求演进、分析演化的波及效应(即分析需求 级构件关系图确定需求变更的影响范围), 制定合理的需求演化方案, 更好地跟踪和控制需求演变. 1　形式化需求分析方法 在需求分析中采用形式化方法最显著的特点在于规格说明语言的完整性和无二义性, 提高系统的可靠 性、可复用性和可维护性, 从而提高软件工程的质量. 1)FU ++-Promela 方法 瑞士联邦工业大学的Etique 等提出的FU ++-Promela 方法主要基于Fusion 方法.Fusion 方法是 Coleman 等提出的一种面向对象方法, 它支持软件系统分析、设计到实现的整个过程.FU ++是一种面向对 象语言, Etique 使用它来描述软件功能行为和期望的属性.然后使用F2P 编译器把FU ++说明书转换为 Promela 语句(tatements).因此需求规约确认和业务属性交互作用检测就可使用 pin 工具来进行. 2)OMT 方法 OMT (DL-oriented Object Modelling Technique)方法特别适合开发分布式、反应式和实时系统.该方法 在分析阶段基于面向对象方法, 而在设计阶段则基于 DL 模型.OMT 方法由5 个阶段组成, 即需求分析、 系统分析、系统设计、对象设计和实现.其主要模型图如图1 所示. 2　演化构件 2.1　定　义