软件测试期末复习要点整理

黑盒测试指测试人员通过各种输入和观察软件的各种输出结果来发现软件的缺陷，而不关心程序具体如何实现的一种测试方法。

集成测试又叫组装测试，通常在单元测试的基础上，将所有程序模块进行有序的、递增的测试。重点测试不同模块的接口部分。

组合覆盖：通过执行足够多的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。 满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。

软件可靠性定义为在某个给定时间间隔内，程序按照规格说明成功运行的概率。

1983年美国IEEE计算机学会对“软件可靠性”做出了明确定义，此后该定义被美国标准化研究所接受为国家标准，1989年我国也接受该定义为国家标准。该定义包括两方面的含义： （1）在规定的条件下，在规定的时间内，软件不引起系统失效的概率； （2）在规定的时间周期内，在所述条件下程序执行所要求的功能的能力； 其中的概率是系统输入和系统使用的函数，也是软件中存在的故障的函数，系统输入将确定是否会遇到已存在的故障（如果故障存在的话）。

符合以上任意一种情况，即为软件缺陷。

测试用例，英文名为TestCase，缩写为TC，指的是在测试执行之前设计的一套详细的测试方案，包括测试环境、测试步骤、测试数据和预期结果。

当测试人员采用变异技术来评价测试集的充分性或是增强测试集时，这种活动就被称为是变异测试。

白盒测试又叫做结构测试，把程序看成装在一个透明的白盒子里，按照程序内部的逻辑测试程序，检测程序中的主要执行通路是否都能按预定要求正确工作。

回归测试是指软件被修改后重新进行的测试，如重复执行上一个版本测试时的用例，是为了保证对软件所做的修改没有引入新的错误而重复进行的测试。

检查软件能否在不同组合的环境下正常运行，或者软件之间能否正常交互和共享信息。软件兼容性是衡量软件好坏的重要指标之一。

第三方测试主要是指由开发者和用户以外的第三方进行的软件测试，其目的是为了保证测试的客观性。

第三方定义：

冒烟测试是指在对一个新版本进行系统大规模的测试之前，先验证一下软件的基本功能是否实现，是否具备可测试性。

确认测试又称有效性测试。有效性测试是在模拟的环境下，运用黑盒测试的方法，验证被测软件是否满足需求规格说明书列出的需求。

验收测试指按照项目任务书或合同、供需双方约定的验收依据文档进行的对整个系统的测试与评审，决定是否接收或拒收系统。

测试软件是否达到需求规格说明中规定的各类性能指标，并满足相关的约束和限制条件。

对系统不断施加压力的测试，通过确定一个系统的瓶颈或者不能接收的性能点，获得系统能提供的最大服务级别的测试。

通过在被测系统上不断加压，直到性能指标达到极限，例如“响应时间”超过预定指标或某种资源已经达到饱和状态。

测试软件在没有授权的内部或者外部的用户的攻击或者恶意的破坏时如何进行处理，是否能保证软件和数据的安全。

自动化测试就是通过测试工具或其他手段，按照测试工程师的预定计划对软件产品进行自动化的测试。

软件质量保证是贯穿软件项目整个生命周期的有计划和有系统的活动，经常针对整个项目质量计划执行情况进行评估，检查和改进，向管理者、顾客或其他方提供信任，确保项目质量与计划保持一致。

逻辑覆盖是一种以程序内部逻辑结构为依据的用例设计方法，包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等几种覆盖强度各不相同的逻辑覆盖形式。 图1 软件测试分类

（1）单元测试内容：

（2）测试的方法是为被测试模块编写驱动模块和桩模块来实现被测试单元的可运行。通过驱动模块来模拟被测试模块的上级调用模块，以上级模块调用被测模块的格式驱动被测模块，接收被测模块的测试结构并输出。桩模块则用来代替被测试模块所调用的模块。它的作用是返回被测模块所需的信息。

图 2 bug综合评价模型

测试过程中发现的bug，测试人员对其中的bug进行发现、筛选、加权，可以得到最后的一个bug评估模型。

白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化。

（1）语句覆盖每条语句至少执行一次。

（2）判定覆盖每个判定的每个分支至少执行一次。

