《软件工程导论》第五版张海藩编著总结

1、软件工程导论第五版张海藩编著 总结分类： Computer System2011-01-04 10:14 6417人阅读 评论 (10) 收藏 举报测试数据结构工具任务文档软件测试总结重点：Unit1软件危机 包含两方面的问题： 一是如何 开发 软件，怎样满足人们对软件日益增长的需求？二是如何维护 软件，使它们持久地满足人们的要求。软件工程学 定义：把软件当作一种工业产品，采用 工程学 的原理来管理和组织软件的开发和维护，称为软件工程。软件是指程序、数据和文档三者共同构成的配置。包含与 数据处理系统操作 有关的 程序、规程、 规则 以及相关文档 的智力创作称为软件。 文档是描述程序 开发过程

2、的，是智力创作的真实记录，是创作活动的历史档案和结晶。软件的描述性定义：软件 由计算机 程序 ，数据结构 和文档 组成。软件质量 定义为“与软件产品 满足规定 的和隐含的需求能力 有关的特征和特性的全体”具体来说： 1）软件产品中能满足给定需求的性质和特性的总体；2 ）软件具有所期望的各种属性的组合程度。将软件质量 属性划分为六个特性(功能性、可靠性、易用性、效率、维护性和可移植性)，这六个属性是面向用户的观点面向管理的观点，且是定性描述的。软件质量度量体系：内部度量可用于开发阶段的非执行软件产品，外部度量只能在生存周期过程中的测试阶段和任何运行阶段使用。软件工程项目的基本目标：（ 1）低成本

3、； （2 ）满足功能要求； （ 3）高性能； （ 4 ）易移植； （5 ）易维护。软件工程方法学就是要从技术和管理上提供如何去设计和维护软件。软件开发方法：面向数据流（约旦）方法、面向数据结构方法、面向对象方法。结构程序设计是进行以模块功能和处理过程设计为主的详细设计的基本原则。它的主要观点是采用自顶向下、逐步求精 的程序设计方法；使用三种基本控制结构构造程序，任何程序都可由顺序、选择、循环三种基本控制结构构造。用来辅助软件开发、运行、维护、管理、支持等过程中活动的软件称为软件工具（CASE ）。软件生存周期定义：软件产品从形成概念 开始，经过开发、使用和维护，直到最后 不再使用 的整个过程。

4、各阶段的任务彼此间尽可能的相对独立，同一阶段内各项任务的性质尽可能的相同。软件的开发就是“按软件顺时间发展的过程分阶段进行”的。软件生存周期模型：瀑布模型 （阶段间具有顺序型和依赖性，清楚地区分逻辑设计与物理设计、尽可能推迟程序的物理实现，是 文档驱动 模型，遵循结构化设计）；原型模型 （软件产品的开发是线性顺序进行的，本质是快速 ，用途是 获知用户的真正需求，一旦需求确定，原型将被抛弃）。其核心都是将软件开发划分为：分析、设计、编码、测试和维护。软件生存周期 划分为以下几个阶段： 可行性研究与计划、 需求分析、 总体设计、 详细设计、 实现、组装测试、确认测试、使用和维护 。软件过程： 是为

5、了获得高质量软件所需要完成的一系列任务的框架，它规定了完成各项任务的工作步骤软件工程方法学：通常把在软件生命周期全过程中使用的一整套技术方法的集合称为方法学，也称范型软件工程过程是软件生存周期中各个可能的过程， 这些过程可进一步划分成为了提供或获得软件产品或服务，或是为了完成软件工程项目需要完成的有关软件工程活动，每一项活动又可分解为一些软件工程任务。标准定义了 21 个过程分属三类：基本过程（include获取、供应、开发、运作、维护过程）、支持过程和组织过程。软件工程三要素：方法、工具和过程。软件工程管理目的：为了按照进度及预算完成软件计划，实现预期的经济和社会效益。内容：成本估算、进度安

