常用的软件结构设计工具是结构图，也称程序结构图。经常使用的结构图有四种模块类型：传入模块、传出模块、变换模块和协调模块。 程序结构图的基本图符：
模块用一个矩形表示，箭头表示模块间的调用关系。在结构图中还可以用带注释的箭头表示模块调用过程中来回传递的信息。还可用带实心圆的箭头表示传递的是控制信息，空心圆箭心表示传递的是数据信息。
程序结构图的有关术语列举如下： 深度：表示控制的层数。
上级模块、从属模块：上、下两层模块a和b，且有a调用b，则a是上级模块，b是从属模块。
宽度：整体控制跨度（最大模块数的层）的表示。 扇入：调用一个给定模块的模块个数。 扇出：一个模块直接调用的其他模块数。 原子模块：树中位于叶子结点的模块。
一般模块数据信息控制信息 31
结构图的基本形式：基本形式、顺序形式、重复形式、选择形式。
面向数据流的设计方法：
*：面向数据流的设计就是将数据流图变换成结构图。 典型的数据流类型有两种：变换型和事务型。
变换型系统结构图由输入、中心变换、输出三部分组成。 事务型数据流的特点是：接受一项事务，根据事务处理的特点和性质，选择分派一个适当的处理单元，然后给出结果。 （2）详细设计
详细设计是为软件结构图中的每一个模块确定实现算法和局部数据结构，用某种选定的表达工具表示算法和数据结构的细节。
*：详细设计的任务是确定实现算法和局部数据结构，不同于编码或编程。
常用的过程设计（即详细设计）工具有以下几种： 图形工具：程序流程图、N-S（方盒图）、PAD（问题分析图）和HIPO（层次图+输入/处理/输出图）。
32
表格工具：判定表。
语言工具：PDL（伪码）：过程设计语言，它是用正文形式表示数据和处理过程的设计工具。
真题讲解：2005年4月选择题第7题，2005年9月选择题第6题，2006年4月选择题第1题，2006年4月选择题第2题，2006年9月选择题第2题，2006年9月填空题第1题。 3.4 软件测试
1、软件测试定义：使用人工或自动手段来运行或测定某个系统的过程，其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。
*：软件测试的目的：尽可能地多发现程序中的错误，不能也不可能证明程序没有错误。
2、软件测试方法：静态测试和动态测试。
静态测试包括代码检查、静态结构分析、代码质量度量。不实际运行软件，主要通过人工进行。
动态测试：是基于计算机的测试，主要包括白盒测试方法和黑盒测试方法。 （1）白盒测试
白盒测试方法也称为结构测试或逻辑驱动测试。它是根据软件产品的内部工作过程，检查内部成分，以确认每种内部操作符合设计规格要求。
白盒测试的基本原则：保证所测模块中每一独立路径至少执
33
行一次；保证所测模块所有判断的每一分支至少执行一次；保证所测模块每一循环都在边界条件和一般条件下至少各执行一次；验证所有内部数据结构的有效性。
*：白盒测试法的测试用例是根据程序的内部逻辑来设计的，主要用软件的单元测试，主要方法有逻辑覆盖、基本路径测试等。 （2）黑盒测试
黑盒测试方法也称为功能测试或数据驱动测试。黑盒测试是对软件已经实现的功能是否满足需求进行测试和验证。 黑盒测试主要诊断功能不对或遗漏、接口错误、数据结构或外部数据库访问错误、性能错误、初始化和终止条件错误。主要方法有等价类划分法、边界值分析法、错误推测法等。 *：黑盒测试是程序功能的测试，主要用软件的确认测试。 3、软件测试过程一般按4个步骤进行：单元测试、集成测试、验收测试（确认测试）和系统测试。 （1）单元测试
单元测试是对软件设计的最小单位——模块（程序单元）进行正确性检测的测试。单元测试的目的是发现各模块内部可能存在的各种错误。
单元测试的依据是详细设计说明书和源程序。单元测试的技术可以采用静态分析和动态测试。对动态测试通常以白盒测试为主，辅之以黑盒测试。
34
*：在进行单元测试时，要用一些辅助模块去模拟与被测模块相联系的其他模块，即为被测模块设计和搭建驱动模块和桩模块。其中，驱动模块相当于被测模块的主程序，它接收测试数据，并传给被测模块，输出实际测试结果；而桩模块是模拟其他被调用模块，不必将子模块的所有功能带入。 （2）集成测试
集成测试是测试和组装软件的过程。它是把模块在按照设计要求组装起来的同时进行测试，主要目的是发现与接口有关的错误。
集成测试的依据是总体设计说明书。
集成测试所涉及的内容包括：软件单元的接口测试、全局数据结构测试、边界条件和非法输入的测试等。 （3）确认测试
确认测试的任务是验证软件的功能和性能及其他特性是否满足需求规格说明中确定的各种需求，以及软件配置是否完全、正确。 （4）系统测试
系统测试是将通过确认测试的软件，作为整个基于计算机系统的一个元素，与计算机硬件、外设、支持软件、数据和人员等其他系统元素组合在一起，在实际运行（使用）环境下对计算机系统进行一系列的集成测试和确认测试。
35