（3）条件覆盖每个判定的每个条件应取到各个可能的值。

（4）判定/条件覆盖的同时满足判定覆盖条件覆盖

（5）条件组合覆盖每个判定中各条件的每一种组合至少出现一次。

（6）路径覆盖使程序中每一条可能的路径至少执行一次。

（1）软件测试要经过的步骤

单元测试→集成测试→系统测试→验收测试

（2）关系

软件开发是一个自顶向下、逐步细化的过程，而测试过程是依相反顺序自底向上，逐步集成的过程。它对每个程序模块进行单元测试，消除程序模块内部逻辑和功能上的错误和缺陷；对照软件设计进行集成测试，检测和排除子系统或系统结构上的错误；对照需求，进行确认测试；最后从系统全体出发，运行系统，看是否能够满足要求。软件测试与软件开发各阶段的关系如下图所示： 图 3 软件测试与软件开发各阶段的关系

（1）完全测试程序是不可能的

（2） 软件测试是有风险的

（3） 测试无法显示隐藏的软件故障

（4）存在的故障数量与发现的故障数成正比

（5）杀虫剂现象

（6）并非所有软件故障都能修复

（7）一般不要丢弃测试用例

（8）应避免测试自己编写的程序

（9）软件测试是一项复杂且具有创造性的和需要高度智慧的挑战性任务

类别描述缺陷所属的类型，以便查找对应开发人员，以及后期缺陷分析。类别通常可以分为以下几种情况：

表 1 软件缺陷类型

图4 测试自动化的基本结构

（1）基于测试阶段的原则

（2）基于测试用例的原则

（3）基于缺陷收敛趋势及缺陷修复率原则

（4）基于验收测试的原则

（5）基于覆盖率的原则

（6）软件项目暂停或终止，则测试活动也相应暂停或终止

（1）交流不充分及沟通不畅

（2）软件需求的变更

（3）软件开发工具的缺陷

（4）软件的复杂性

（5）软件项目的时间压力

（6）程序开发人员的错误

（7）软件项目文档的缺乏

（1） 测试需求的分析和确定

（2） 测试计划

（3）测试设计

（4）测试执行

（5）测试记录和缺陷跟踪

（6）回归测试

（7）测试总结报告

一般地，测试人员识别缺陷，其初始状态是“新建”；

项目经理或技术领导分析缺陷，分配给合适的开发人员来解决，状态流转为“待解决”；

指定的工程师解决缺陷，将其状态跟踪到“已解决”；

测试人员回归该缺陷，如果回归通过，则关闭缺陷，如果回归不通过，则重新打开该缺陷。 图 5 软件缺陷生命周期(PPT) 图 6 软件缺陷生命周期（课本）

（1）自动化测试的好处

对程序回归测试更方便，尤其是程序修改比较频繁的情况。

建立可靠、重复的测试，减少人为失误，更好地利用资源。

增强测试质量和覆盖率。

执行手工测试不可能完成的任务。

（2）自动化测试的局限性

不能取代手工测试。

发现的问题和缺陷比手工测试要少。

不能用于测试周期很短的项目、不能保证100%的测试覆盖率、不能测试不稳定的软件和软件易用性等。

功能测试是黑盒测试的一方面，它检查实际软件的功能是否符合用户的需求。

功能测试包含：

图 6 测试用例的范例

等价类划分 边界值划分 错误推测法 因果图法 正交表试验法 场景图 功能图

等价类划分就是解决如何选择适当的数据子集代表整个数据集的问题，通过降低测试的数目去实现“合理的”覆盖，覆盖了更多的可能数据，以发现更多的软件缺陷。

等价类划分法是一种典型的、重要的黑盒测试方法，它将程序所有可能的输入数据（有效的和无效的）划分成若干个等价类。然后从每个部分中选取具有代表性的数据作为测试用例进行合理的分类，测试用例由有效等价类和无效等价类的代表组成，从而保证测试用例具有完整性和代表性。利用这一方法设计测试用例可以不考虑程序的内部结构，以需求规格说明书为依据，选择适当的典型子集，认真分析和推敲说明书中的各项需求，特别是功能需求，尽可能多地发现错误。等价类划分法是一种系统性的确定要输入的测试条件的方法。