6、排、人员组织、质量保证、配置管理等等。怎么强调软件工程管理的极其重要性都不会过分Unit2可行性研究任务和目的：用最小的代价在尽可能短的时间内确定问题是否能够在一定规模之内解决。（确定这一问题是否存在值得去做的解）过程和步骤：实质：进行 一次大大压缩简化了的系统分析和设计过程，也就是在较高层次上以抽象方式进行的系统分析和设计过程。技术和工具：DFD+DD主要内容（ 1）澄清问题定义规模、约束和限制（ 2）导出新系统的逻辑模型（ 3）导出若干个供选择的物理解法（物理模型），并分别研究它们的可能行：数据流图符号Example：数据流图的基本目的是利用它作为交流信息的工具，另一个主要目的是作为分析和

7、设计的工具。数据字典 是关于数据信息的集合，也就是对 数据流图中包含的所有元素的定义的集合，它是通过对数据元素和数据结构的定义，来描述数据流和数据存储的逻辑内容的。数据流和数据字典共同构成系统的逻辑模型 。数据字典的内容：数据流、数据元素、数据存储、处理数据字典 最重要的用途是作为分析阶段的工具。Unit3需求分析 ：目的：精确地定义系统必须做什么，也就是对目标系统提出完整、准确、清晰、具体的要求。 为目标系统提出精确的 逻辑模型 。任务：确定对系统的综合要求，包括功能需求、 性能需求、 可靠性和可用性需求、运行要求、 将来可能提出的要求。过程：处理逻辑的分解：自顶向下逐步分解直到每个处理逻辑

8、已是不可再分的“功能单元 ”为止。书写文档： 软件需求规格说明工具： 状态图、 IPO 图、层次方框图、Warnier图结构化分析设计技术是 70 年代中期由E.Yourdon等人提出来的一种面向数据流 的方法；要求系统的开发工作在结构化和模块化的基础上进行，它系统的运用了描述模型 的概念，按照软件内部数据传递和变换的关系，自顶向下逐层分解，直到找出满足要求的可实现的软件。在这个方法里，“ 抽象”，“分解”，“模块化”，“结构化”是它的主要手段；面向数据传递、变换所形成的数据流（ Dataflow）和数据流程图（DFD ）是它的主要依据。这个方法的 关键工作 是：画分层的DFD 和确定数据定义

9、与加工策略。Yourdon方法 (对应的 瀑布模型 )的缺陷 :其实 Yourdon方法是建立在三个假设之上的：假设 1 ：所有的需求都是可以预先定义的；假设 2 ：需求在较长一段时间内是不变的（相对稳定的）；假设 3 ：运用所提供的工具可以做到项目参与者之间清晰、准确、有效的沟通。这三个假设往往是很难成立的：“逻辑模型”的精确描述依赖于“自顶向下的求精过程”，而“自顶向下的求精过程”的顺利进行又依赖于精确的“逻辑模型”，这二个问题互相缠绕依赖而构成方法学上的“死锁”。原型法（原型模型）：原型就是模型的意思（原型=模型），它指的是模拟某种产品的原始模型。运用原型的策略：抛弃策略& 附加

10、策略对原型的逐步求精过程是一个迭代过程相对于 Yourdon方法来说原型法是一个非线性 的系统开发方法。不再强调高质量的阶段性文档。螺旋模型：沿螺线自内向外每旋转一圈便开发出一个更为完善的软件版本 Yourdon 方法适合于“预先指定的系统”；原型法适合于“用户驱动的系统”。通常用“范式”定义消除数据冗余程度。第一范式 数据 冗余 程度 最大，第五范式数据冗余程度最小。状态转换图：状态时可以被观察到的系统行为模式，一个状态代表系统的一种行为模式，它规定了系统对事件的响应方式。一张状态图有一个初态和0 至多个终态 。事件：在某个特定时刻引起系统做动作和（或）状态转换的控制信息。验证软件需求的正确

