软件工程 Software Engineering.pptVIP

国防科技大学计算机学院  软件工程 Software Engineering 国防科技大学计算机学院 2004.07 第七章 面向数据的分析方法与 形式化方法 前面介绍的面向数据流和面向对象的分析是目前被广泛采用并具有较好发展潜力的需求分析 方法。然而，在软件开发实践中仍有其它一些方法可供分析人员选择，它们在各自适用的领域也表现出了一定的优越性和生命力。这些方法包括面向数据结构的系统开发方法(DSSD)， Jackson系统开发方法(JSD)以及形式化软件规格说明技术。前两种统称为面向数据的需求分析方法。 面向数据的分析方法与形式化方法 特点 以信息对象及其操作为核心进行需求分析，与面向对象分析相似。 复合信息对象具有层次结构，并且可按顺序、选择、重复三种结构分解为成员信息对象。 提供将层次信息结构映射为程序结构的机制，从而为软件设计奠定较好的基础。 7.1 面向数据结构的系统开发方法 DSSD起源于七十年代Warnier在信息领域分析方面的杰出工作。 利用顺序、选择、 重复 三种结构表示信息的层次分解，并指出可以从信息层次结构推导出程序结构。 Ken Orr 对Warnier的工作进行了扩充，引进了数据流和处理功能，从而发展成为一种需求分析方法。 本节介绍 Warnier图 DSSD方法 创建实体图、信息过程图、Warnier-Orr原型图。 面向数据结构的系统开发方法 (1)首版 标题新闻 国内新闻 本地新闻 (2)商业金融版 股市行情 商业新闻 广告 (3)文化体育版 文化、体育新闻 散文 新书评论 7.1.1 Warnier图 Warnier图是一种表示信息层次结构的紧致机制。 Warnier图具有树形层次结构，可以用另外一些Warnier图继续分解图中的叶结点。 例 报纸自动组版系统 图，花括符内的信息条目构成顺序关系，园括符内的数字表示重复次数，如，广告 可以有1至5条，股市行情出现0到1次。 符号“”表示不可兼具的选择关系。 7.1.2 DSSD方法 基于DSSD需求分析方法的步骤 (1)标识与应用问题有关的实体。 (2)创建一种类似于数据流图的信息—过程图。 (3)创建Warnier-Err原型图。 在详细介绍DSSD的具体步骤之前，首先用数据流图描述一个基于计算机的软件专卖店管理系统，见图7.2.  注意，数据流图并非DSSD的组成部分。图7.2仅用于说明后面将要用到的应用问题实例。 软件专卖店管理系统的数据流图表示 1. 标识实体图 在DSSD中，与应用问题有关的实体及它们之间的信息流用实体图表示。它与面向对象分析中 的对象消息传递图有相似之处，因此，识别实体和信息流的方法也类似于面向对象分析 。  标识实体图 在DSSD中，分析人员可通过对下述问题的回答来生成实体图 (1)软件系统必须处理哪些信息项? (2)信息项的生产者和消费者分别是哪些实体? 上述问题的有关实体是：客户、订单处理员、邮寄员、银行、结算员、管理员和邮局，见图7. 3(a)。订单处理员的实体图如图7. 3(b)所示。 当所有实体的实体图都构造完成后，将它们综合起来便形成整个目标软件系统的实体图，见图7. 4。 标识实体图 标识实体图 2. 创建信息—过程图 DSSD中的信息—过程图与数据流图的作用类似，都是用来表示信息流及其处理功能的。 信 息—过程图从每个实体的输出信息流开始，逆向寻找用于生成该输出信息的输入信息流及相 应的处理功能。 3. 创建Warnier-Orr原型图 DSSD方法 分析人员以表格形式给出主要的输出信息元素 精确地表示为Warnier-Orr图 创建Warnier-Orr原型图 7.2 Jackson系统开发方法 七十年代Jackson提出了软件工程领域中著名的Jackson方法，当时它只用于软件设计。 八十年代初，Jackson又对它进行了多方面的扩充和完善，最终发展成为一种需求分析方法。 Jackson方法的核心思想是： 根据作用于数据的行为序列的结构(顺序、选择与重复)，建立目标软件系统的模型，然后在软件设计阶段将模型演化为相应的程序结构。 Jackson系统开发方法 Jackson方法在需求分析阶段的主要步骤 (1)标识实体与行为。 (2)生成实体结构图。 (3)创建软件系统模型。 7.2.1 标识实体与行为 Jackson方法针对初步需求分析形成的用户需求描述进行语法分析。 名词及名词短语是潜在的实体，相关的动词构成实体的潜在行为。 分析人员根据应用问题的边界及自己的理解，决定对潜在实体和行为的取舍。 标识实体与行为