等价类是指某个输入域的子集合。

等价类划分为：

示例：计算两个1～100之间整数的和。

先考虑输入数据的数据类型（合法和非法的）

再考虑数据范围（合法类型中的合法区间和非法区间）

画出示意图，区分等价类

为每一个等价类编号

从一个等价类中选择一个测试数据构造测试用例

有一个档案管理系统，要求用户输入以年月表示的日期。

条件：日期限定在1990年1月~2049年12月，并规定日期由6位数字字符组成，前4位表示年，后2位表示月。

测试用例：

a. 划分等价类并编号,下表为等价类划分的结果: b. 设计测试用例，以便覆盖所有的有效等价类。表4列出了3个有效等价类，编号分别为①、⑤、⑧，设计的测试用例如下： c. 为每一个无效等价类设计一个测试用例，设计结果如下：

程序的很多错误发生在输入或输出范围的边界上，因此针对各种边界情况设置测试用例，可以发现不少程序缺陷。

边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。

输入要求是1 ～ 100之间的整数，因此自然产生了1和100两个边界。在设计测试用例的时，要重点考虑这两个边界问题。

根据边界值方法，测试用例修改如下：

文本框接受字符个数，比如用户名长度，密码长度等。

报表的第一行和最后一行。

数组元素的第一个和最后一个。

循环的第 1 次、第 2 次和倒数第 2 次、最后一次。

边界值分析法作为测试方法的一种，在测试范围的边界值上进行考虑，相对来说是比较简便易行的，生成的测试数据成本也很低。但对于整个测试过程来说，它的测试用例不够充分，也不能发现测试变量之间的依赖关系。边界值分析法产生的测试用例不考虑含义和性质，因此只能作为初步测试用例使用。

某保险公司保费计算方式为投保额*保险率，保险率又依点数不同而有差别，10点以上费率为0.6%，10点以下费率为0.1%。保险率和以下参数有关：

注：其中前三个为必填项，最后一个为选填项。

（1）考虑等价类

a. 确定输入

b. 确定每个输入的输入条件

年龄：非负整数、0-150、必填

性别：字符组合、区分大小写、MALE或者 FEMALE、必填

婚姻：字符组合、已婚或者未婚、必填

抚养人数：正整数、1-9、选填

c. 对每个输入的输入条件进行等价类划分

（2）针对每个输入设计数据覆盖等价类

（3）设计用例覆盖多个输入的有效值和无效值

因果图法比较适合输入条件比较多的情况，测试所有的输入条件的排列组合。所谓的原因就是输入，所谓的结果就是输出。

利用因果图导出测试用例需要经过以下几个步骤:

分析程序规格说明的描述中，哪些是原因，哪些是结果。原因常常是输入条件或输入条件的等价类，而结果是输出条件。

分析程序规格说明的描述中的语义内容，并将其表示成连接各个原因与各个结果的“因果图”。

标明约束条件。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。

把因果图转换成判定表（决策表）。

为判定表中的每一列表示的情况设计测试用例。

恒等：若原因出现，则结果出现；若原因不出现，则结果不出现。

非（～）：若原因出现，则结果不出现；若原因不出现，则结果出现。

或（∨）：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现。

与（∧）：若几个原因都出现，结果才出现；若其中有一个原因不出现，则结果不出现。

E（互斥）：表示两个原因不会同时成立，两个中最多有一个可能成立

I（包含）：表示三个原因中至少有一个必须成立

O（惟一）：表示两个原因中必须有一个，且仅有一个成立

R（要求）：表示两个原因，a出现时，b也必须出现，a出现时，b不可能不出现

M（屏蔽）：两个结果，a为1时，b必须是0，当a为0时，b值不定

有一个处理单价为2.5元的盒装饮料的自动售货机软件。若投入2.5元硬币，按“可乐”、“啤酒”、或“奶茶”按钮，相应的饮料就送出来。若投入的是3元硬币，在送出饮料的同时退还5角硬币。

分析这一段说明，我们可列出原因和结果：

原因(输入)： ① 投入2.5元硬币； ② 投入3元； ③ 按“可乐”按钮； ④ 按“啤酒”按钮； ⑤ 按“奶茶”按钮。