11、性：一致性、完整性、现实性、有效性Unit4总体设计 ：目的：确定系统的具体物理实现方案（系统结构设计），确定组成每一个程序的模块，以及模块间的关系（ 软件结构设计 ）。任务：软件结构设计(过程设计是详细设计阶段的任务)过程：设想供选择的方案选取合理方案（每份方案有系统流程图、组成系统的物理元素清单、成本/ 效益分析、实现这个系统的进度计划4 份资料）等9 步（ P92）在软件开发早期阶段考虑测试问题，能促使软件设计人员在设计时注意提高软件的可测试性。总体设计阶段书写的文档：系统说明、用户手册、测试计划、详细的实现计划、数据库设计结果。总体设计过程中，推荐最佳方案后进入“软件结构”设计：设计出

12、组成这个系统的所有程序、文件和数据库，以及它们之间的联系。软件结构： 由模块组成的层次系统。模块 ：数据说明、可执行语句等程序。C/S （Client/Server）结构是软件系统体系结构“结构化设计”概括地说就是：用一组标准的工具和准则来确定 系统应该由哪些模块、用什么方式联结在一起，才能构成一个最好的软件结构。模块化 就是把程序划分成若干个模块，每个模块完成一个子功能，把这些模块集成起来构成一个整体，可以完成指定的功能满足用户的需求。模块 : 具有四种属性的一组程序语句称为一个模块，这四种属性分别是：输入和输出、逻辑功能、运行程序、内部数据。 ( 前两个是模块外部属性，后两个是内部属性，总

13、体设计完成外部属性设计、详细设计完成内部属性设计 )软件结构图中，模块用一矩形表示。模块间调用：用连接开发具有独立功能而且和其它模块之间没有过多相互作用的模块，可以做到模块独立。影响模块独立的因素：耦合（不同模块间 互联程度）内聚（同一模块内 各元素紧密程度）力争高内聚、低耦合。5 种耦合形式：数据耦合 、控制耦合、特征耦合、公共耦合、内容耦合 （从左到右耦合程度递增）最弱的耦合是非直接耦合7 种内聚形式：功能内聚 、顺序内聚、通信内聚、过程内聚、时间内聚、逻辑内聚、偶然内聚 （从左到右程度依次递减）模块的扇出与扇入：模块的 扇出 是指一个模块拥有的直接 下级 模块 的个数。模块的 扇入 是指

14、一个模块的直接上级 模块 的个数。模块的扇出系数应控制在7 以内， 尽可能的加大模块的扇入系数。作用域应该是控制域的子集；模块的控制域和作用域：模块的 控制域 （控制范围）：是指这个模块本身以及所有直接或间接从属于它的模块的集合。模块的 作用域 （判断作用范围）：是指 受该模块内一个判断影响 的所有模块的集合。（也就是该模块内存在着判断调用语句，而所有受到该判断逻辑影响的模块，就是该模块的作用域。）作用域应该是控制域的子集；理想的是作用域都是直接下属模块。数据流类型数据在DFD 中流径特征变换流 ：进入系统中的数据所流经的路径几乎 是一样的。事务流 ：进入系统中的数据所流经的路径不完全 是一样

15、 的。事务中心往往包含多个处理逻辑。“事务”是指一组输入数据。Unit5详细设计 :目的 : 完成模块的 过程设计( 为 SC 中每个模块确定采用的算法和块内数据结构，用某种选定的表达工具给出详细清晰的描述。)模块的逻辑设计（模块的过程描述）主要内容：1）为每个模块确定采用的算法2）确定每个模块使用的内部数据结构3）确定模块的接口细节4）制定模块的测试计划完成模块的 “内部属性” 设计，即给出系统中各个模块的“运行程序”和“内部数据”；由此可见 详细设计的结果基本上决定了最终软件的质量。详细设计的目标更重要的是便于维护。工具：1.程序流程图 (流程图 )2.N-S 图（盒图）3.PAD 图（问

