一种结构测试，被测对象是源程序，以程序的内部逻辑为基础设计测试用例。
4. 逻辑覆盖是白盒法设计测试用例的技术，根据程序内部逻辑覆盖程度设计测试用
例。要求设计的测试用路覆盖程度高或覆盖最具代表性的路径。按逻辑覆盖程度不同，分为：
语句覆盖：设计足够的测试用例，是被测程序中每个语句至少执行一次。 判定覆盖：设计足够的测试用例，使被测程序中每个判定表达式至少获得一次“真”
或“假”值，从而使程序的每个分支都通过一次。也叫分支覆盖。
条件覆盖：设计足够的测试用例，使判定表达式中的每个条件的各种可能的值至少出现一次。
判定/条件覆盖：设计足够的测试用例，使得判定表达式中的每个条件的所有可能取
值至少出现一次，并使每个判定表达式所有可能的结果也至少出现一次。
条件组合覆盖：设计足够的测试用例，使得每个判定表达式中条件的各种可能的值
的组合都至少出现一次。
路径覆盖：设计足够的测试用例，覆盖被测程序中所有可能的路径。
它们的区别在于：逻辑覆盖程度不同、发现错误能力强弱不同、关注点不同、执行路径情况不同。
5． 黑盒测试是把测试对象看成一个黑盒子，测试人员完全不考虑程序的内部结构和处
理过程，只在软
件的接口处进行测试，依据需求规格说明书，检查程序是否满足功能要求，又称功能测试或称数据驱动测试。其测试用例设计技术包括等价类划分、边界值分析、错误推测和因果图。
37
等价类划分：只用输入信息设计测试用例。优点是用少量有代表性的例子代替大量测
试目标的系统的例子，提高测试效率。缺点是不注意选择某些高效的、能发现更多错误的测试用例，孤立考虑各个输入数据的测试功能，没考虑多个输入数据的组合引起的错误。
边界值分析：一般和等价类划分结合，将测试边界情况作为重点，考虑输入、输出数
据的边界情况。优点是边界情况检查比较高效，可查出更多错误。缺点是孤立考虑各个输入数据的测试功能，没有考虑多个输入数据的组合引起的错误。
错误推测：没有确定步骤，根据经验和知觉设计测试用例。
因果图：通过画因果图，把用自然语言描述的功能说明转换成判定表，最后为判定表
的每一列设计测试用例。优点是有效检测输入条件的各种组合可能引起的错误。
6. 用白盒法或黑盒法设计测试用例各有所长，关键是测试用例的选择。实际测试中，
先用黑盒法设计基本的测试用例，再用白盒法补充一些必要的测试用例。
7. 软件测试是一个规则的过程，包括测试设计、测试执行、测试结果比较等。 8. 单元测试：指对源程序中每一个程序单元进行测试，检查各个模块是否正确实现规
定的功能，从而发现模块在编码或算法中的错误。涉及编码和详细设计文档。
主要目标：检查各个模块是否正确实现规定功能，发现模块在编码中或
算法中的错误。
测试内容：集中于单个模块的功能和结构检测，包括模块接口、局部数
据结构、重要
38
执行路径、错误处理、边界检测。
测试方法：总使用白盒测试法，为被测模块设计驱动模块和桩模块。
9. 集成测试：指在单元测试基础上，将所有模块按照设计要求组装成一个完整的系统
进行的测试，也称组装测试或联合测试。需要考察模块间接口和各模块间的联系。主要用于发现设计阶段产生的错误，涉及详细设计文档和概要设计文档。
主要目标：检查和设计相关的软件体系结构的有关问题。
测试内容：集中于模块组合的功能和软件结构检测，主要包括模块组装
中可能出现的问题，即数据穿过接口可能丢失、一个模块可能破坏另一个模块的内容、子功能组装可能不等于主功能、全程数据结构问题、误差积累问题。
测试方法：渐增式测试：指逐个把未经过测试的模块组装到已经过测试
的模块上，进行集成测试。每加入一个新模块进行一次集成测试，重复此过程直到程序组装完毕。其组装模块的方法有：自顶向下结合（适用于顶层模块）和自底向上结合（适用于底层模块）。
非渐增式测试：指首先对每个模块分别进行单元测试，再把
所有模块按设计要求组装在一起进行测试。
10.
确认测试：指检查软件功能和性能是否与需求规格说明书中确定的指标相符合，又称有效性测试。
用于发现需求分析阶段产生的错误，涉及软件需求规格说明书和用户手
39
册。 主要目标：检查已实现的软件是否满足需求规格说明书中确定的各种需求。 测试内容：集中于论证软件需求的可追溯性，主要包括测试软件功能和性能是否满足于软件需求一致、测试软件配置的所有程序与文档是否正确完整而且一致。 测试方法：总是用黑盒测试法。 11. 软件的测试步骤： 模块单元设计信息 测试 其他系统元素 确认 通过 三种测试与软件开发各阶段间的关系图： 需求分析 概要设计 修改 详细设计 编码 确认测试 集成测试 单元测试 软件需求 单元集成测试 确认系统 测试 单元测试 已测模块 40 已集成的软件测试 确认的软件测试 可支付的软件