中间状态： ① 已投币；②已按钮

结果(输出)： ① 退还5角硬币； ② 送出“可乐”饮料； ③ 送出“啤酒”饮料； ④ 送出“奶茶”饮料；

a. 根据原因和结果,可以设计这样一个因果图：

b. 因果图转换为判定表：

c. 根据判定表设计测试用例

正交试验设计是研究多因素多水平的又一种设计方法，它是根据正交性从全面试验中挑选出部分有代表性的点进行试验，这些有代表性的点具备了“均匀分散、齐整可比”的特点，正交试验是一种高效率、快速、经济的实验设计方法。

利用正交实验设计方法设计测试用例， 可以控制生成的测试用例数量；设计的测试用例也具有一定的覆盖率和代表性。

正交试验设计法，是一种成对测试交互的系统的统计方法。它提供了一种能对所有变量对的组合进行典型覆盖（均匀分布）的方法。可以从大量的试验点中挑出适量的、有代表性的点，利用“正交表”，合理的安排试验的一种科学的试验设计方法。

行数：正交表中的行的数量，即试验的次数，也是通过正交实验法设计的测试用例的个数。

因素数：正交表中列的数量，即要测试的功能点。

水平数：任何单个因素能够取得的值的最大个数，即要测试功能点的取值个数。

正交表的形式：L行数(水平数因素数) 如：L8(27)

有哪些因素（功能点）

每个因素有哪几个水平（功能点的取值）

选择一个合适的正交表

把变量的值映射到表中

把每一行的各因素水平的组合作为一个测试用例

加上你认为可疑且没有在表中出现的组合

考虑因素（功能点）的个数

考虑因素水平（功能点的取值）的个数

考虑正交表的行数

取行数最少的一个

因素数(变量)、水平数(变量值)相符：因素数与水平数刚好符合正交表。

因素数不相同：如果因素数不同的话，可以采用包含的方法，在正交表公式中找到包含该情况的公式，如果有N个符合条件的公式，那么选取行数最少的公式。

水平数不相同：采用包含和组合的方法选取合适的正交表公式。

视图选项卡上的“显示/隐藏”组中有3个可用选项：

有3个因素：网格线、编辑栏、标题

每个因素有2个水平：选与不选

a. 选择正交表的分析

表中的因素数>=3；

表中至少有3个因素数的水平数>=2；

行数取最少的一个。

从正交表公式中开始查找，结果为：L4(23)

利用正交表设计测试用例，我们得到的测试用例个数是n=3*(2-1)+1=4（这个公式就是(因素数*(最大水平数-1)+1))，对于三因素两水平的刚好有L4(2^3)的正交表可以套用。

b. 正交表变量的映射

c. 测试用例

增补测试用例

测试用例的减少数：8 → 5

根据PowerPoint的打印功能的描述设计测试用例，功能描述如下：

打印范围分：全部、当前幻灯片、给定范围

打印内容分：幻灯片、讲义、备注页、大纲视图

打印颜色/灰度分：颜色、灰度、黑白

打印效果分：幻灯片加框、幻灯片不加框

a. 案例分析

根据以上提到的功能说明，构造因子状态表，得到因子状态：

将中文字转换成字母的因子状态表： 选择正交表的分析：

表中的因素数>=4；

表中至少有4个因素数的水平数>=2；

行数取最少的一个。

从正交表公式中开始查找，结果为： L16(45)

注：此案例中有四个被测对象，每个被测对象的状态都不一样。

b. 正交表

c. 用字母代替的正交表

通过分析：第5列没有意义可以删掉，由于四个因素里有三个的水平值小于3，所以从第13行到16行的测试用例可以忽略。

d. 测试用例

用例场景是用来描述流经用例路径的过程，这个过程从开始到结束遍历用例中所有基本流和备选流。

算法流程图是针对程序的内部结构的，而黑盒测试的流程图是针对整个系统业务功能流程的。

流程图法的步骤：

逻辑覆盖法（逻辑驱动测试）

基本路径测试方法

控制流图（可简称流图）是对程序流程图进行简化后得到的，它可以更加突出的表示程序控制流的结构。

控制流图中包括两种图形符号：节点和控制流线。