16、题分析图）4.伪代码和PDL 语言逻辑设计应遵循的理念：1.从效率第一到清晰第一2.结构化的控制结构：结构化程序设计=仅使用单入口单出口的三种基本控制结构3.逐步细化的实现方法例 在一组数中找出其中的最大数分别用程序流程图、N-S 图和 PAD 图描述用“ 结构化 ”保证程序的 清晰易读 ，用“ 逐步细化 ”实现程序的正确可靠 ，它们导致了一条自然的结论：模块的逻辑设计必须用结构化程序设计的原理来指导。（结构化分析设计在详细设计阶段）Yourdon方法的技术途径： DFD DFD+DD SC PDLYourdon方法在分析阶段，我们用DFD 来表示软件的逻辑模型；在设计阶段， 又按照数据流类型

17、，分别用 变换分析 或事务分析 将它们转换成相应的软件结构。面向数据结构设计方法的根据和基本思想：算法和数据结构是程序设计中不可分割的侧面，算法的结构依赖于它要处理的数据结构。 只要事先知道一个问题的数据结构，就可以由此导出它的程序结构。基于数据流还是基于数据结构的出发点不同，最终目标也不同。SADT（结构化分析设计工具）方法的 目标是得出软件的最终SC 图，它把注意力集中在模块的合理划分上；面向数据结构的设计则要求得出程序的过程性描述，并不明确也提出软件应该先分成模块等概念。SADT 方法： DFD ->SC （软件结构图）-> 模块的过程性描述(PDL 等 )|<-总体设

18、计-> | |<-详细设计->|Jackson方法 (面向数据结构) ：数据结构-> 程序结构-> 程序的过程性描述(伪代码等)|<-总体设计-> | |<-详细设计->|程序复杂程度的定量度量：1.程序图（流图）( 用任何方法表示的详细设计结果都可以变换成程序图)流程图中的各种处理框均简化成一个结点2.环域复杂度程序的结构复杂度可用强连通的有向图中线性无关环的个数来度量V（G） = 判定结点数+ 1Unit6编码（也称实现）任务： 把模块的过程性描述翻译为用该语言书写的源程序（或源代码）。编码的风格1.程序要清晰直观，不要过于巧妙2.用一

19、定的原则指导控制结构的使用（避免使用容易引起混淆的结构和语句）3.有规律地使用GOTO语句不得不把效率的考虑放在首位的时候，而结构化程序又不能满足时间要求时，就可用 GOTO的代码段；4.实现源程序的文档化(软件 =程序 +文档 )< 有意义的变量名称、适当注释、标准的书写格式>语句来减少重复Unit7 ：软件测试：定义：程序测试是为了发现错误 而执行程序 的过程。纠错（调试）是为了确定错误的性质，并且加以纠正。软件测试包括 机器测试 ( 动态测试 )（黑盒测试 & 白盒测试） 和人工测试 (代码复审 )（代码走查 +会审 +办公桌检查）程序编译通过后，应该先人工测试 （发

20、现逻辑错误）后机器测试 (在设定的测试数据上执行被测程序).动态测试是一个包括：设计 “测试用例” 执行被测程序分析测试结果并发现错误的过程。(设计 “测试用例”是最关键)测试用例 输入数据+ 期望结果按照在设计“测试用例”时，是否涉及程序的内部结构，把动态测试分为：白盒测试 ：从程序的内部逻辑入手，按照一定原则设计测试用例。黑盒测试 ：仅以程序外部功能为依据来设计测试用例。检查程序是否完成应做的和是否做了不该做的。（按规格说明书的规定）软件测试的的步骤： 见笔记本上图 单元测试 ：在编码阶段完成；以模块为单位，（主要白盒）发现的往往是编码和详细设计的错误综合测试 ：（模块组装测试、集成测试）

