第四章白盒测试及其用例的设计ppt课件

四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物第4章 白盒测试及其用例的设计4.1 白盒测试方法白盒测试方法白盒测试方法白盒测试方法4.2 程序结构分析程序结构分析程序结构分析程序结构分析4.3 覆盖测试覆盖测试覆盖测试覆盖测试4.4 路径测试路径测试路径测试路径测试4.5 其他白盒测试方法其他白盒测试方法其他白盒测试方法其他白盒测试方法4.6 程序插桩程序插桩程序插桩程序插桩第第4章章 白盒测试及其用例的设计白盒测试及其用例的设计4.1 白盒测试方法白盒测试方法1四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物本章教学目标理论环节理论环节学习理解白盒测试方法的基本概念学习理解白盒测试的覆盖理论学习掌握白盒测试的路径表达学习掌握白盒测试的基本路径测试法实践环节实践环节通过案例运用学习掌握覆盖问题的解决方法运用基本路径测试方法进行实际程序测试本章教学目标理论环节本章教学目标理论环节2四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物白盒测试是把测试对象看做一个透明的盒子，它允许白盒测试是把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。或选择测试用例，对程序所有逻辑路径进行测试。白盒测试也称结构测试或逻辑驱动测试，是针对被测白盒测试也称结构测试或逻辑驱动测试，是针对被测白盒测试也称结构测试或逻辑驱动测试，是针对被测白盒测试也称结构测试或逻辑驱动测试，是针对被测单元内部是如何进行工作的测试。它根据程序的控制单元内部是如何进行工作的测试。它根据程序的控制单元内部是如何进行工作的测试。它根据程序的控制单元内部是如何进行工作的测试。它根据程序的控制结构设计测试用例，主要用于软件或程序验证。结构设计测试用例，主要用于软件或程序验证。结构设计测试用例，主要用于软件或程序验证。结构设计测试用例，主要用于软件或程序验证。白盒测试是把测试对象看做一个透明的盒子，它允许测试人员利用程白盒测试是把测试对象看做一个透明的盒子，它允许测试人员利用程3四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.1 白盒测试方法为什么要进行白盒测试？为什么要进行白盒测试？假设此时开发工作已结束，程假设此时开发工作已结束，程序送交到测试组，没有人知道代码序送交到测试组，没有人知道代码中有一个潜在的被中有一个潜在的被 0 0 除的错误。若除的错误。若测试组采用的测试用例的执行路径测试组采用的测试用例的执行路径没有同时经过没有同时经过x=0 x=0和和y=5/xy=5/x进行测试，进行测试，显然测试工作似乎非常完善，测试显然测试工作似乎非常完善，测试用例覆盖了所有执行语句，也没有用例覆盖了所有执行语句，也没有被被 0 0 除的错误发生。除的错误发生。4.1 白盒测试方法为什么要进行白盒测试？白盒测试方法为什么要进行白盒测试？假假4四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一种穷举路径的测试方法。即使每条路径都测试过了，仍然可能存在即使每条路径都测试过了，仍然可能存在错误：错误：穷举路径测试无法检查出程序本身是否违反了设计规范，即程序是否是一个错误的程序。穷举路径测试不可能查出程序因为遗漏路径而出错。穷举路径测试发现不了一些与数据相关的错误。白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一5四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物采用白盒测试方法必须遵循以下几条原则：采用白盒测试方法必须遵循以下几条原则：保证一个模块中的所所所所有有有有独独独独立立立立路路路路径径径径至至至至少少少少被被被被测测测测试试试试一次一次一次一次。所有逻辑值均需测试真真真真 (true)(true)和和和和假假假假 (false)(false)两种情况。检查程序的内部数据结构，保证其结构的有效性。在上下边界及可操作范围内运行所有循环。采用白盒测试方法必须遵循以下几条原则：采用白盒测试方法必须遵循以下几条原则：7四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物白白盒盒测测试试主要是检查程序的内部结构、逻辑、循环和路径。常常用用测测试试用用例例设设计计方方法法有：有：逻辑覆盖法（逻辑驱动测试）逻辑覆盖法（逻辑驱动测试）逻辑覆盖法（逻辑驱动测试）逻辑覆盖法（逻辑驱动测试）基本路径测试方法基本路径测试方法基本路径测试方法基本路径测试方法程序插桩程序插桩程序插桩程序插桩白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试8四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.2 程序结构分析4.2.1 控制流图控制流图4.2.2 环形复杂度环形复杂度4.2.3 图矩阵图矩阵4.2 程序结构分析程序结构分析4.2.1 控制流图控制流图9四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.2.1 控制流图控制流图（可简称流图）是对程序流程图进行简化后得到的，它可以更加突出的表示程序控制流的结构。控制流图中包括两种图形符号：节点和控制流线。节点由带标号的圆圈表示节点由带标号的圆圈表示，可代表一个或多个语句、一个处理框序列和一个条件判定框（假设不包含复合条件）。控制流线由带箭头的弧或线表示，可称为边控制流线由带箭头的弧或线表示，可称为边。它代表程序中的控制流。常见结构的控制流图常见结构的控制流图 对于复合条件，则可将其分解为多个单个条件，并映射成控制流图。具有复合条件的控制流图具有复合条件的控制流图4.2.1 控制流图控制流图（可简称流图）是对程序流程图进控制流图控制流图（可简称流图）是对程序流程图进10图4-1 控制流图图图4-1 控制流图控制流图12四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物图图4-2 复合条件的控制流图复合条件的控制流图图图4-2 复合条件的控制流图复合条件的控制流图13四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.2.2 环形复杂度环形复杂度也称为圈复杂度，它是一种为程序逻辑复杂度提供定量尺度的软件度量。环形复杂度的应用可以将环形复杂度用于基本路径方法，它可以提供：程序基本集的程序基本集的独立路独立路独立路独立路径径径径数量数量；确保所有语句至少执行一次的测试数量确保所有语句至少执行一次的测试数量的上界的上界。独立路径是指程序中至少引入了一个新的处理语句集独立路径是指程序中至少引入了一个新的处理语句集独立路径是指程序中至少引入了一个新的处理语句集独立路径是指程序中至少引入了一个新的处理语句集合或一个新条件的程序通路。合或一个新条件的程序通路。合或一个新条件的程序通路。合或一个新条件的程序通路。采用流图的术语，即独立路径必须至少包含一条在本次定义路径之前不曾用过的边。测试可以被设计为基本路径集的执行过程，但基本路径集通常并不唯一。4.2.2 环形复杂度环形复杂度也称为圈复杂度，它是一种为环形复杂度环形复杂度也称为圈复杂度，它是一种为14四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物计算环形复杂度的方法环形复杂度以图论为基础，为我们提供了非常有用的软件度量。可用如下三种方法之一来计算环形复杂度：控制流图中区域的数量对应于环形复杂度。给定控制流图G的环形复杂度V(G)，定义为 V(G)=E-N+2 其中，E是控制流图中边的数量，N是控制流图中的节点数量。给定控制流图G的环形复杂度V(G)，也可定义为 V(G)=P+1 其中，P是控制流图G中判定节点的数量。计算环形复杂度的方法环形复杂度以图论为基础，为我们提供了非常计算环形复杂度的方法环形复杂度以图论为基础，为我们提供了非常15 导出独立路径集：导出独立路径集：路径1：5-15(iRecordNum=0)路径2：5-7-8-14-5-15 (iRecordNum0,iType=0)路径3：5-7-9-11-14-5-15 (iRecordNum0,iType=1)路径4：5-7-9-13-14-5-15 (iRecordNum0,iType0,iType1)环形复杂度：环形复杂度：V(G)=E-N+2=V(G)=10-8+2=4 orV(G)=P+1 =V(G)=3+1=4 导出独立路径集：导出独立路径集：16四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.2.3 图矩阵图矩阵是控制流图的矩阵表示形式。图矩阵是一个方形矩阵，其维数等于控制流图的节点数。矩阵中的每列和每行都对应于标识的节点，矩阵元素对应于节点间的边。通常，控制流图中的结点用数字标识，边则用字母标识。如果在控制流图中从第 i 个结点到第 j 个结点有一个标识为 x 的边相连接，则在对应图矩阵的第 i 行第 j 列有一个非空的元素 x。4.2.3 图矩阵图矩阵是控制流图的矩阵表示形式。图矩阵图矩阵是控制流图的矩阵表示形式。17节点1(5)2(7)3(8)4(9)5(11)6(13)7(14)8(15)1(5)ab2(7)ce3(8)d4(9)fh5(11)g6(13)i7(14)j8(15)abcdefghij表表4-1 图矩阵图矩阵节点节点123456781ab2ce3d4fh5g6i7j8ab18四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物习题根据左图给出的程序流程图，完成以下要求：（1）画出相应的控制流图。（2）计算环形复杂度。（3）给出相应的图矩阵。（4）找出程序的独立路径集合。c习题根据左图给出的程序流程图，完成以下要求：习题根据左图给出的程序流程图，完成以下要求：c19四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.3 覆盖测试4.3.1 测试覆盖率测试覆盖率测试覆盖率测试覆盖率4.3.2 逻辑覆盖法逻辑覆盖法逻辑覆盖法逻辑覆盖法4.3.3 面向对象的覆盖面向对象的覆盖面向对象的覆盖面向对象的覆盖4.3.4 测试覆盖准则测试覆盖准则测试覆盖准则测试覆盖准则4.3 覆盖测试覆盖测试4.3.1 测试覆盖率测试覆盖率20四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.3.1 测试覆盖率测试覆盖率：用于确定测试所执行到的覆盖项的百分比。其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高效果越好。但覆盖率不是目标，只是一种手段。测试覆盖率包括功能点覆盖率和结构覆盖率：功能点覆盖率大致用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等等。4.3.1 测试覆盖率测试覆盖率：用于确定测试所执行到的覆测试覆盖率测试覆盖率：用于确定测试所执行到的覆21四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物逻辑覆盖是以程序内部的逻辑结构为基础程序内部的逻辑结构为基础的设计测试用例的技术。它属白盒测试。根据覆盖目标的不同，可分为：语句覆盖判定覆盖条件覆盖判定条件覆盖条件组合覆盖路径覆盖4.3.2 逻辑覆盖法逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它22四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖语句覆盖选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。判定覆盖条件覆盖判定条件覆盖条件组合覆盖路径覆盖语句覆盖语句覆盖23四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖判定覆盖判定覆盖通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值，也就是使程序中的每个取“真”分支和取“假”分支至少均经历一次，也称为“分支覆盖分支覆盖分支覆盖分支覆盖”。条件覆盖判定条件覆盖条件组合覆盖路径覆盖语句覆盖语句覆盖24四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖判定覆盖条件覆盖条件覆盖设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。判定条件覆盖条件组合覆盖路径覆盖语句覆盖语句覆盖25四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖判定覆盖条件覆盖判定条件覆盖判定条件覆盖设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。（满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖。）条件组合覆盖路径覆盖语句覆盖语句覆盖26四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖判定覆盖条件覆盖判定条件覆盖条件组合覆盖条件组合覆盖通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。（满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。）路径覆盖语句覆盖语句覆盖27四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖判定覆盖条件覆盖判定条件覆盖条件组合覆盖路径覆盖路径覆盖设计足够多的测试用例，要求覆盖程序中所有可能的路径。语句覆盖语句覆盖28四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物逻辑覆盖法（续）组合覆盖判断/条件覆盖判断覆盖条件覆盖语句覆盖逻辑覆盖法（续）组合覆盖判断逻辑覆盖法（续）组合覆盖判断/条件覆盖判断覆盖条件覆盖语句覆条件覆盖判断覆盖条件覆盖语句覆29int DoWork(int x,int y,int z)int k=0,j=0;if(x3)&(z5)j=x*y+10;/语句块2 j=j%3;/语句块3 return j;int DoWork(int x,int y,int z30四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物X3&z5执行语句块执行语句块3FFTTabdceX3&z3 and z5=x3 and z3 and z5=x=4 and z3 and z5L1(a b d)32四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物L2(a c d)=x3 and z5=x3 or z3 and z5=x=4 and z10 or z 10 and y5 or x3 and y5L2(a c d)33四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物L3(a b e)=x3 and z5=x3 and z5=x3 and z3 and z5=x3 or z5=x3 and x4 and y5 or z10 and x4 and y5L4(a c e)35四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物语句覆盖语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。选择执行路径：选择执行路径：L1(a b d)设计测试用例：设计测试用例：输入：输入：4,6,5 预计输出：预计输出：1 实际输出：实际输出：?如如果果将将第第一一个个条条件件中中的的andand改改为为oror，或或将将第第二二个个条条件件中中的的oror改改为为andand，该测试用例测试不出错误。，该测试用例测试不出错误。语句覆盖可以保证程序中的每个语句都得语句覆盖可以保证程序中的每个语句都得到执行，但发现不了判定中逻辑运算的错到执行，但发现不了判定中逻辑运算的错误，即它并不是一种充分的检验方法。可误，即它并不是一种充分的检验方法。可以说语句覆盖是最弱的逻辑覆盖准则。以说语句覆盖是最弱的逻辑覆盖准则。语句覆盖语句覆盖就是设计若干个测试用例，运行被测程序，使得每语句覆盖语句覆盖就是设计若干个测试用例，运行被测程序，使得每36四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物判定覆盖判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支程序中每个判断的取真分支和取假分支至少经历一次至少经历一次。判定覆盖又称为分支覆盖分支覆盖。选择执行路径：选择执行路径：L1(a b d)L4(a c e)设计测试用例：设计测试用例：输入：输入：4,6,5 覆盖覆盖L1 2,5,5 覆盖覆盖L4 预计输出：预计输出：1,0 实际输出：实际输出：就判定覆盖而言，即使一个布尔表达式含有就判定覆盖而言，即使一个布尔表达式含有多个逻辑表达式，也只需要测试每个布尔表多个逻辑表达式，也只需要测试每个布尔表达式的值为真和假两种情况就可以了。达式的值为真和假两种情况就可以了。判定覆盖判定覆盖就是设计若干个测试用例，运行被测程序，使得程判定覆盖判定覆盖就是设计若干个测试用例，运行被测程序，使得程37四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物判定覆盖分析：上述两个测试用例不仅满足了判定覆盖，同时还做到语句覆盖。从这点看似乎判定覆盖比语判定覆盖比语句覆盖更强一些，但仍然无法确定判定内部条件句覆盖更强一些，但仍然无法确定判定内部条件的错误。的错误。例如把第二个判定中的条件y5错误写为y3)&(z3 取真值记为T1，取假值记为T1 条件z5)：条件x=4 取真值记为T3，取假值记为T3 条件y5 取真值记为T4，取假值记为T4条件覆盖条件覆盖就是设计若干测试用例，在执行被测程序后，要使条件覆盖条件覆盖就是设计若干测试用例，在执行被测程序后，要使40四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物TRUEFALSEX34,6,52,5,5Z54,6,52,5,52,5,15TRUEFALSEX34,6,52,5,5Z3)&(z3和z3为假，则编译器将不再检查z5)来说，若条件x=4满足，就认为该判定为真，这时将不会再检查y5，那么同样也无法发现这个条件中的错误。判定判定/条件覆盖（续）分析：从表面上看，判定条件覆盖（续）分析：从表面上看，判定/条件覆盖测试了各条件覆盖测试了各45四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物组合覆盖组合覆盖就是要使设计的测试用例能覆盖每一个判定的使设计的测试用例能覆盖每一个判定的所有可能的条件取值组合。所有可能的条件取值组合。对DoWork函数中的各个判定的条件取值组合加以标记：1、x3,z3,z=10 记做T1 T2，第一个判定的取假分支 3、x=3,z10 记做T1 T2，第一个判定的取假分支 4、x=10 记做T1 T2，第一个判定的取假分支 5、x=4,y5 记做T3 T4，第二个判定的取真分支 6、x=4,y5 记做T3 T4，第二个判定的取真分支 8、x!=4,y8 AND Y5X0 OR Y0引用语句1引用语句2NYNYX16 OR Y10引用语句3NY习题为以下流程图所示的程序段设计一组测试用例，要求分别满足语习题为以下流程图所示的程序段设计一组测试用例，要求分别满足语55四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物X8 AND Y5X0 OR Y0引用语句1引用语句2NYNYX16 OR Y10引用语句3NY语句覆盖用例：语句覆盖用例：覆盖路径1：a-e-f 用例1：17,11覆盖路径2：a-b-d用例2：7,4覆盖路径3：a-b-c用例3：0,-1afedcbg判定覆盖用例：判定覆盖用例：覆盖路径1：a-e-f 用例1：17,11覆盖路径2：a-b-d用例2：7,4覆盖路径3：a-b-c用例3：0,-1覆盖路径4：a-e-g用例4：9,6 测试用例 执行路径 覆盖条件 覆盖分支 x=17、y=11 aef T1、T2、T3、T4、T5、T6ef x=0、y=-1abc -T1、-T2、-T3、-T4、-T5、-T6 bc条件覆盖条件覆盖X8 AND Y5X0 OR Y0引用语句引用语句1引用语句引用语句56四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物 测试用例 执行路径 覆盖条件 覆盖分支 x=17、y=11 aef T1、T2、T3、T4、T5、T6ef x=0、y=-1abc -T1、-T2、-T3、-T4、-T5、-T6 bcx=7、y=4abd-T1、T2、-T3-T4、T5、-T6bdx=9、y=6aegT1、T2、-T3、T4、T5、-T6eg判定判定/条件覆盖条件覆盖X8:真为T1,假为-T1X0:真为T2,假为-T2 X16:真为T3,假为-T3y5:真为T4,假为-T4 y0:真为T5,假为-T5 y10:真为T6,假为-T6 测试用例测试用例 执行路径执行路径 覆盖条件覆盖条件 覆盖分支覆盖分支 x=17、57四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物组合覆盖组合覆盖1.X8,Y5:T1T42.X8,Y=5:T1-T43.X5:-T1T44.X=8,Y0,Y0:T2T56.X0,Y=0:T2-T57.X0:-T2T58.X=0,Y16,Y10:T3T610.X16,Y=10:T3-T611.X10:-T3T612.X=16,Y8,Y5:T1T4测试用例测试用例 执行覆盖条件覆执行覆盖条件覆58四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.3.4 测试覆盖准则逻辑覆盖的出发点是合理的、完善的。所谓“覆盖”，就是想要做到全面而无遗漏全面而无遗漏，但逻辑覆盖并不能真正做到无遗漏。例如：我们不小心将前面提到的程序段中的 if(x3&Z=3&Z10)按照我们前面设计的测试用例（x的值取2或4）来看，逻辑覆盖对这样的小问题都无能为力。分析出现这一情况的原因在于：错误区域仅仅在x=3这个点上，即仅当x的值取3时，测试才能发现错误。面对这类情况，我们应该从中吸取的教训是测试工作要有重点，要多针对容易要多针对容易发生问题的地方设计测试用例。发生问题的地方设计测试用例。4.3.4 测试覆盖准则逻辑覆盖的出发点是合理的、完善的。测试覆盖准则逻辑覆盖的出发点是合理的、完善的。59四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物ESTCA（Error Sensitive Test Cases Analysis）错误敏感测试用例分析规则：）错误敏感测试用例分析规则：在容易发生问题的地方设计测试用例，即重视程序中谓在容易发生问题的地方设计测试用例，即重视程序中谓词（条件判断）的取值。词（条件判断）的取值。这一规则虽然并不完备，但在普通程序中却是有效的。原因在于这是一种经验型的覆盖准则，规则本身针对了程序编写人员容易发生的错误，或是围绕着发生错误的频繁区域，从而提高了发现错误的命中率。具体规则如下：ESTCA覆盖规则ESTCA（Error Sensitive Test Cas60四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物规则1 对于A rel B型(rel可以是)的分支谓词，应适当的选择A与B的值，使得测试执行到该分支语句时，AB的情况分别出现一次。这是为了检测逻辑符号写错的情况这是为了检测逻辑符号写错的情况，如将“AB”。规则2 对于A rel C型(rel可以是或,A是变量，C是常量)的分支谓词：当rel为时，应适当的选择A的值，使A=C+M。这是为了检测这是为了检测“差差1”之类的错误之类的错误，如“A1”错写成“A0”。规则3 对外部输入变量赋值，使其在每一个测试用例中均有不同的值与符号，并与同一组测试用例中其他变量的值与符号不同。这是为了检测程序语句中的错误这是为了检测程序语句中的错误，如应该引用某一变量而错误的引用成了一个常量。规则规则1 对于对于A rel B型型(rel可以是可以是3)&(z5)（3）if(x=4)|(y5)（4）j=x*y+10;j=j%3 （5）j=j%3LCSAJ路径（4条）：（1）-（2）-（4）（1）-（2）-（5）（1）-（3）-（4）（1）-（3）-（5）找出前面找出前面DoWork函数的所有函数的所有LCSAJ和和LCSAJ路径。路径。64四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.4 路径测试4.4.1 路径表达式路径表达式路径表达式路径表达式4.4.2 基本路径测试方法基本路径测试方法基本路径测试方法基本路径测试方法4.4.3 循环结构的路径测试方法循环结构的路径测试方法循环结构的路径测试方法循环结构的路径测试方法4.4.4 z z路径覆盖路径覆盖路径覆盖路径覆盖4.4.5 数据流测试数据流测试数据流测试数据流测试4.4 路径测试路径测试4.4.1 路径表达式路径表达式65四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.4.1 路径表达式为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。我们通常采用控制流图的边（弧）序列和节点序列表示某一条具体路径，更为概括的表示方法为：（1）弧a和弧b相乘，表示为ab，它表明路径是先经历弧a，接着再经历弧b，弧a和弧b是先后相接的。（2）弧a和弧b相加，表示为a+b，它表明两条弧是“或”的关系，是并行的路段。路径数的计算：在路径表达式中，将所有弧均以数值1来代替，再进行表达式的相乘和相加运算，最后得到的数值即为该程序的路径数。4.4.1 路径表达式为了满足路径覆盖，必须首先确定具体的路径表达式为了满足路径覆盖，必须首先确定具体的66四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.4.2 基本路径测试方法路径测试就是从一个程序的入口开始，执行所经历的各个语句的完整过程。从广义的角度讲，任何有关路径分析的测试都可以被称为路径测试。完成路径测试的理想情况是做到路径覆盖，但对于复杂性大的程序要做到所有路径覆盖（测试所有可执行路径）是不可能的。在不能做到所有路径覆盖的前提下，如果某一程序的每一个独立路径都被测试过，那么可以认为程序中的每个语句都已经检验过了，即达到了语句覆盖。这种测试方法就是通常所说的基本路径测试方法。4.4.2 基本路径测试方法路径测试就是从一个程序的入口开基本路径测试方法路径测试就是从一个程序的入口开67四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，再从该基本集设计测试用例。基本路径测试方法包括以下4个步骤：（1）画出程序的控制流图。（2）计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。（3）导出基本路径集，确定程序的独立路径。（4）根据（3）中的独立路径，设计测试用例的输入数据和预期输出。基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形68四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物void Sort(int iRecordNum,int iType)1 2 int x=0;3 int y=0;4 while(iRecordNum-0)5 6 If(iType=0)7x=y+2;8 else9 If(iType=1)10 x=y+10;11 else12 x=y+20;13 14 void Sort(int iRecordNum,69四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物基本路径测试法实现步骤：基本路径测试法实现步骤：画出控制流图：如右图所示计算环形复杂度：10（条边）-8（个节点）+2=4导出独立路径（用语句编号表示）路径1：414 路径2：46714 路径3：4691013414 路径4：4691213414467910121314基本路径测试法实现步骤：基本路径测试法实现步骤：46791012131470四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物输入数据预期输出测试用例1irecordnum=0itype=0 x=0y=0测试用例2irecordnum=1itype=0 x=0y=0测试用例3irecordnum=1itype=1x=10y=0测试用例4irecordnum=1itype=2x=0y=20设计测试用例：输入数据预期输出测试用例输入数据预期输出测试用例1irecordnum=0 x=71四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物基本路径测试法总结基本路径测试方法把覆盖的路径数压缩到一定限度内，程序中的循环体最多只执行一次独立路径覆盖。它是在程序控制流图的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，设计测试用例的方法。设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。基本路径测试法总结基本路径测试方法把覆盖的路径数压缩到一定限基本路径测试法总结基本路径测试方法把覆盖的路径数压缩到一定限72四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物4.4.3 循环测试方法从本质上说，循环测试的目的就是检查循环结构的有效性。通常，循环可以划分为简单循环、嵌套循环、串接循环和 非结构循环4类。（1）测试简单循环测试简单循环。设其循环的最大次数为n，可采用以下测试集：跳过整个循环；跳过整个循环；只循环一次；只循环一次；只循环两次；只循环两次；循环循环 m 次，其中次，其中mn；分别循环分别循环 n-1、n 和和 n+1 次。次。4.4.3 循环测试方法从本质上说，循环测试的目的就是检查循环测试方法从本质上说，循环测试的目的就是检查73四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物例：求最小值k=i;for(j=i+1;j=n;j+)if(Aj=2，对于P-use的程序图出度=2d,C-use当且仅当USE(v,n)是计算使用，对于C-use的程序图入度=a&c=A&c=0&c=a&c=A&c=0&c=9)digit+;else other+printf(“其中：字母数=%d空格数=%d 数字数=%d 其它字符数=%dn”,letters,space,digit,other);1235746891011123574689101196四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物1243510976811n na ac cd dm mi ih hg gf fe eb bl lk kj j其它其它 为数字为数字 为空格为空格 为字母为字母 while while 语句语句 1243510976811nacdmihgfeblkj其它其它 97四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物（2）复杂性为：5（3）独立路径为：ab acdfn acegin acehjln acehkmn 测试用例为：序号测试用例覆 盖 独 立路径预期结果备注1输入空串ab输出结果都为02输入“ab”acdfn正确给出字符个数3输入“a”acegin正确给出空格个数4输入“8”acehjln正确给出数字个数5输入“#”acehkmn正确给出其他字符个数（2）复杂性为：）复杂性为：5序号测试用例覆盖独立路径预期结果备注序号测试用例覆盖独立路径预期结果备注1输入输入98四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物(4)N-S图(5)最少测试用例数：52：是否为空字符串5：是否为空格7：是否为数字3：是否为字母114689(4)N-S图图2：是否为空字符串：是否为空字符串5：是否为空格：是否为空格7：是否为数：是否为数99四川大学锦城学院四川大学锦城学院 软件测试软件测试我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物我吓了一跳，蝎子是多么丑恶和恐怖的东西，为什么把它放在这样一个美丽的世界里呢？但是我也感到愉快，证实我的猜测没有错：表里边有一个活的生物(6)条件组合测试用例1：记c!=n为T12：-T13：记a=c=z|A=c