节点由带标号的圆圈表示，可代表一个或多个语句、一个处理框序列和一个条件判定框（假设不包含复合条件）。

控制流线由带箭头的弧或线表示，可称为边。它代表程序中的控制流。 其中，包含条件的节点被称为判定节点（也叫谓词节点），由判定节点发出的边必须终止于某一个节点，由边和节点所限定的范围被称为区域。

对于复合条件，则可将其分解为多个单个条件，并映射成控制流图。

a. 概述

环形复杂度也称为圈复杂度，它是一种为程序逻辑复杂度提供定量尺度的软件度量。

环形复杂度的应用——可以将环形复杂度用于基本路径方法，它可以提供：程序基本集的独立路径数量；确保所有语句至少执行一次的测试数量的上界。

独立路径是指程序中至少引入了一个新的处理语句集合或一个新条件的程序通路。采用流图的术语，即独立路径必须至少包含一条在本次定义路径之前不曾用过的边。

测试可以被设计为基本路径集的执行过程，但基本路径集通常并不唯一。

b. 计算环形复杂度的方法

环形复杂度以图论为基础，为我们提供了非常有用的软件度量。可用如下三种方法之一来计算环形复杂度：

控制流图中区域的数量对应于环形复杂度。

给定控制流图G的环形复杂度—V(G)，定义为V(G) = E-N+2. 其中，E是控制流图中边的数量，N是控制流图中的节点数量。

给定控制流图G的环形复杂度—V(G)，也可定义为V(G) = P+1. 其中，P是控制流图G中判定节点的数量。

图矩阵是控制流图的矩阵表示形式。

图矩阵是一个方形矩阵，其维数等于控制流图的节点数。矩阵中的每列和每行都对应于标识的节点，矩阵元素对应于节点间的边。

通常，控制流图中的结点用数字标识，边则用字母标识。如果在控制流图中从第 i 个结点到第 j 个结点有一个标识为 x 的边相连接，则在对应图矩阵的第 i 行第 j 列有一个非空的元素 x 。

根据上图给出的程序流程图，完成以下要求：

（1）画出相应的控制流图。

（2）计算环形复杂度。

（3）给出相应的图矩阵。

（4）找出程序的独立路径集合。

对于复合条件，则可将其分解为多个单个条件，并映射成控制流图。

测试覆盖率：用于确定测试所执行到的覆盖项的百分比。其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。

测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高效果越好。但覆盖率不是目标，只是一种手段。

测试覆盖率包括功能点覆盖率和结构覆盖率：

功能点覆盖率大致用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。

结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等等。

根据覆盖目标的不同，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。

语句覆盖：选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。

判定覆盖：通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值， 也就是使程序中的每个取“真”分支和取“假”分支至少均经历一次，也称为“分支覆盖”。

条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。

判定/条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。

——满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖。

组合覆盖：通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。

——满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。

路径覆盖：设计足够多的测试用例，要求覆盖程序中所有可能的路径。

要实现DoWork函数的语句覆盖，只需设计一个测试用例就可以覆盖程序中的所有可执行语句。

测试用例输入为：{ x=4、y=5、z=5 }

程序执行的路径是：abd

分析：语句覆盖可以保证程序中的每个语句都得到执行，但发现不了判定中逻辑运算的错误，即它并不是一种充分的检验方法。例如在第一个判定((x>3)&&(z5错误写为y3)&&(z3 取真值记为T1，取假值记为-T1

条件z5) )：

条件x==4 取真值记为T3，取假值记为-T3

条件y>5 取真值记为T4，取假值记为-T4

根据条件覆盖的基本思想，要使上述4个条件可能产生的8种情况至少满足一次，设计测试用例如下：

分析：上面这组测试用例不但覆盖了4个条件的全部8种情况，而且将两个判定的4个分支b、c、d、e也同时覆盖了，即同时达到了条件覆盖和判定覆盖。

说明：虽然前面的一组测试用例同时达到了条件覆盖和判定覆盖，但是，并不是说满足条件覆盖就一定能满足判定覆盖。如果设计了下表中的这组测试用例，则虽然满足了条件覆盖，但只是覆盖了程序中第一个判定的取假分支c和第二个判定的取真分支d，不满足判定覆盖的要求。