21、以软件的设计信息为依据，主要用黑盒，发现设计错误 ，也可能发现需求说明 错误。确认测试（验收测试）：以软件的需求信息为依据，用黑盒，发现需求说明书中的错误，验证软件的有效性系统测试： 指整个计算机系统（包括软件与硬件）的测试。代码复审1.代码会审：开会逐句朗读和讲解程序，精力集中于发现错误，会后改正错误2.走查：与会者扮演“计算机”的角色3.办公桌检查：一个人参加的代码会审黑盒测试方法：等价分类法：按测试结果 “等价” 把被测程序的 输入域划分 为若干个 等价类 ，每一个等价类都选择一例 “测试用例” ，与“应做的事情”相对应的是“有效等价类”，而与“不应该做的事情”相对应的称之为“无效等价类

22、”。设计等价类的测试用例分为两步：1.划分等价类并给出定义；2.选择测试用例的原则：有效等价类的测试用例尽量公用；无效 等价类必须 每类一例 。 例 某城市的电话号码 看笔记 边界值分析法（边值法）错误猜测法（猜错法）因果图法白盒测试方法：见笔记 合理的白盒测试，就是要选取足够的测试用例，以实现对源程序比较充分的覆盖。逻辑覆盖法 ：（按照由低到高对程序逻辑覆盖程度的顺序）语句覆盖 ：每条语句至少执行一次；判定覆盖 ：不仅每条语句至少执行一次，而且每一分支至少执行一次；条件覆盖 ：不仅语句覆盖，而且每个条件均按“真”、“假”两种结果至少执行一次；条件组合覆盖 ：不仅语句覆盖，而且每个条件的所有可

23、能组合都至少执行一次。路径覆盖法 ：（按照由低到高对程序逻辑覆盖程度）结点覆盖：每个结点走一次；相当于语句覆盖边覆盖：每条边走一次；相当于判定覆盖路径覆盖：每条路径走一次；（不需要考虑程序的循环）Unit8面向对象基本原理：使描述问题的问题空间和在计算机上解决问题的解空间在结构上尽可能一致。基本概念：（ 1 ）对象：由 数据 以及可以施加在这些数据上的 操作 （或服务、方法、处理）所构成的 统一体 ，它是面向对象软件的 基本模块 。（ 2 ）类：对具有相同数据和相同操作的一组相似对象的定义（抽象）。（ 3 ）不同的对象彼此之间只能通过消息相互作用、相互联系（ 4 ）继承 :处于下一层次上的派生

24、类自动继承了位于上一层次基类的属性（数据）和行为（操作）面向对象就是既使用对象又使用类和继承等机制，而对象之间仅能通过传递消息实现彼此间的通信。UML 用视图来表示被建模系统的各个方面，它把软件模型分成5 个视图，每一个视图代表完整系统的一个特定方面。每一个视图又由一种或多种模型图 构成。1 用例视图： 用来支持 需求分析 ，也就是说系统将提供的功能是在用例视图中描述的。2 逻辑视图：定义系统的实现逻辑 ,重点关注的是系统的静态结构 （类、对象及它们之间的关系）,也描述系统内部的动态协作关系。它的模型图包括类图、对象图、状态图、顺序图、协作图及活动图等。3 组件视图 ：描述系统的 实现模块 及

25、它们之间的依赖关系 。组件是不同类型的代码模块 ，通过代码模块的结构和依赖关系来表示。4 部署视图 ：描述软件系统在计算机硬件系统和网络上的安装、分发和分布情况。5 实现视图 ：描述组成软件系统的各个物理部件。UML 由三部分组成：基本构造块、规则和公用机制UML 定义了二类模型元素的图形表示：一类模型元素用于表示模型中的某个概念 ，一类模型元素用于表示模型元素之间的 关系面向对象建模：对象模型“谁做？”（类图）动态模型“什么时候做？”（状态图）功能模型“做什么？”（用例图）这三种模型都是必不可少的，对象模型是最核心的。在面向对象 分析 中，构造出完全独立于实现的应用域模型 ；在面向对象 设计

