一、白盒测试概念
1、定义
白盒测试又称结构测试、透明盒测试、逻辑驱动测试、基于代码的测试。盒子指被测试的软件，白盒指盒子是可视的。白盒测试是一种测试用例设计方法，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例。白盒测试主要针对被测程序的源代码，主要用于软件验证，不考虑软件的功能实现，只验证内部动作是否按照设计说明书的规定进行。
2、目的
我们一方面注重软件功能需求的实现，另一方面还要注重程序逻辑细节，主要是因为软件自身的缺陷，具体如下：
1）逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。日常处理往往被很好地了解，而“特殊情况”的处理则难于发现。
2）我们经常相信某逻辑路径不可能被执行，而事实上，它可能在正常的基础上被执行。程序的逻辑流有时是违反直觉的，只有路径测试才能发现这些错误。
3）代码中的笔误是随机且无法杜绝的。笔误出现在主流上和不明显的逻辑路径上的机率是一样的。很多被语法检查机制发现，但是其他的会在测试开始时才会被发现。
4）功能测试本身的局限性。如果程序实现了没有被描述的行为，功能测试是无法发现的，例如病毒，而白盒测试很容易发现它。
3、目标
采用白盒测试必须遵循以下几条原则，才能达到测试的目标：
1）保证一个模块中的所有独立路径至少被测试一次。
2）所有逻辑值均需测试真(true) 和假(false)两种情况。
3）检查程序的内部数据结构，保证其结构的有效性。
4）在上下边界及可操作范围内运行所有循环。
4、黑白灰区别
黑盒测试技术：也称功能测试或数据驱动测试，只关注规格说明中的功能，测试者在程序接口对软件界面和软件功能进行测试，它只检查实现了的功能是否按照“用户需求说明书”的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。主要用于软件确认测试，结合兼容、性能测试等方面，但黑盒测试不能保证已经实现的各个部分都被测试到。黑盒测试适用于各阶段测试。
白盒测试技术：只关注软件产品的测试，深入到代码一级的测试，它是知道产品内部结构，通过测试来检测产品内部动作是否按照“设计规格说明书”的规定正常进行，按照程
序内部的结构测试程序，检验程序中的每条通路是否都能按预定要求正确工作，主要用于软件验证，不能够确保产品已经实现了规格说明中的所有功能。白盒测试通常用于单元测试。
灰盒测试技术：在白盒测试中交叉使用黑盒测试、在黑盒测试中交叉使用白盒测试的方法。它结合了白盒测试和黑盒测试的要素，涉及输入和输出，但使用关于代码和程序操作等信息设计测试用例。灰盒测试通常用于集成测试。
测试是从用户需求的角度去对软件的质量进行检测。具体使用黑盒测试、白盒测试、灰盒测试，不需要太明确的来划分，我们应该多角度去设计测试用例，多角度去测试软件、发现bug，才是一个测试工程师应该具备的思想。总之，建议测试人员在测试过程中，可以考虑先使用黑盒测试，然后统计相应的覆盖率，再设计适当的白盒测试用例作为补充，以保证测试的完整性。
二、白盒测试方法
1、简介
白盒测试主要是检查程序的内部结构、逻辑、循环和路径。测试是基于覆盖全部代码、分支、路径、条件。根据测试程序是否运行，白盒测试分静态白盒测试和动态白盒测试两种。
静态白盒测试也称为结构分析，是在不执行程序的条件下审查软件设计、体系结构和代码，从而找出软件缺陷的过程。测试对象是文档、代码等非计算机执行的部分。在项目中使用静态白盒测试是基于这样的原则：错误发现得越早，改正错误的成本越低，正确改正错误的可能性越大，改正错误时可能引发的其他错误的数量也越少。静态白盒测试方法包括代码检查法、静态结构分析法、静态质量度量法。常用的是代码检查法，这些方法在程序开始编码之后、基于计算机的动态测试开始之前使用。
动态白盒测试也称为结构化测试，是在使用和运行程序的条件下，软件测试员查看代码内部结构和实现方式来确定哪些要测试，哪些不要测试，如何开展测试，怎样设计和执行测试用例。白盒测试的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。动态白盒测试常用的测试用例设计方法有逻辑覆盖法（逻辑驱动测试）和基本路径测试法两种。
下面具体介绍一下三种常用的白盒测试方法：
2、代码检查法
2.1简介
代码检查法主要检查代码和程序设计的一致性，代码结构的合理性，代码编写的标准性、可读性，代码逻辑表达的正确性等方面。检查方式包括桌面检查、代码走查、代码审查三种方式。
目的：检查程序是不是按照某种标准或规范编写的。
目标：发现程序缺陷，改进软件的质量。
需要的文档：程序设计文档、程序的源代码清单、编码规范、代码缺陷检查表等。在进行代码检查时，代码缺陷检查表就是测试用例，检查表中一般包括容易出错的地方和在以往的工作中遇到的典型错误。
优缺点：代码检查法能快速找到缺陷，一旦发现错误，能够在代码中对其进行精确定位，从而降低了错误修正的成本。代码检查看到的是问题本身而非问题的征兆。但是代码检查非常耗费时间，而且代码检查需要知识和经验的积累。
2.2代码审查和走查
两种方法的形成、流程一样，规程、方法不一样。具体来说：
代码审查和走查都是以小组为单位阅读代码，它是一系列规程和错误检查方法的集合。审查或走查小组通常由不需要对程序细节很了解的协调人员、程序的编码人员、程序的设计人员、测试专家四人组成。都是以会议的形式进行。会议理想时间为90-120分钟之间，按照每小时阅读150行代码的速度进行。对大型软件应安排多个会议同时进行，每个会议处理一个或几个模块或子程序。
代码审查规程和方法：在代码审查会议上，程序作者逐条语句讲述程序的逻辑结构，参与人根据“代码缺陷检查表”分析程序，检查内容包括编码标准规范和错误列表。编码规范是指团队根据自己的经验和风格进行设置的一些规范。错误列表一般是代码潜在的bug，由于某种代码写法虽然没有语法错误，但是可能存在错误，比如会导致线程死锁，这些都是错误列表应该检查的。程序员之间可以隔一定的时间抽取代码进行审查。结束会议后，把这些经验汇成列表，作为下次代码审查的依据，并针对错误修正进行跟踪。输出文档是“代码检查记录表”，此表主要内容日期、住持人、参与人员、范围、发现的问题、问题处理、跟踪检查等。
代码走查规程和方法：在代码走查会议上，参与者参考“设计规格书”使用计算机来执行代码。测试人员准备一些简单的测试用例，它的作用是提供启动代码走查和质疑程序员逻辑思路及其他设想的手段。在会议期间，把测试数据沿程序的逻辑结构走一遍，程序的状态记录在纸或白板上以供监视。在大多数的代码走查中，很多问题是在向程序员提问的过程中发现的，而不是由测试用例本身直接发现的。
2.3桌面检查
桌面检查是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序通过编译之后，对源程序代码进行分析、检验，并补充相关文档，由于程序员熟悉自己的程序及其程序设计风格，桌面检查由程序员自己进行可以节省时间，但应避免主观片面性。桌面检查的效果逊色于代码检查和走查，但桌面检查胜过没有检查。
3、逻辑覆盖测试
3.1简介
测试覆盖率：用于确定测试所执行到的覆盖项的百分比。其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高效果越好。但覆盖率不是目标，只是一种手段。测试覆盖率包括功能点覆盖率和结构覆盖率，功能点覆盖率大致用于表示
软件已经实现的功能与软件需要实现的功能之间的比例关系。结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等。
逻辑覆盖法：以程序内部的逻辑结构为基础的用例设计方法，它通过对程序逻辑结构的遍历实现程序的覆盖。根据覆盖目标的不同，逻辑覆盖分为语句覆盖、判定覆盖（分支覆盖）、条件覆盖、判定-条件覆盖（分支-条件覆盖）、条件组合覆盖、路径覆盖六种覆盖测试方法。
1.语句覆盖每条语句至少执行一次。
2.判定覆盖每个判定/分支至少执行一次。
3.条件覆盖每个判定的每个条件应取到各种可能的值。
4.判定-条件覆盖同时满足判定覆盖和条件覆盖。
5.条件组合覆盖每个判定中各条件的每一种组合至少出现一次。
6.路径覆盖使程序中每一条可能的路径至少执行一次。
它们发现错误的能力呈由弱至强的变化。
3.2举例说明
以下举例说明六种覆盖测试方法：
一般逻辑覆盖测试不会直接根据源代码，而是根据流程图来设计测试用例，在没有设计文档时，要根据源代码画出流程图：
3.2.1语句覆盖
特点：语句覆盖要求设计足够多的测试用例，运行被测程序，使得程序中每条语句至少被执行一次。在本例中，可执行语句是指语句块1到语句块4中的语句。
用例设计：
。
优点：可以很直观地从流程图得到测试用例，可以测试所有的执行语句。
缺点：语句覆盖不能准确的判断运算中的逻辑关系错误。假设第一个判断语句if(x>0 &&
y>0)中的“&&”被错误地写成了“||”，即if(x>0 || y>0)，使用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖。在六种逻辑覆盖标准中，语句覆盖标准最弱的。
3.2.2判定覆盖
两个判断的取真、假分支都已经被执行过，所以满足了判断覆盖的标准。
优点：由于可执行语句要不就在判定的真分支，要不就在假分支上，判定覆盖比语句覆盖要多几乎一倍的测试路径，所以，只要满足了判定覆盖标准就一定满足语句覆盖标准。因此，判定覆盖比语句覆盖强。
缺点：判定覆盖会忽略条件中取或（or）的情况。假设第一个判断语句if(x>0 && y>0)中的“&&”被程序员错误地写成了“||”，使用上面设计出来的一组测试用例，仍然可以达到100%的判定覆盖，所以判定覆盖也无法发现上述的逻辑错误。
3.2.3条件覆盖
特点：条件覆盖要求设计足够多的测试用例，运行被测程序，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。在本例中有两个判断if(x>0 && y>0)（记为P1）和if(magic < 0)（记为P2），共计三个条件x>0（记为C1）、y>0（记为C2）和magic<0（记为C3）。
用例设计：
三个条件的各种可能取值都满足了一次，达到了100%条件覆盖的标准，同时也到达了100%判定覆盖的标准。但并不能保证达到100%条件覆盖标准的测试用例（组）都能到达100%
的语句覆盖标准了。
优点：显然条件覆盖比判定覆盖，增加了对符合判定情况的测试。
缺点：要达到条件覆盖，需要足够多的测试用例，但条件覆盖并不能保证判定覆盖。3.3.4判定-条件覆盖
特点：设计足够多的测试用例，运行被测程序，使得被测试程序中的每个判断本身的判定结果（真假）至少满足一次，同时，每个逻辑条件的可能值也至少被满足一次。即同时满足100%判定覆盖和100%条件覆盖的标准。
用例设计：
所有条件的可能取值都满足了一次，而且所有的判断本身的判定结果也都满足了一次。
优点：达到100%判定-条件覆盖标准一定能够达到100%条件覆盖、100%判定覆盖和100%语句覆盖。判定-条件覆盖满足判定覆盖准则和条件覆盖准则，弥补了二者的不足。
缺点：未考虑条件的组合情况。
3.3.5条件组合覆盖
特点：要求设计足够多的测试用例，运行被测程序，使得被测试程序中每个判定中条件结果的所有可能组合至少执行一次。注意：
1）条件组合只针对同一个判断语句内存在多个条件的情况，让这些条件的取值进行笛卡尔乘积组合。
2）不同的判断语句内的条件取值之间无需组合。
3）对于单条件的判断语句，只需要满足自己的所有取值即可。
用例设计：
C1和C2处于同一判断语句中，它们的所有取值的组合都被满足了一次。
优点：多重条件覆盖准则满足判定覆盖、条件覆盖、判定-条件覆盖准则。
缺点：线性地增加了测试用例的数量。但上面的例子中，只走了两条路径a-c-e-f和
a-b-d-f，而本例的程序存在三条路径。所以条件组合覆盖不能保证所以的路径被执行。3.3.6路径覆盖
特点：设计足够的测试用例，运行被测程序，覆盖程序中所有可能的路径。
所有可能的路径都满足过一次。
优点：这种测试方法可以对程序进行彻底的测试，比前面五种覆盖面都广。100%满足路径覆盖，一定能100%满足判定覆盖标准（因为路径就是从判断的某条分支走的）。
缺点：100%满足路径覆盖，但并不一定能100%满足条件覆盖（C2只取到了真），也就不能满足100%条件组合覆盖。
经过分析，它们之间的关系可以用下图表示（路径覆盖在该图无法表示）：
从上例可知，单独采用任何一种逻辑覆盖方法都不能完全覆盖所有的测试用例，任何一个高效的测试用例，都是针对具体测试场景的。逻辑测试不是片面的测试正确的结果或是测试错误的结果，而是尽可能全面地覆盖每一个逻辑路径。所以在实际测试用例设计中，就要先从代码分析入手，根据不同的代码逻辑规则、语句执行情况，选用适合的覆盖方法。要根据不同需要和不同测试用例设计特征，将不同的设计方法组合起来，交叉使用，以实现最佳的测试用例输出。
4、基本路径测试法
4.1简介
基本路径测试法包括4个步骤，在程序控制流图的基础上，通过分析程序的环路复杂性，导出基本可执行路径集合，从而设计测试用例。设计出的测试用例要保证在测试中程序的每个可执行路径至少执行一次。以下举例具体说明这4个步骤：
4.2举例说明
4.2.1画出控制流图
可将流程图映射到一个相应的流图。
程序的控制流图是对程序流程图简化得到的，它可以更加突出的描述程序控制流的结构。控制流图只有二种图形符号，
圆称为流图的节点，代表一个或多个语句，流程图中一个处理方框序列和一个菱形决测框可被映射为一个节点。
箭头称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个节点，即使该节点并不代表任何语句。
由边和节点限定的范围称为区域，计算区域时应包括图外部的范围。
如图所示：
如果判断中的条件表达式是由一个或多个逻辑运算符(or, and) 连接的复合条件表达式时，要为每个条件创建一个独立的节点，包含条件的节点被称为判定节点，一个判定节点发出两条或多条边。例如：
1 ）if a or b
2）x
3）else
4 ）y
对应的逻辑为：
4.2.2计算圈复杂度
通过对控制流图的分析和判断来计算环形复杂度。
圈复杂度也成为环形复杂度、程序环境复杂度，是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有路径至少执行一次的测试数量的上界。有以下三种方法计算圈复杂度：
1）流图中区域的数量对应于环型的复杂性。
2）给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中节点的数量。
3）给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定节点的数量。
4.2.3导出独立路径
从程序的环路复杂性可导出程序的独立路径条数。
一条独立路径是指，和其他的独立路径相比，程序中至少引进一个新的处理语句集合或一个新判断条件的程序通路。即独立路径必须至少包含一条在定义路径之前不曾用到的边。如果只是已有路径的简单合并，并未包含任何新边，则不是独立路径。
此例可得出四个独立的路径。V(G)值正好等于该程序的独立路径的条数。
路径1：4-14
路径2：4-6-7-14
路径3：4-6-8-10-13-4-14
路径4：4-6-8-11-13-4-14
4.2.4设计测试用例
根据独立路径，来设计输入数据，使程序分别执行到上面四条路径。
为了确保基本路径集中的每一条路径的执行，根据判断节点给出的条件，选择适当的数据以保证某一条路径被测试到，满足上面例子基本路径集的测试用例是：
5、其他方法
1）静态结构分析：主要是以图形的方式表现程序的内部结构。测试者通过使用测试工具分析程序源代码的系统结构、数据结构、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、函数内部控制流图等各种图形图表，清晰地标识整个软件的组成结构，便于理解，通过分析这些图表（包括控制流分析、数据流分析、接口分析、表达式分析），检查软件是否存在缺陷或错误。
2）静态质量度量法：根据ISO/IEC 9126质量模型作为基础，我们可以构造质量度量模型，用于评估软件的各个方面。该模型从上到下分为3层：质量因素、分类标准和度量规则。度量规则：度量规则使用了代码行数、注释频度等参数度量软件的各种行为属性，度量规则参数表。分类标准“软件的可维护性采用以下四个分类标准来评估：可分析性、可修改性、稳定性、可测性。每个分类标准由一系列度量规则组成，各个规则分配一个权重，由
规则的取值与权重值计算出每个分类标准的取值。质量因素的取值与分类标准的计算方式类似：依据各分类标准取值组合权重方法计算。
3）循环覆盖测试法：目的就是检查循环结构的有效性。通常，循环可以划分为简单循环、嵌套循环、串接循环和非结构循环4类。
三、总结
在实践中发现，静态白盒测试和基于计算机的动态测试是互补的，缺少任何一种，都会降低错误检查的效率。项目组可根据项目的实际情况，来决定哪种白盒测试方法更适合。
白盒测试 白盒测试，又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。 白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何运作的。"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通 过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。在动态分析技术中，最重要的技术是路径和分支测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 中文名：白盒测试 夕卜文名：white-box testing 别称：结构测试、透明盒测试 白盒测试测试方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。六种覆盖标准发现错误的能力呈由弱到强的变化： 1. 语句覆盖每条语句至少执行一次。 2. 判定覆盖每个判定的每个分支至少执行一次。 3. 条件覆盖每个判定的每个条件应取到各种可能的值。 4. 判定/条件覆盖同时满足判定覆盖条件覆盖。 5. 条件组合覆盖每个判定中各条件的每一种组合至少出现一次。 6. 路径覆盖使程序中每一条可能的路径至少执行一次。
摘要：单元测试是软件测试的基础，本文详细的论述了单元测试的两个步骤人工静态检查法与动态执行跟踪法，所需执行的工作项目及相关的策略和方法。通过对这两个步骤的描述作者将多年的单元测试经验及测试理论注入于全文。 关键词：单元测试、人工检查、白盒测试、测试用例、跟踪调试 1 概述 单元测试是针对软件设计的最小单位——程序模块，进行正确性检验的测试工作。其目的在于发现每个程序模块内部可能存在的差错。 单元测试也是程序员的一项基本职责，程序员必须对自己所编写的代码保持认真负责的态度，这是也程序员的基本职业素质之一。同时单元测试能力也是程序员的一项基本能力，能力的高低直接影响到程序员的工作效率与软件的质量。 在编码的过程中作单元测试，其花费是最小的，而回报却特别优厚的。在编码的过程中考虑测试问题，得到的将是更优质的代码，因为在这时您对代码应该做些什么了解得最清楚。如果不这样做，而是一直等到某个模块崩溃了，到那时您可能已经忘记了代码是怎样工作的。即使是在强大的工作压力下，您也还必须重新把它弄清楚，这又要花费许多时间。进一步说，这样做出的更正往往不会那么彻底，可能更脆弱，因为您唤回的理解可能不那么完全。 通常合格的代码应该具备以下性质：正确性、清晰性、规范性、一致性、高效性等(根据优先级别排序)。 1. 正确性是指代码逻辑必须正确，能够实现预期的功能。 2. 清晰性是指代码必须简明、易懂，注释准确没有歧义。 3. 规范性是指代码必须符合企业或部门所定义的共同规范包括命名规则，代码风格等等。 4. 一致性是指代码必须在命名上(如：相同功能的变量尽量采用相同的标示符)、风格上都保持统一。 5. 高效性是指代码不但要满足以上性质，而且需要尽可能降低代码的执行时间。 2 单元测试步骤 在代码编写完成后的单元测试工作主要分为两个步骤人工静态检查和动态执行跟踪。 人工静态检查是测试的第一步，这个阶段工作主要是保证代码算法的逻辑正确性(尽量通过人工检查发现代码的逻辑错误)、清晰性、规范性、一致性、算法高效性。并尽可能的发现程序中没有发现的错误。 第二步是通过设计测试用例，执行待测程序来跟踪比较实际结果与预期结果来发现错误。经验表明，使用人工静态检查法能够有效的发现30%到70%的逻辑设计和编码错误。但是代码中仍会有大量的隐性错误无法通过视觉检查发现，必须通过跟踪调试法细心分析才能够捕捉到。所以，动态跟踪调试方法也成了单元测试的重点与难点。 3 人工检查 通常在人工检查阶段必须执行以下项目的活动： 第一、检查算法的逻辑正确性;确定所编写的代码算法、数据结构定义(如：队列、堆栈等)是否实现了模块或方法所要求的功能。 第二、模块接口的正确性检查;确定形式参数个数、数据类型、顺序是否正确;确定返回值类型及返回值的正确性。 第三、输入参数有没有作正确性检查;如果没有作正确性检查，确定该参数是否的确无需做参数正确性检查，否则请添加上参数的正确性检查。经验表明，缺少参数正确性检查的代码是造成软件系统不稳定的主要原因之一。 第四、调用其他方法接口的正确性;检查实参类型正确与否、传入的参数值正确与否、
白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。 这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。 六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每个判定的每个条件应取到各种可能的值。判定/条件覆盖同时满足判定覆盖条件覆盖。条件组合覆盖每个判定中各条件的每一种组合至少出现一次。路径覆盖使程序中每一条可能的路径至少执行一次。 "白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。 如何挑选白盒测试工具 白盒测试目前主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、嵌入式软件的测试、测试的可视化等。 对开发语言的支持：白盒测试工具是对源代码进行的测试，测试的主要内容包括词法分析与语法分析、静态错误分析、动态检测等。但是对于不同的开发语言，测试工具实现的方式和内容差别是较大的。目前测试工具主要支持的开发语言包括：标准C、C＋＋、Visual C ＋＋、Java、Visual J＋+等。
1白盒测试用例设计方法 1.1白盒测试简介 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，一般多发生在单元测试阶段。白盒测试方法主要包括逻辑覆盖法，基本路径法，程序插装等。 这里重点介绍一下常用的基本路径法，对于逻辑覆盖简单介绍一下覆盖准则。 1.2基本路径法 在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例，设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。 在介绍基本路径测试方法（又称独立路径测试）之前，先介绍流图符号： 图1 如图1所示，每一个圆，称为流图的节点，代表一个或多个语句，流程图中的处理方框序列和菱形决策框可映射为一个节点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个节点，即使该节点并不代表任何语句，例如，图2中两个处理方框交汇处是一个节点，边和节点限定的范围称为区域。 图2
任何过程设计表示法都可被翻译成流图，下面显示了一段流程图以及相应的流图。 注意，程序设计中遇到复合条件时（逻辑or, and, nor 等），生成的流图变得更为复杂，如(c)流图所示。此时必须为语句IF a OR b 中的每一个a 和b 创建一个独立的节点。
(c)流图 独立路径是指程序中至少引进一个新的处理语句集合，采用流图的术语，即独立路径必须至少包含一条在定义路径之前不曾用到的边。例如图(b)中所示流图的一个独立路径集合为： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11 上面定义的路径1，2，3 和4 包含了(b)流图的一个基本集，如果能将测试设计为强迫运行这些路径，那么程序中的每一条语句将至少被执行一次，每一个条件执行时都将分别取true 和false（分支覆盖）。应该注意到基本集并不唯一，实际上，给定的过程设计可派生出任意数量的不同基本集。如何才能知道需要寻找多少条路径呢？可以通过如下三种方法之一来计算独立路径的上界： 1. V=E-N+2，E 是流图中边的数量，N 是流图节点数量。 2. V=P+1，P 是流图中判定节点的数量 3. V=R，R 是流图中区域的数量 例如，(b)流图可以采用上述任意一种算法来计算独立路径的数量 1. V=11 条边-9 个节点+2=4 2. V=3 个判定节点+1=4 3. 流图有4 个区域，所以V=4 由此为了覆盖所有程序语句，必须设计至少4 个测试用例使程序运行于这4 条路径。 在采用基本路径测试方法中，获取测试用例可参考以下方式：
软件质量保证与测试 实验指导 计算机工程学院
测试环境配置 1.setting Junit (1) start Eclipse Select windows-preferences-java-build path –class path variables (2) click new, the figure of new variable entry is shown. (3) name JUNIT_LIB
select file-选择JUnit 插件所对应的JAR文件所在地，在Eclipse的安装目录的plugins目录中 2.JUNIT的组成框架 其中，junit.framework 和junit.runner是两个核心包。 junit.framework 负责整个测试对象的框架 junit.runner 负责测试驱动 Junit的框架又可分为： A、被测试的对象。 B、对测试目标进行测试的方法与过程集合，可称为测试用例(TestCase)。
C、测试用例的集合，可容纳多个测试用例(TestCase)，将其称作测试包(TestSuite)。 D、测试结果的描述与记录。(TestResult) 。 E、每一个测试方法所发生的与预期不一致状况的描述，称其测试失败元素(TestFailure) F、JUnit Framework中的出错异常（AssertionFailedError）。 JUnit框架是一个典型的Composite模式：TestSuite可以容纳任何派生自Test 的对象；当调用TestSuite对象的run()方法是，会遍历自己容纳的对象，逐个调用它们的run()方法。 3.JUnit中常用的接口和类 Test接口——运行测试和收集测试结果 Test接口使用了Composite设计模式，是单独测试用例（TestCase），聚合测试模式（TestSuite）及测试扩展（TestDecorator）的共同接口。 它的public int countTestCases（）方法，它来统计这次测试有多少个TestCase，另外一个方法就是public void run（TestResult ），TestResult是实例接受测试结果，run方法执行本次测试。 TestCase抽象类——定义测试中固定方法 TestCase是Test接口的抽象实现，（不能被实例化，只能被继承）其构造函数TestCase(string name)根据输入的测试名称name创建一个测试实例。由于每一个TestCase在创建时都要有一个名称，若某测试失败了，便可识别出是哪个测试失败。 TestCase类中包含的setUp()、tearDown()方法。setUp()方法集中初始化测试所需的所有变量和实例，并且在依次调用测试类中的每个测试方法之前再次执行setUp()方法。tearDown()方法则是在每个测试方法之后，释放测试程序方法中引用的变量和实例。 开发人员编写测试用例时，只需继承TestCase，来完成run方法即可，然后JUnit获得测试用例，执行它的run方法，把测试结果记录在TestResult之中。 Assert静态类——一系列断言方法的集合 Assert包含了一组静态的测试方法，用于期望值和实际值比对是否正确，即测试失败，Assert类就会抛出一个AssertionFailedError异常，JUnit测试框架将
白盒测试的基本路径测试法 一、白盒测试的主要测试方法 1、代码检查法 2、静态结构分析法 3、静态质量度量法 4、逻辑覆盖法 5、基本路径测 试法（应用最广泛）6、域测试7、符号测试8、Z路径覆盖9、程序变异 二、基本路径测试法 1、定义：基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。 2、基本路径测试法的基本步骤 1) 程序的控制流图：描述程序控制流的一种图示方法。 2）程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 3）导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。 4）准备测试用例：确保基本路径集中的每一条路径的执行。 3、基本路径测试法的工具方法 1）图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动 地确定一个基本路径集。 三、程序的控制流图 控制流程图是描述程序控制流的一种图示方法。圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句流图只有二种图形符号：图中的每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流。任何过程设计都要被翻译成控制流图。
1、根据程序流程图化成控制流图 在将程序流程图简化成控制流图时，应注意： 1）在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 2）边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。如下页图所示： 如果判断中的条件表达式是由一个或多个逻辑运算符(OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。 例如： 1 if a or b 2 x 3 else 4 y 对应的逻辑为：
白盒测试作为测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有适当的测试方法，才能帮助我们从代码的迷雾森林中找到正确的方向。本文介绍六种白盒子测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。 白盒测试的概述 由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行, 而事实上,它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。 白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。 白盒的测试用例需要做到： ·保证一个模块中的所有独立路径至少被使用一次 ·对所有逻辑值均需测试true 和false ·在上下边界及可操作范围内运行所有循环 ·检查内部数据结构以确保其有效性 白盒测试的目的：通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。 白盒测试的特点：依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。 白盒测试的实施步骤： 1.测试计划阶段：根据需求说明书，制定测试进度。 2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。 3.测试执行阶段：输入测试用例，得到测试结果。 4.测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。 白盒测试的方法：总体上分为静态方法和动态方法两大类。
［试题分类］：［04］白盒测试方法/［0400］［综合］白盒测试方法 1. 下面不属于白盒测试能保证的是。 A. 模块中所有独立途径至少测试一次 B. 测试所以逻辑决策真和假两个方面 C. 在所有循环的边界内部和边界上执行循环体 D. 不正确或漏掉的功能 答案:D 分数:1 题型：单选题 难度：1 2. 因果图方法是根据（）之间的因果关系来设计测试用例的。 A. 输入与输岀 B. 设计与实现 C. 条件与结果 D. 主程序与子程序 答案:A 分数:1 题型:单选题 难度：1 3. 使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准 A. 程序的内部逻辑 B. 程序的复杂程度 C. 使用说明书 D. 程序的功能 答案:A 分数:1 题型:单选题 难度:1 4. 软件测试中常用的静态分析方法是（）和接口分析。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 效率分析 答案:A 分数:1 题型:单选题 难度:1 5. 软件测试中常用的静态分析方法是引用分析和（）。 A. 引用分析 B. 算法分析 C. 可靠性分析 D. 接口分析 答案:D 分数:1 题型:单选题 难度:1 6. 白盒方法中常用的方法是（）方法。 A. 路径测试 B. 等价类 C. 因果图 D. 归纳测试
答案:A 分数:1 题型:单选题 难度:1 7. 在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A. 路径的集合 B. 循环的集合 C. 目标的集合 D. 地址的集合 答案:A 分数:1 题型：单选题 难度：1 8. 软件测试白箱测试是对软件的结构进行测试，下述： I.边缘值分析n.语句测试 皿.分值测试IV .路经测试 ）是其应包括的内容。 A. I B. n和皿 C.皿和V D. n .皿和V 答案:D 分数:1 题型:单选题 难度：1 9. 在进行单元测试时，常用的方法是（）。 A. 采用白盒测试，辅之以黑盒测试 B. 采用黑盒测试，辅之以白盒测试 C. 只适用白盒测试 D. 只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10. 白盒测试法一般使用于（）测试。 A. 单元 B. 系统 C. 集成 D. 确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]:[04] 白盒测试方法/[0401]逻辑覆盖法 11. 关于条件测试错误的是（） A. 可以检查程序中所包含的逻辑条件 B. 条件中包含的错误有布尔算子错误 C. 条件中包含的错误有布尔变量错误 D. 条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1
目录 1.软件测试 (1) 1.1软件测试实训平台 (2) 1.1.1实训平台的硬件环境 (2) 1.1.2实训平台的基本功能 (2) 1.2实训平台的使用 (3) 1.2.1进入实训平台并创建测试小组 (3) 3.软件测试计划 (4) 3.1测试目的 (4) 3.2测试内容 (4) 3.3测试人员 (4) 3.4测试方法 (4) 4.测试小组的角色分配和权限管理 (5) 5.软件测试过程 (8) 6.白盒测试和黑盒测试的实际案例 (9) 6.1三角形问题测试 (9) 7.测试评估 (16) 7.1黑盒测试与白盒测试的比较 (16) 8.心得体会 (16) 9.参考文献 (17)
1.软件测试 软件测试（Software Testing），描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。换句话说，软件测试是一种实际输出与预期输出之间的审核或者比较过程。软件测试的经典定义是：在规定的条件下对程序进行操作，以发现程序错误，衡量软件质量，并对其是否能满足设计要求进行评估的过程。 软件测试实训平台的使用和操作步骤 1.1软件测试实训平台 自动化测试综合实训部分内容是对所有测试内容的总结和集中应用，实训地点位于合作企业与专业共建的IBM软件测试实训中心，实训项目全部基于IBM 企业级实训平台对实训过程进行组织、管理、跟踪和评价，案例全部来源于企业，并精心选取，内容针对以学生的职业能力训练为核心，突出职业岗位需求，构建真实的职业环境，让学生在职业活动环境中提高技术应用的能力，培养综合职业素质，达到软件测试工程师岗位的能力要求，并具备一定的相关工作经验。从而实现训练环境与实际环境的“零距离”，训练项目与实际项目的“零距离”，毕业学生工作能力与用人企业要求的“零距离”。 1.1.1实训平台的硬件环境 软件测试实训中心于2006年与合作企业共建，该实训中心具有完善健全的综合服务体系，先进完备的计算机教学设备，IBM专业的网络服务器（Web服务器学员管理、数据库服务器、域服务器、文件服务器）；企业级的学习资料，视频；采用企业工位模式的环境布局，方便学生实训过程沟通交流，利于团队工作。 1.1.2实训平台的基本功能 一、教师首页 班级管理：添加删除班级，或者修改班级信息。可以查看班级的学员。 学员管理：添加删除学员，或者修改学员信息。可以将学员添加或者退出某个班级。
白盒测试和黑盒测试优缺点分析 黑盒测试 也称功能测试，它是通过测试来检测每个功能是否都能正常使用。在测试中，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下，在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息。黑盒测试着眼于程序外部结构，不考虑内部逻辑结构，主要针对软件界面和软件功能进行测试。 白盒测试 又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何运作的。"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。 白盒测试和黑盒测试是软件测试的两种基本方法 =========黑盒测试========= 优点： 1) 比较简单，不需要了解程序的内部的代码及实现 2) 与软件的内部实现无关
3) 从用户的角度出发，能很容易的知道用户会用到哪些功能，会遇到哪些问题 4) 基于软件开发文档，所以也能知道软件实现了文档中的哪些功能 5) 在做软件自动化测试时较为方便 缺点： 1) 不可能覆盖所有的代码，覆盖率较低，大概只能达到总代码量的30% 2) 自动化测试的复用性较低。 =========白盒测试========= 优点： 1) 帮助软件测试人员增大代码的覆盖率。提供代码的质量，发现代码中隐藏的问题 缺点： 1) 程序运行会有很多不同的路径，不可能测试所有的运行路径 2) 测试基于代码，只能测试开发人员做的对不对，而不能知道设计是否正确，可能会漏掉一些功能需求。 3) 系统庞大时，测试开销会非常大。
[试题分类]: [04]白盒测试方法/[0400][综合]白盒测试方法 1. 下面不属于白盒测试能保证的是。 A.模块中所有独立途径至少测试一次 B.测试所以逻辑决策真和假两个方面 C.在所有循环的边界内部和边界上执行循环体 D.不正确或漏掉的功能 答案:D 分数:1 题型:单选题 难度:1 2.因果图方法是根据（）之间的因果关系来设计测试用例的。 A.输入与输出 B.设计与实现 C.条件与结果 D.主程序与子程序 答案:A 分数:1 题型:单选题 难度:1 3.使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。 A.程序的内部逻辑 B.程序的复杂程度 C.使用说明书 D.程序的功能 答案:A 分数:1 题型:单选题 难度:1 4.软件测试中常用的静态分析方法是（）和接口分析。 A.引用分析 B.算法分析 C.可靠性分析 D.效率分析 答案:A 分数:1 题型:单选题 难度:1 5.软件测试中常用的静态分析方法是引用分析和（）。 A.引用分析 B.算法分析 C.可靠性分析 D.接口分析 答案:D 分数:1 题型:单选题 难度:1 6.白盒方法中常用的方法是（）方法。 A.路径测试 B.等价类 C.因果图 D.归纳测试 答案:A 分数:1 题型:单选题
7.在软件工程中，白箱测试法可用于测试程序的内部结构。此方法将程序看作是（） A.路径的集合 B.循环的集合 C.目标的集合 D.地址的集合 答案:A 分数:1 题型:单选题 难度:1 8.软件测试白箱测试是对软件的结构进行测试，下述： Ⅰ.边缘值分析Ⅱ.语句测试 Ⅲ.分值测试Ⅳ.路经测试 （）是其应包括的内容。 A.Ⅰ B.Ⅱ和Ⅲ C.Ⅲ和Ⅳ D.Ⅱ.Ⅲ和Ⅳ 答案:D 分数:1 题型:单选题 难度:1 9.在进行单元测试时，常用的方法是（）。 A.采用白盒测试，辅之以黑盒测试 B.采用黑盒测试，辅之以白盒测试 C.只适用白盒测试 D.只适用黑盒测试 答案:A 分数:1 题型:单选题 难度:1 10.白盒测试法一般使用于（）测试。 A.单元 B.系统 C.集成 D.确认 答案:A 分数:1 题型:单选题 难度:1 [试题分类]: [04]白盒测试方法/[0401]逻辑覆盖法 11.关于条件测试错误的是（） A.可以检查程序中所包含的逻辑条件 B.条件中包含的错误有布尔算子错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误 答案:D 分数:1 题型:单选题 难度:1 12.关于条件中包含的错误类型说法错误的是（） A.关系算子错误 B.算术表达式错误 C.条件中包含的错误有布尔变量错误 D.条件中包含的错误有接口错误
1.如图显示某程序的逻辑结构。试为它设计足够的测试用例，分别实现对程序的判定覆盖、条件覆盖和条件组合覆盖。 答案： 2、有二元函数f(x,y)，其中x∈[1,12]，y∈[1,31]；请分别写出该函数采用基本边界值分析法和健壮性边界值分析法设计的测试用例。（参阅课本，第5.1边界值分析部分的内容） 答：基本边界值分析法：{ <1,15>, <2,15>, <11,15>, <12,15>, <6,15>, <6,1>, <6,2>, <6,30>, <6,31> } 健壮性边界值分析法：{ <0,15>，<1,15>, <2,15>, <11,15>, <12,15>,<13,15> <6,15>, <6,0>，<6,1>, <6,2>, <6,30>, <6,31> <6,32>} 3. 用边界值测试法设计测试用例：
某程序要求输入三个整数x、y、z，分别作为长方体的长、宽、高，x、y、z的取值范围在2～20之间，计算长方体的体积。请给出健壮性边界值分析的测试用例。 4．设一个控制流图如下，请给出环形复杂度和基本测试路径。
答案：根据程序环形复杂度的计算公式，求出程序路径集合中的独立路径数目。 V(G)=区域数=4 或者V(G)=判定节点数+1=4。 或者V(G)=10-8+2，其中10是控制流图G中边的数量，8是控制流图中节点的数目。 (1)环形复杂度：4 (2)基本测试路径： 路径1：7->18 路径2：7->9->10->16->7->18 路径3：7->9->11->15->16->7->18 路径4：7->9->11->13->14->15->16->7->18 5、设有一个档案管理系统，要求用户输入以年月表示的日期。假设日期限定在1990年1月~2049年12月，并规定日期由6位数字字符组成，前4位表示年，后2位表示月。现用等价类划分法设计测试用例，来测试程序的"日期检查功能"。 1)划分等价类并编号,下表等价类划分的结果。 2)设计测试用例，以便覆盖所有的有效等价类在表中列出了3个有效等价类，编号分别为①、⑤、⑧，设计的测试用例如下：
软件测试基础视频教程——黑盒、白盒测试 近来，软件测试行业发展迅速，企业越来越重视测试了。越来越多的人加入了测试大军中，很多人也想通过自学来学习软件测试技术加入这个行业，更多的人开始关注软件测试案例教程，那么软件测试案例教程哪里好呢？软件测试案例教程内容有什么？软件测试案例教程学什么？下面我为大家简要介绍一下软件测试案例教程——黑盒测试和白盒测试 黑盒测试：已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。 白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。 软件的黑盒测试意味着测试要在软件的接口处进行。这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。因此黑盒测试又叫功能测试或数据驱动测试。黑盒测试主要是为了发现以下几类错误： 1、是否有不正确或遗漏的功能？ 2、在接口上，输入是否能正确的接受？能否输出正确的结果？
3、是否有数据结构错误或外部信息（例如数据文件）访问错误？ 4、性能上是否能够满足要求？ 5、是否有初始化或终止性错误？ 软件的白盒测试是对软件的过程性细节做细致的检查。这种方法是把测试对象看做一个打开的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。白盒测试主要是想对程序模块进行如下检查： 1、对程序模块的所有独立的执行路径至少测试一遍。 2、对所有的逻辑判定，取“真”与取“假”的两种情况都能至少测一遍。 3、在循环的边界和运行的界限内执行循环体。 4、测试内部数据结构的有效性，等等。
什么是黑盒测试和白盒测试？ 任何工程产品（注意是任何工程产品）都可以使用以下两种方法之一进行测试。 黑盒测试：已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。 软件的黑盒测试意味着测试要在软件的接口处进行。这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。因此黑盒测试又叫功能测试或数据驱动测试。黑盒测试主要是为了发现以下几类错误： 1、是否有不正确或遗漏的功能？ 2、在接口上，输入是否能正确的接受？能否输出正确的结果？ 3、是否有数据结构错误或外部信息（例如数据文件）访问错误？ 4、性能上是否能够满足要求？ 5、是否有初始化或终止性错误？ 软件的白盒测试是对软件的过程性细节做细致的检查。这种方法是把测试对象看做一个打开的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。白盒测试主要是想对程序模块进行如下检查： 1、对程序模块的所有独立的执行路径至少测试一遍。 2、对所有的逻辑判定，取“真”与取“假”的两种情况都能至少测一遍。 3、在循环的边界和运行的界限内执行循环体。 4、测试内部数据结构的有效性，等等。 以上事实说明，软件测试有一个致命的缺陷，即测试的不完全、不彻底性。由于任何程序只能进行少量（相对于穷举的巨大数量而言）的有限的测试，在未发现错误时，不能说明程序中没有错误。 白盒测试 白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。 这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技
软件测试 学生成绩管理系统 班级：09计算机应用技术1班 姓名：黄安 学号： 20090805210 指导老师：巫宗宾
软件测试是软件开发时期的最后一个阶段，也是软件质量和可靠性保证中至关重要的一个环节。软件测试的基本任务是通过在计算机上执行程序，暴露出程序潜在的错误，以便进行纠错，从而保证程序的可靠运行，降低软件的风险。 关键词：软件测试；黑盒测试；测试用例 软件测试是软件开发时期的最后一个阶段，也是软件质量和可靠性的保证中至关重要的一个缓解。软件测试的基本人物是通过在计算机上执行程序，暴露程序中潜在的错误，以便进行纠错，从而保证程序的可靠运行，降低软件的风险。 所谓测试用例，就是意发现错误为目的而精心设计的一组测试数据。测试一个程序，需要数量足够的一组测试用例，用数据词典的表示方法表示，可以写成： 测试用例=｛输入数据+输出数据｝ 这个是式子还表明，每一个完整的测试用例不仅包含有被测程序的输入数据，而且还包括用这组数据执行被测数据之后的预期的输出结果。每次测试，都要把实测的结果与期望结果做比较，若不相符，就表明程序可能存在错误。 一：白盒测试 二、黑盒测试-黑盒测试就是根据被测程序功能来进行测试，所以也称为功能测试。用黑盒法涉及测试用例，有四种常用技术；等价分类法，边界值分析法，决策表法和因果图法。 整个测试基于需求文档，看是否能满足需求文档中所有需求。黑盒测试要求测试者在测试时不能使用与被测系统内部结构相关的知识或经验，适用于对系统的功能进行测试。 黑盒测试的优点比较简单，不需要了解程序内部的代码及实现，从用户的角度出发，且是基于软件开发文档，也能知道软件实现了文档中的哪些功能，在做软件自动化测试是比较方便。黑盒测试法的缺点是覆盖率较低，自动化测试的复用性较低。 （1）等价分类法 所谓等价分类，就是把输入数据的可能值划分为若干个等价类，使每类中的任何一个测试用例都能代表同一个等价类中的其他测试用例。也就是说，如果从某一等价类中任意选出一个测试用例未能发现程序的错误，就可以合理地认为在该类中其他测试用例也不会发现程序的错误。 这些等价类又划分为代表“有效“输入值的有效等价类和代表“无效”输入值的无效等价类。需要注意的是：对于每一个无效等价类至少要用一个测试用例，不然就可能漏掉某一类错误，但允许若干个有效等价类何用同一测试用例，以便进一步减少测试的次数。 三：（2）边界值分析法 所谓边界值分析法是对输入的边界值进行测试。在测试用例设计中，需要对输入的条件进行分析并且找出其中的边界值条件，通过对这些边界值的测试来查出更多的错误。 边界值分析的基本思路，就是要把测试的重点放在各个等价类的边界上，选取刚好等于，大于、小于边界值的数据位测试数据，并据此设计出相应的测试用例 四：因果图法：因果图法能够帮助测试人员按照一定的步骤，高效率的开发测试用例，以检测程序输入条件的各种组合情况，它是将自然语言转化为形式语言规格说明的一种严格方法，可以指出规格说明存在的不完整性和二义性。 下面就是用黑盒测试法中的等价类划分法和边界值分析法来完成对学生成绩管理系统的测试。
白盒测试方法 一、静态结构分析法 程序的结构形式是白盒测试的主要依据。研究表明程序员38%的时间花费在理解软件系统上，因为代码以文本格式被写入多重文件中，这是很难阅读理解的，需要其它一些东西来帮助人们阅读理解，如各种图表等，而静态结构分析满足了这样的需求。 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据结构、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图标，可以清晰地标识整个软件系统的组成结构，使其便于阅读和理解，然后可以通过分析这些图标，检查软件有没有存在缺陷或错误。 其中函数调用关系图通过应用程序中各函数之间的调用关系展示了系统的结构。通过查看函数调用关系图，可以检查函数之间的调用关系是否符合要求，是否存在递归调用，函数的调用曾是是否过深，有没有存在独立的没有被调用的函数。从而可以发现系统是否存在结构缺陷，发现哪些函数是重要的，哪些是次要的，需要使用什么级别的覆盖要求...... 模块控制流图是与程序流程图相类似的由许多节点和连接节点的边组成的一种图形，其中一个节点代表一条语句或数条语句，边代表节点间控制流向，它显示了一个函数的内部逻辑结构。模块控制流图可以直观地反映出一个函数的内部逻辑结构，通过检查这些模块控制流图，能够很快发现软件的错误与缺陷 二、代码检查 代码检查包括桌面检查、代码审查和走查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码逻辑表达的正确性，代码结构的合理性等方面；发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的内容，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。 代码检查方法 1、代码检查法 （1）桌面检查：这是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序通过编译之后，对源程序代码进行分析、检验，并补充相关文档，目的是发现程序中的错误。由于程序员熟悉自己的程序及其程序设计风格，桌面检查由程序员自己进行可以节省很多的检查时间，但应避免主观片面性 （2）代码审查 由若干程序员和测试员组成一个审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。代码审查分两步：第一步，小组负责人提前把设计规格说明书、控制流程图、程序文本及有关要求、规范等分发给小组成员，作为审查的依据。小组成员在充分阅读这些材料后，进入审查的第二步，召开程序审查会。在会上，首先由程序员逐句简介程序的逻辑。
白盒测试和黑盒测试 目录 1.软件测试基本分类 (1) 2.测试方法 (2) 2.1白盒测试 (2) 2.1.1语句覆盖 (2) 2.1.2判定（分支）覆盖 (3) 2.1.3条件覆盖 (3) 2.1.4判定/条件覆盖 (4) 2.1.5多重条件覆盖 (5) 2.1.6路径覆盖 (7) 2.2黑盒测试 (7) 2.2.1等价划分 (7) 2.2.2边界值分析 (9) 2.2.3因果图 (10) 2.2.4错误猜测 (10)
1. 软件测试基本分类 一般地，我们将软件测试活动分为以下几类：黑盒测试、白盒测试、静态测试、动态测试、手动测试、自动测试等等。 黑盒测试 黑盒测试又叫功能测试、数据驱动测试或给予需求规格说明书的功能测试。这种测试注重于测试软件的功能性需求。 采用这种测试方法，测试工程师把测试对象看作一个黑盒子，不需要考虑程序内部的逻辑结构和特性，只需要依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。黑盒测试能更好更真实的从用户角度来考察被测系统的功能性需求实现情况。在软件测试的各个阶段，如单元测试、集成测试、系统测试及确认测试等阶段都发挥着重要作用。尤其在系统测试和确认测试中，其作用是其他测试方法无法取代的。 白盒测试 白盒测试又称结构测试、逻辑驱动测试或基于程序代码内部结构的测试。此时，需要深入考察程序代码的内部结构、逻辑设计等等。白盒测试需要测试工程师具备很深的软件开发工地，精通相应的开发语言，一般的软件测试工程师难以胜任该工作。 静态测试 静态测试，顾名思义，就是静态的、不执行被测对象程序代码而寻找缺陷的过程。通俗地讲，静态测试就是用眼睛看，阅读程序代码，文档资料等，与需求规格说明书中的需求进行比较，找出程序代码中设计的不合理，以及文档资料中的错误。 在进行代码的静态测试时，可以采用一些代码走查的工具，如 QA C++、C++ Test等。 动态测试 动态测试即为实际的执行被测对象的程序代码，输入事先设计好的测试用例，检查程序代码运行的结果与测试用例中设计的预期结果之间是否差异，判定实际结果与预期结果是否一致，从而检验程序的正确性、可靠性和有效性，并分析系统运行效率和健壮性等性能状况。 动态测试由四部分组成：设计测试用例、执行测试用例、分析比较输出结果、输出测试报告。 动态测试结合使用白盒测试和黑盒测试。
黑盒测试与白盒测试的区别 黑盒测试 黑盒测试注重于测试软件的功能性需求，也即黑盒测试使软件工程师派生出执行程序所有功能需求的输入条件。黑盒测试并不是白盒测试的替代品，而是用于辅助白盒测试发现其他类型的错误。黑盒测试试图发现以下类型的错误： 1 ）功能错误或遗漏； 2 ）界面错误； 3 ）数据结构或外部数据库访问错误； 4 ）性能错误； 5 ）初始化和终止错误。 白盒测试在测试的早期采用，而黑盒测试主要用于测试的后期。黑盒测试故意不考虑控制结构，而是注意信息域。黑盒测试用于回答以下问题： 1 ）如何测试功能的有效性？ 2 ）何种类型的输入会产生好的测试用例？ 3 ）系统是否对特定的输入值尤其敏感？ 4 ）如何分隔数据类的边界？ 5 ）系统能够承受何种数据率和数据量？ 6 ）特定类型的数据组合会对系统产生何种影响？ 运用黑盒测试方法，可以导出满足以下标准的测试用例集： 1 ）所设计的测试用例能够减少达到合理测试所需的附加测试用例数； 2 ）所设计的测试用例能够告知某些类型错误的存在或不存在，而不是仅仅与特定测试相关的错误。 黑盒测试 一．黑盒测试概述 1．定义 1）也称功能测试，它是通过测试来检测每个功能是否都能正常使用 2）把程序看成一个黑盒子，完全不考虑程序内部结构和内部特性，着眼于程序外部结构，不考虑内部逻辑结构 3）在程序接口进行测试，只检查程序功能是否按照需求说明书的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息 4）主要针对软件界面和软件功能进行测试 2．试图发现的错误类型 1）功能不正确或遗漏 2）界面错误（输入能否正确的接收？能否输出正确的结果） 3）数据库访问错误（如数据结构定义错误或外部信息（如数据文件）访问错误） 4）性能错误 5）初始化和终止错误 3．黑盒测试用例设计方法 （1）等价类划分法：把程序的输入域划分成若干部分，然后从每个部分中选取少数代表性数据作为测试用例。每一类的代表性数据在测试中的作用等价于这一类的其他值 （2）边界值分析法：通过选择等价类边界的测试用例。不仅重视输入条件边界，而且也必须考虑输出域边界 （3）错误推测法：基于经验和直觉推测程序中所有可能存在的各种错误，从而有针对性地