① 概要设计将软件需求转化为软件体系结构、确定系统级接口、全局数据 结构或数据库模式;
② 详细设计确立每个模块的实现算法和局部数据结构,用适当方法表示算 法和数据结构的细节。 2.软件设计的基本原理 1)
软件设计中应该遵循的基本原理和与软件设计有关的概念
(1)抽象 软件设计中考虑模块化解决方案时,可以定出多个抽象级别。抽象的层次从概要设计到详细设计逐步降低。
(2)模块化 模块是指把一个待开发的软件分解成若干小的简单的部分。模块化是指解决一个复杂问题时自顶向下逐层把软件系统划分成若干模块的过程。
(3)信息隐蔽 信息隐蔽是指在一个模块内包含的信息(过程或数据),对于不需要这些信息的其他模块来说是不能访问的。
(4)模块独立性 模块独立性是指每个模块只完成系统要求的独立的子功能,并且与其他模块的联系最少且接口简单。模块的独立程度是评价设计好坏的重要度量标准。衡量 软件的模块独立性使用耦合性和内聚性两个定性的度量标准。内聚性是信息隐蔽 和局部化概念的自然扩展。一个模块的内聚性越强则该模块的模块独立性越强。 一个模块与其他模块的耦合性越强则该模块的模块独立性越弱。 2) 衡量软件模块独立性使用耦合性和内聚性两个定性的度量标准
内聚性是度量一个模块功能强度的一个相对指标。内聚是从功能角度来衡量 模块的联系,它描述的是模块内的功能联系。内聚有如下种类,它们之间的内聚 度由弱到强排列:偶然内聚、逻辑内聚、时间内聚、过程内聚、通信内聚、顺序 内聚、功能内聚。 耦合性是模块之间互相连接的紧密程度的度量。耦合性取决于各个模块之间接口的复杂度、调用方式以及哪些信息通过接口。耦合可以分为多种形势,它们 之间的耦合度由高到低排列:内容耦合、公共耦合、外部耦合、控制耦合、标记 耦合、数据耦合、非直接耦合。
在程序结构中,各模块的内聚性越强,则耦合性越弱。一般较优秀的软件设 计,应
第25页共35页
尽量做到高内聚,低耦合,即减弱模块之间的耦合性和提高模块内的内聚 性,有利于提高模块的独立性。
7.4.4 结构化分析方法
1. 结构化分析方法的定义
结构化分析方法就是使用数据流图(DFD)、数据字典(DD)、结构化英语、 判定表和判定树的工具,来建立一种新的、称为结构化规格说明的目标文档。
结构化分析方法的实质是着眼于数据流、自顶向下、对系统的功能进行逐层 分解、以数据流图和数据字典为主要工具,建立系统的逻辑模型。 2. 结构化分析方法常用工具
(1)数据流图(DFD) 数据流图是系统逻辑模型的图形表示,即使不是专业的计算机技术人员也容易理解它,因此它是分析员与用户之间极好的通信工具。
(2)数据字典(DD) 数据字典是对数据流图中所有元素的定义的集合,是结构化分析的核心。 数据流图和数据字典共同构成系统的逻辑模型,没有数据字典数据流图就不严格,若没有数据流图,数据字典也难于发挥作用。数据字典中有 4 种类型的条目:数据流、数据项、数据存储和加工。
(3)判定表 有些加工的逻辑用语言形式不容易表达清楚,而用表的形式则一目了然。如果一个加工逻辑有多个条件、多个操作,并且在不同的条件组合下执行不同的操
第26页共35页
作,那么可以使用判定表来描述。
(4)判定树 判定树和判定表没有本质的区别,可以用判定表表示的加工逻辑都能用判定树表示。
3. 软件需求规格说明书
软件需求规格说明书是需求分析阶段的最后成果,是软件开发的重要文档之 一。它的特点是具有正确性、无歧义性、完整性、可验证性、一致性、可理解性、 可修改性和可追踪性。
7.4.5 软件测试
1.软件测试的目的和准则 1) 软件测试的目的
Grenford.J.Myers 给出了软件测试的目的:
? 测试是为了发现程序中的错误而执行程序的过程;
? 好的测试用例(test case)能发现迄今为止尚未发现的错误;
一次成功的测试是能发现至今为止尚未发现的错误。 测试的目的是发现软件中的错误,但是,暴露错误并不是软件测试的最终目的,测试的根本目的是尽可能多地发现并排除软件中隐藏的错误。 2) 软件测试的准则
根据上述软件测试的目的,为了能设计出有效的测试方案,以及好的测试用 例,软件测试人员必须深入理解,并正确运用以下软件测试的基本准则:
? 所有测试都应追溯到用户需求; ? 在测试之前制定测试计划,并严格执行; ? 充分注意测试中的群集现象; ? 避免由程序的编写者测试自己的程序; ? 不可能进行穷举测试;
? 妥善保存测试计划、测试用例、出错统计和最终分析报告,为维护提 供方便。
第27页共35页
2.软件测试方法
软件测试具有多种方法,依据软件是否需要被执行,可以分为静态测试和动态测试方法。如果依照功能划分,可以分为白盒测试和黑盒测试方法。
1)静态测试和动态测试
(1) 静态测试包括代码检查、静态结构分析、代码质量度量等。其中代码检 查分为代码审查、代码走查、桌面检查、静态分析等具体形式;
(2) 动态测试。静态测试不实际运行软件,主要通过人工进行分析。动态测 试就是通常所说的上机测试,是通过运行软件来检验软件中的动态行为和运行结 果的正确性。 动态测试的关键是使用设计高效、合理的测试用例。测试用例就是为测试设 计的数据,由测试输入数据和预期的输出结果两部份组成。测试用例的设计方法 一般分为两类:黑盒测试方法和白盒测试方法。
2)黑盒测试和白盒测试
(1)白盒测试。白盒测试是把程序看成装在一只透明的白盒子里,测试者完 全了解程序的结构和处理过程。它根据程序的内部逻辑来设计测试用例,检查程 序中的逻辑通路是否都按预定的要求正确地工作;
(2)黑盒测试。黑盒测试是把程序看成一只黑盒子,测试者完全不了解,或不考虑程序的结构和处理过程。它根据规格说明书的功能来设计测试用例,检查 程序的功能是否符合规格说明的要求。 3.软件测试的实施 1)
软件测试
软件测试过程分4个步骤,即单元测试、集成测试、确认测试和系统测试。 单元测试是对软件设计的最小单位——模块(程序单元)进行正确性检验测试。单元测试的技术可以采用静态分析和动态测试。
集成测试是测试和组装软件的过程,主要目的是发现与接口有关的错误,主要依据是概要设计说明书。集成测试所设计的内容包括:软件单元的接口测试、 全局数据结构测试、边界条件和非法输入的测试等。集成测试时将模块组装成程序,通常采用两种方式:非增量方式组装和增量方式组装。
确认测试的任务是验证软件的功能和性能,以及其他特性是否满足了需求规格说明中确定的各种需求,包括软件配置是否完全、正确。确认测试的实施首先运用黑盒测试方法,对软件进行有效性测试,即验证被测软件是否满足需求规格说明确认的标准系统测试是通过测试确认的软件,作为整个基于计算机系统的一个元素,与计算机硬件、外
第28页共35页