26、 中，把 求解域 的结构逐渐 加入到模型中 ；在实现阶段，把应用域和求解域的结构进行编码和验证。OO 方法： OOA OOD OOP OOT 是一个逐渐扩充模型的过程，其间无需转换概念和表示，开发活动之间基本做到了平滑无缝过渡；对象模型：类与类之间一般有四种关系：关联、泛化（继承）、依赖和细化。1. 关联：表示两个类的“对象”之间存在某种语义上的联系。2. 聚集：聚集是关联的特例，它表示类与类之间的关系是整体与部分的关系。3. 泛化（继承）：泛化关系指的是类与类之间是“一般- 特殊”的关系。4. 依赖和细化： 依赖关系是指一个模型元素依赖于另一个独立的模型元素，细化关系是指一个模型元素细化成了

27、另一个模型元素。动态模型：描述了对象模型中对象的生命周期过程，即对象的状态 ，我们把一个触发行为称为一个事件 。 动态模型 就是通过描述对象的 状态 、触发状态转换的事件、以及对象的行为来描述软件系统的动态行为 （行为模型）。功能模型：UML 提供用例图来表示功能模型，并称之为用例模型。功能模型也可用SADT 中的一组DFD 来表示。（也是需求分析阶段）一幅用例图包含的模型元素有：系统、行为者、用例和用例之间的关系。一个用例是系统的一个完整的功能 ，通过关联与行为者连接，关联指出一个用例与哪些行为者交互，这种交互是双向的。用例是一个类，用例的实例 是系统的一种实际使用方法，我们称之为 脚本。用

28、例之间的关系主要有二种：扩展关系 和使用关系 。创建用例模型的工作包括：定义系统、 寻找行为者和用例、描述用例、 定义用例之间的关系，并确认用例模型。Unit9 ：面向对象分析（ Object-Oriented Analysis, 简称 OOA ）的关键就是识别出对象与类，并分析它们之间的关系，最终建立对象模型、动态模型和功能模型。图： 参照当前系统建立目标系统通过划分“主题”把一个复杂系统的对象模型分解成几个不同的概念范畴。软件维护 就是在软件已经交付使用之后，为了改正错误或满足新的需要而修改软件的过程。维护过程本质上是修改和压缩了的软件定义和开发过程，而且事实上远在提出一项维护要求之前，与

29、软件维护有关的工作已经开始了。进行维护的原因：改正程序中的错误和缺陷；改进设计以适应新的软、硬件环境;增加新的应用范围；为了将来的维护工作。维护分为以下几类：改正性维护；适应性维护；完善性维护；预防性维护-未涵盖进来的内容：需求分析目的：确定目标系统必须具备哪些功能总体设计的主要任务：一 . 制定几种可能的实现方案；二 .设计程序的体系结构详细设计（模块设计）任务：设计出程序的详细规格说明集成测试 和验收测试 ：集成测试（组装测试）：根据设计的软件结构验收测试：按照规格说明书的规定，由用户参与下对目标系统进行验收的测试通过对软件测试结果 的分析可以预测软件的 可靠性 。传统软件工程方法学的软件

30、过程，可以用瀑布模型来描述瀑布模型的特点：阶段间具有顺序性和依赖性、推迟实现的观点清楚地区分逻辑设计与物理设计，尽可能推迟程序的物理实现。瀑布模型带反馈环，发现前面阶段的错误时，沿反馈线回头修改快速原型模型不带反馈环，软件产品开发是线性顺序进行的，用途是获知用户的需求增量模型 （渐增模型）：把软件产品分解成增量构件。原则：当把新构件集成到原有构件时，所形成的产品必须是可测试的 。它能在较短时间内向用户提交可完成部分工作的产品。要求开始实现各个构件前就全部完成的需求分析、规格说明、总体设计。螺旋模型的基本思想：使用原形及其他方法来尽量降低风险。可以看作每个阶段前都加了风险分析的快速原型模型。 螺

