第67章软件开发方法.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 软件人员使用白盒测试方法，主要想对程序模块进行如下的检查： 对程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次； 在循环的边界和运行界限内执行循环体； 测试内部数据结构的有效性，等。 第64页/共71页 语句覆盖 ：针对语句执行，使得每一条语句至少执行一次。 判定覆盖：着眼于每个分支的执行，使得每个分支至少执行一次。 条件覆盖：每个判定中每个条件的可能取值都至少执行一次。 判定-条件覆盖：兼顾以上两条。 条件组合覆盖：每个判定的所有可能的条件取值组合至少出现一次。 第65页/共71页 以上各种覆盖准则的侧重点不同，覆盖程度也不同，但它们具有共同点：任何一种覆盖都不能做到完全测试。 第66页/共71页 黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误: 是否有不正确或遗漏了的功能? 在接口上，输入能否正确地接受? 能否输出正确的结果? 是否有数据结构错误或外部信息(例如数据文件)访问错误? 性能上是否能够满足要求? 是否有初始化或终止性错误?　 第67页/共71页 7.3 软件的质量保证 软件质量保证是阶段评审、开发方法、配套管理与程序测试的综合运用。 评审与测试 程序正确性证明 软件配置管理 软件质量保证计划 第68页/共71页 7.3.1软件的质量标准 软件质量的标准： (1)功能性（能够满足软件需求说明（SRS）中各项功能需求) (2)可靠性 (3)易用性 (4)效率 (5)可维护性 (6)可移植性 第69页/共71页 7.3.2 质量保证的活动内容 质量保证是复审、开发方法、配置控制程序测试和测试的综合应用的综合应用。 质量保证的活动内容 (1)软件测试 (2)软件配置 (3)方法、设计、编码 (4)复审、计划与开发 第70页/共71页 各项活动内容，都须写入软件项目〈质 量保证计划〉，并由质量保证小组监督实施。 质量保证既是技术活动，也是管理活动. 第71页/共71页 * * * * * * * * * * * * * * * * * * * * * * * * 第32页/共71页 数据词典(DD) SA方法使用数据词典（Data Dictionary）对数据流名、数据存储名、数据项名、基本加工名进行详细说明 数据流图中包含的所有元素定义的集合构成了数据词典 DD是SA方法的主要工具 第33页/共71页 数据词典(DD) 数据词典中条目类型 数据流条目常用符号 = + [|] {} ( ) 文件条目 列出文件记录的组成数据项组织方式 数据项条目 数据单项定义，包括类型、取值范围 加工条目 加工的精确描述，小说明加工说明 第34页/共71页 6.2.2 结构化设计（SD） 在软件需求分析阶段，已搞清楚了软件“做什么”的问题，需求通过规格说明书描述，这也是目标系统的逻辑模型。 进入了设计阶段，要把软件“做什么”的逻辑模型变换为“怎么做”的物理模型，设计的结果反映在“设计规格说明书”文档中。 描述了软件的总体的体系结构，称为软件总体设计或结构设计。对结构进一步细化，称为详细设计或结构设计。 第35页/共71页 SD方法的基本思想 根据SA方法中的数据流图建立一个良好的模块结构图 运用模块化的设计原理控制系统的复杂性，即设计出模块相对独立的，模块结构图深度、宽度都适当的，单入口单出口的，单一功能的模块结构的软件结构图。 评价模块结构图质量的标准：模块之间的联系越松散越好，而模块内各成分之间的联系越紧凑越好 第36页/共71页 SD方法的设计原理 模块化 指解决一个复杂问题时自顶向下逐层把软件系统划分成若干模块的过程。每个模块完成一个特定的子功能，所有的模块按某种方法组装起来，成为一个整体，完成整个系统所要求的功能。模块化是软件解决复杂问题所具备的手段，为了说明这一点，可将问题的复杂性和工作量的关系进行推理 抽象 模块独立 第37页/共71页 模块化（module) 模块：在程序中是数据说明、可执行语句等程序对象的集合，或者是单独命名和编址的元素，如高级语言中的过程、函数、子程序等等。在软件的体系结构中，模块是可组合、分解和更换的单元。模块具有以下几种基本属性： 接口：指模块的输入与输出。 功能：指模块实现什么功能。 逻辑：描述内部如何实现要求的功能及所需的数据。 第38页/共71页 模块独立性(module independence） 模块独立性：每个模块只完成系统要求的独立的子功能，并且与其他模块