判定/条件覆盖实际上是将判定覆盖和条件覆盖结合起来的一种方法，即：设计足够的测试用例，使得判定中每个条件的所有可能取值至少满足一次，同时每个判定的可能结果也至少出现一次。

根据判定/条件覆盖的基本思想，只需设计以下两个测试用例便可以覆盖4个条件的8种取值以及4个判定分支。

分析：从表面上看，判定/条件覆盖测试了各个判定中的所有条件的取值，但实际上，编译器在检查含有多个条件的逻辑表达式时，某些情况下的某些条件将会被其它条件所掩盖。因此，判定/条件覆盖也不一定能够完全检查出逻辑表达式中的错误。

例如：对于第一个判定(x>3)&&(z3和z3为假，则编译器将不再检查z5)来说，若条件x4满足，就认为该判定为真，这时将不会再检查y>5，那么同样也无法发现这个条件中的错误。

组合覆盖的目的是要使设计的测试用例能覆盖每一个判定的所有可能的条件取值组合。

对DoWork函数中的各个判定的条件取值组合加以标记：

[规则3] 对外部输入变量赋值，使其在每一个测试用例中均有不同的值与符号，并与同一组测试用例中其他变量的值与符号不同。

——这是为了检测程序语句中的错误，如应该引用某一变量而错成引用另一个常量。

基于LCSAJ与路径的关系，提出了层次LCSAJ覆盖准则。它是一个分层的覆盖准则，可以概括的描述为：

第一层 — 语句覆盖。

第二层 — 分支覆盖。

第三层 — LCSAJ覆盖，即程序中的每一个LCSAJ都至少在测试中经历过一次。

第四层 — 两两LCSAJ覆盖，即程序中的每两个相连的LCSAJ组合起来在测试中都要经历一次。

第n+2层 — 每n个首尾相连的LCSAJ组合在测试中都要经历一次。

在实施测试时，若要实现上述的层次LCSAJ覆盖，需要产生被测程序的所有LCSAJ。

为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。我们通常采用控制流图的边（弧）序列和节点序列表示某一条具体路径，更为概括的表示方法为：

弧a和弧b相乘，表示为ab，它表明路径是先经历弧a，接着再经历弧b，弧a和弧b是先后相接的。

弧a和弧b相加，表示为a+b，它表明两条弧是“或”的关系，是并行的路段。

路径数的计算：

在路径表达式中，将所有弧均以数值1来代替，再进行表达式的相乘和相加运算，最后得到的数值即为该程序的路径数。

路径测试就是从一个程序的入口开始，执行所经历的各个语句的完整过程。从广义的角度讲，任何有关路径分析的测试都可以被称为路径测试。

完成路径测试的理想情况是做到路径覆盖，但对于复杂性大的程序要做到所有路径覆盖（测试所有可执行路径）是不可能的。

在不能做到所有路径覆盖的前提下，如果某一程序的每一个独立路径都被测试过，那么可以认为程序中的每个语句都已经检验过了，即达到了语句覆盖。这种测试方法就是通常所说的基本路径测试方法。

基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，再从该基本集设计测试用例。基本路径测试方法包括以下4个步骤：

画出程序的控制流图。

计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的最小数目。

导出基本路径集，确定程序的独立路径。

根据（3）中的独立路径，设计测试用例的输入数据和预期输出。

画出控制流图：

计算环形复杂度：

导出独立路径（用语句编号表示）

设计测试用例：

1、使用基本路径测试方法，为以下程序段设计测试用例。

2、在三角形问题中，要求输入三个边长：a，b，c。当三边不可能构成三角形时提示错误，可构成三角形时计算三角形的周长。若是等腰三角形打印“等腰三角形”，若是等边三角形，则打印“等边三角形”。画出相应的程序流程图，并采用基本路径测试方法为该程序设计测试用例。

从本质上说，循环测试的目的就是检查循环结构的有效性。

通常，循环可以划分为简单循环、嵌套循环、串接循环和非结构循环4类。

a. 测试简单循环。设其循环的最大次数为n ，可采用以下测试集：

跳过整个循环；

只循环一次；

只循环两次；

循环 m 次，其中m