31、旋模型是风险驱动型的。喷泉模型体现了面向对象开发过程迭代和无缝的特性。采用先行顺序的开发方法不可能开发出当今客户需要的大型复杂系统。构件：功能清晰的模块或子系统。模型：对事物的无歧义的书面描述。RUP 强调采用迭代和渐增的方式来开发软件，重复一系列组成软件生命周期的循环。面向对象方法=对象 +类 +继承 + 用消息通信可行性分析中导出供选择的解法的最简单途径，是从技术角度出发考虑解决问题的不同方案。系统流程图是概括地描绘物理系统的工具，表达数据在系统各部件之间的流动情况，而非对数据加工处理。数据流图（DFD ）描绘信息流和数据从输入移动到输出的过程中所经受的变换。（描绘数据在软件中流动和被处理

32、的逻辑过程），设计时只考虑系统必须完成的基本逻辑功能。画数据流图 的基本目的：利用它作为交流信息的工具;作为 分析和设计的工具。符号：数据源点 / 终点，变换数据的处理，数据存储，数据流数据存储是处于静止状态的数据流，数据流是处于运动中的数据。数据字典是关于数据的信息的集合，即对数据流图中包含的所有元素的定义的集合。数据字典包含内容：数据流，数据流分量，数据存储，处理数据字典 用途： 分析阶段 的工具。逆向需求说明软件系统不应该做什么分析系统常用图形工具：层次方框图、Warnier图需求分析时要把数据结构规范化。结构化分析方法就是面向数据流自顶向下逐步求精进行需求分析的方法。把分析过程中 得到

33、的有关 数据元素 记录在数据字典中，对 算法的简明描述 记录在 IPO 图中。快速建立软件原型是最好的需求分析技术。为快速构建和修改原型，使用三种工具和方法：第四代技术可重用的软件构件形式化规格说明和原型环境概念性数据模型是一种 面向问题 的数据模型，是按照用户的观点 对数据建立的模型。数据对象 是软件必须理解的复合信息的抽象。用“ 范式 ”定义消除数据冗余的程度，第一范式冗余最大。状态是任何可被观察到的系统行为模式 ，一个状态代表系统的一种行为模式。状态图的活动表中经常使用entry,exit,do三种标准事件。IPO 图是输入、处理、输出图，处理框中列出处理的次序暗示了执行的顺序。验证软件

34、需求的正确性：一致性、完整性、现实性、有效性结构设计是总体设计阶段的任务，过程设计是详细设计阶段的任务软件结构（即由模块组成的层次系统）可以用层次图或结构图描绘。在软件开发的 早期 阶段考虑测试 问题，可以促使软件开发者设计时注意提高软件的可测试性 。随着模块数增加，设计模块间接口所需工作量也增加。逐步求精是规格说明技术、设计和实现技术的基础。逐步求精定义：为了能集中精力解决主要问题而尽量推迟对问题细节的考虑。模块独立 的概念是模块化、抽象、信息隐藏和局部化概念的直接结果。耦合强弱取决于模块接口的复杂程度，进入或访问一个模块的点，以及通过接口的数据。模块间的 耦合程度 影响系统的 可理解性、可

35、测试性、可靠性和可维护性内聚比耦合更重要。深度表示软件结构中控制的层数，能粗略标识系统大小。宽度是软件结构内同一层次上的模块总数的最大值。扇出过大意味着模块过分复杂，扇入越大则共享该模块的上级模块越多（好）。好的软件结构通常顶层扇出高，中层扇出较少，底层模块有高扇入。面向数据流的设计方法把信息流映射成软件结构 ，信息流的类型（变换流、事务流）决定映射方法。经典程序设计：只允许使用顺序、 IF_THEN_ELSE、 DO_WHILE扩展的结构程序设计:外加 DO_CASE 、 DO_UNTIL修改的结构程序设计：外加BREAK系统响应时间的两个属性：长度、易变性用户界面设计是一个迭代过程。过程涉

