程序设计及软件工程.pptVIP

二级ACCESS—软件设计及软件工程基础 3.3 结构化设计方法—详细设计（P80） 详细设计基本任务 为软件结构图中的每个模块确定实现算法和局部数据结构，用某种选定的表达工具表示算法和数据结构的细节 常用设计工具 图形工具：程序流程图、N-S（方盒图）、PAD（问题分析图）和HIPO（层次图+输入/处理/输出图）。 表格工具：判定表。 语言工具：PDL（伪码） 二级ACCESS—软件设计及软件工程基础 3.4 软件测试（P85） 目的、意义、人员 通过合理的设计测试用例以最少的人力和时间发现潜在的各种错误和缺陷 保证系统质量（满足需求规格）和可靠性 由开发人员、用户一起完成 测试基本方法 人工测试（静态测试）：评审软件文档或程序，包括代码检查、静态结构分析、代码质量度量。不实际运行软件，主要通过人工进行。 机器测试（动态测试）：通过运行软件，来检验结果的正确性。主要包括白盒测试方法和黑盒测试方法。 二级ACCESS—软件设计及软件工程基础 3.4 软件测试—白盒测试（P87） 白盒测试（结构测试、逻辑驱动测试） 将软件看成透明的白盒，根据程序的内部结构和逻辑结构来设计测试例子，对程序的路径和过程进行测试，检查是否满足设计的要求 白盒测试基本原则 保证所测模块中每一独立路径至少执行一次； 保证所测模块所有判断的每一分支至少执行一次； 保证所测模块每一循环都在边界条件和一般条件下至少各执行一次； 验证所有内部数据结构的有效性。 二级ACCESS—软件设计及软件工程基础 3.4 软件测试—白盒测试 测试用例根据程序内部逻辑设计，主要用于软件的单元测试。 用例主要设计方法有 逻辑覆盖：指一系列以程序内部的逻辑结构为基础的测试用例设计技术。 基本路径测试：根据软件过程性描述中的控制流程确定程序的环路复杂性度量，用此度量定义基本路径集合，并由此导出一组测试用例，对每一条独立执行路径进行测试。 二级ACCESS—软件设计及软件工程基础 3.4 软件测试—白盒测试 逻辑覆盖设计的基本内容（利用测试用例） 语句覆盖：使得程序每一个语句至少都能被执行一次。 路径覆盖：使程序中所有的可能的路径都至少经历一次。 判定覆盖：保证程序中每个判断的每个取值分支（T或F）至少经历一次。 条件覆盖：保证程序中每个判断的每个条件的可能取值至少执行一次。 判断-条件覆盖：使判断中每个条件的所有可能取值至少执行一次，同时每个判断的所有可能取值分支至少执行一次。 逻辑覆盖强度依次是：语句覆盖路径覆盖判定覆盖条件覆盖判断-条件覆盖 二级ACCESS—软件设计及软件工程基础 黑盒测试（功能测试） 将软件看成黑盒子，不考虑程序内部细节、结构和实现方式，仅仅测试软件的基本功能是否满足需要。 黑盒测试主要用于软件的确认测试。 根据程序的功能说明来设计测试用例，基本设计方法有 等价类划分法：典型黑盒测试方法，将程序的所有可能的输入数据划分成若干部分（及若干等价类），然后从每个等价类中选取数据作为测试用例。 边界值分析法：它是对各种输入、输出范围的边界情况设计测试用例的方法。 错误推测法：人们可以靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的用例。 3.4 软件测试—黑盒测试（P90） 二级ACCESS—软件设计及软件工程基础 软件测试分四个步骤：单元测试、集成测试、确认测试（验收测试）、系统测试。 单元测试：对软件的最小单位—模块进行测试，目的是发现各模块内部可能存在的各种错误。 集成测试：将模块组装起来后进行测试，主要目的是发现与接口有关的错误。 确认测试：用户根据合同进行，确认系统功能和性能的可接受性。 系统测试：将软件系统与硬件、外设及其他元素结合在一起，对整个软件系统进行测试，发现软件与系统定义不符合或与之矛盾的地方。 3.4 软件测试—基本步骤（P93） 二级ACCESS—软件设计及软件工程基础 3.4 软件测试—基本步骤 单元测试 测试对象：对软件的最小单位—模块进行测试。 目的：发现各模块内部可能存在的各种错误。 测试用例设计：根据程序的内部结构，其依据是详细设计说明书和源程序。 测试技术：通常以白盒测试为主，辅之以黑盒测试