36、及工具：程序流程图、盒图、PAD图、判定表、判定树、过程设计语言PDL程序复杂度定量度量：1.McCabe方法 ( 流图，也叫程序图)：流图中的区域数=环形复杂度=判定节点数+1程序的环形复杂度取决于程序控制流的复杂程度，即取决于程序结构的复杂程度。所以它是对测试难度的定量度量，也能对软件可靠性预测 。2.Halstead方法（根据程序中运算符和操作数总数来度量）编码和测试统称为实现。程序的质量主要取决于软件设计的质量。测试 的目的：发现软件中的错误，根本任务：保证软件质量调试 的目的：诊断并改正测试中发现的错误效率主要指处理机时间和存储器容量两方面。用户角度：最严重的错误是导致程序不能满足用

37、户需求的错误。一旦完成了需求模型就可以着手制定测试计划，建立了设计模型之后就可以立即开始设计详细的测试方案。最佳测试效果：有最大可能性发现错误的测试模块组装测试两种方法： 非渐增式测试（分别测试每个模块）& 渐增式测试 （把下一个要测试的同已经测好的结合起来测试）渐增方式分自顶向下集成和自底向上集成为了保证加入模块没有引进新的错误，可能需要进行回归测试自顶向下 测试方法主要优点:不需要测试驱动程序，能够在测试阶段的早期发现接口错误。回归测试 ：重新执行已经做过的测试的某个子集。它用于保证由于调试或其他原因引起的变化，不会导致非预期的软件行为或额外错误。确认测试的目的：验证软件的有效性。

38、如果软件的功能和性能如同用户期望的，就是有效的确认测试以用户为主，重要内容是复查软件配置。条件测试的目的不仅是检测程序条件中的错误，而且是检测程序中的其他错误。在一段程序中已经发现的错误数往往和尚未发现的错误数成正比。等价划分法和边界值分析法都只孤立地考虑各个输入数据的测试功效，而未考虑多个输入数据的组合效应。软件可靠性 ：程序在给定的时间间隔内，按照规格说明书的规定成功运行的概率错误：由开发人员造成的 bug ；故障：由错误引起的软件的不正确行为软件可用性 ：程序在给定的时间点，按照规格说明书上的规定，成功地运行的概率。预防性维护：为了改进未来的可维护性或可靠性 软件维护分为非结构化维护和结

39、构化维护维护事件流的最后一个事件是复审，它再次检验软件配置的有效性，并保证事实上满足了维护要求表中的要求。软件的可维护性：维护人员理解、改正、改动或改进这个软件的难易程度。提高软件维护性是支配软件工程方法学所有步骤的关键目标。决定软件可维护性因素：可理解性、可测试性、可修改性、可移植性、可重用性用户文档包括：功能描述、安装文档、使用手册、参考手册、操作员指南面向对象方法用对象分解取代了传统方法的 功能分解 。对象彼此之间仅通过消息传递 相互联系。面向对象 = 对象 + 类 +继承 + 消息传递通信如果仅用对象和消息，则称为基于对象 的方法，而非面向对象 的方法。如果进一步要求把所有对象都划分成类，则称为基于类的方法，仍非面向对象的方法。只有同时使用以上4 点，才是面向对象的。OOD不同于面向过程设计，其思想是：使用现实世界的概念抽象地思考问题而自然的解决问题。（重要的是应用模型）人在认识和解决复杂问题时最有力的思维工具是抽象 。传统的软件开发方法以算法为核心 ，开发过程基于功能分析和分解。面向对象方法基于构造问题领域的对象模型 ，以对象为中心构造软件系统。对象 =描述属性的 数据 +对数据施加的操作对象是具有相同状态的一组操作的集合。（从OOD看对象）对象是对问题域中某个东西的抽象，这种抽象反映了系统保存有关这个东西的能力与他交互的能力。（从信息模拟看对象）