1、第3章 软件测试基本技术,3.1 黑盒测试与白盒测试 3.2 白 盒 测 试技术 3.3 黑 盒 测 试技术,3.1 黑盒测试与白盒测试,任何工程产品都可以使用白盒测试和黑盒测试两种方法之一进行测试。 1黑盒测试黑盒测试：已知产品的功能设计规格和用户手册，可以进行测试证明每个功能是否实现、每个实现了的功能是否符合要求，以及产品的性能是否满足用户的要求。,软件的黑盒测试意味着测试要在软件的接口处进行，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书和用户手册，检查程序的功能是否符合它的功能说明，以及性能是否满足用户的要求。因此黑盒测试又叫功能测试或数据驱动测试。,黑盒测
2、试主要是为了发现以下几类错误：1. 是否有不正确或遗漏的功能？ 2. 在接口上，输入是否能正确的接受？能否输出正确的结果？ 3. 是否有数据结构错误或外部信息（例如数据文件）访问错误？ 4. 性能上是否能够满足要求？ 5. 是否有初始化或终止性错误？,2白盒测试白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。软件的白盒测试是对软件的过程性细节做细致的检查，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构
3、测试或逻辑驱动测试。,白盒测试须对程序模块进行如下检查：1. 保证一个模块中的所有独立路径至少被使用一次2. 对所有逻辑值均测试true和false。3. 在循环的边界和运行的界限内执行循环体。 4. 检查内部数据结构以确定其有效性。,3.2 白 盒 测 试 技 术,白盒测试是一种被广泛使用的逻辑测试方法，也称为结构测试或逻辑驱动测试。白盒测试对象基本上是源程序，是以程序的内部逻辑为基础的一种测试方法。,白盒测试方法又可分为静态测试和动态测试。静态测试是一种不通过执行程序而进行测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。它瞄准的是纠正软件系统在描述、表示和规格上
4、的错误，是任何进一步测试的前提。而动态测试需要软件的执行，当软件系统在模拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析是动态测试的主要特点。它显示了一个系统在检查状态下是正确还是不正确。,3.2.1 白盒测试静态测试最常见的静态测试是找出源代码的语法错误，这类测试可由编译器来完成，因为编译器可以逐行分析检验程序的语法，找出错误并报告。除此之外，测试人员须采用人工的方法来检验程序，有些地方存在非语法方面的错误，只能通过人工检测的方法来判断。人工检测的方法主要有代码检查法、静态结构分析法等。,1代码检查法代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查：(1) 检
5、查代码和设计的一致性；(2) 代码的可读性以及对软件设计标准的遵循情况；(3) 代码逻辑表达的正确性；(4) 代码结构的合理性；(5) 程序中不安全、不明确和模糊的部分；(6) 编程风格方面的问题等。,代码检查方式主要有：（1）桌面检查 （2）代码审查 （3）走查,2静态结构分析法在静态结构分析中，测试人员通常通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。通过分析这些图表，包括控制流分析、数据流分析、接口分析、表达式分析等，使其便于阅读与理解，然后可以通过
6、分析这些图表，检查软件有没有存在缺陷或错误。,3.2.3 逻辑覆盖逻辑覆盖也是白盒测试主要的动态测试方法之一，是以程序内部的逻辑结构为基础的测试技术，是通过对程序逻辑结构的遍历实现程序的覆盖，这一方法要求测试人员对程序的逻辑结构有清楚的了解,从覆盖源程序语句的详细程度分析，逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖。为便于理解，根据下面所示的2个被测试程序（用C语言书写），分别讨论几种常用的覆盖技术。,程序1如下：function js（float A，float B，float X） if（ A1&B=0）X=X/A； if（A=2|X1） X=X+1；,fun
7、ction js（float A，float B，float X）if（ A1&B=0）X=X/A； if（A=2|X1）X=X+1；,程序2如下：void DoWork(int x，int y，int z) if ( ( x3 ) ,void DoWork(int x，int y，int z) if ( ( x3 ) ,1语句覆盖程序中每个语句都被执行至少一次。,为使程序中每个语句至少执行一次，只需设计一个能通过路径a-c-e的数据就可以了,例如： A=2，B=0，X=3,测试用例输入为：x=4、y=5、z=5 执行路径：a-b-d。,2判定覆盖程序中每个判断的取真分支和取假分支至少经历一次
8、。判定覆盖又称为分支覆盖。,A=3，B=0，X=1a-c-dA=2，B=1，X=3a-b-e,x=4，y=5，z=5 x=2，y=5，z=5,3条件覆盖每一判定中各个逻辑条件的所有可能（真/假）至少出现一次。,A=2，B=0，X=4A=1，B=1，X=1,x3 取真为T1，取假为F1 z5 取真为T4，取假为F4x=4，y=6，z=5 : T1、T2、T3、T4 x=2，y=5，z=5 : F1、T2、F3、F4 x=4，y=5，z=15 : T1、F2、F3、F4,4条件判定组合覆盖判定中每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。,A=2，
9、B=0，X=4a-c-eA=1，B=1，X=1a-b-d,x3 取真为T1，取假为F1 z5 取真为T4，取假为F4x=4，y=6，z=5 : T1、T2、T3、T4 x=2，y=5，z=11 : F1、F2、F3、F4,5多条件覆盖每个判定中条件的各种可能组合都至少出现一次。显然满足多条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和条件判定组合覆盖的。,x3 , z3 , z=10 T1，F2 取假分支x=10 F1，F2 取假分支x=4 , y5 T3，T4 取真分支 x=4 , y5 F3，T4 取真分支 x!=4 , y=5 F3，F4 取假分支,x3 , z3 , z=10 T1，F
10、2 取假分支x=10 F1，F2 取假分支 x=4 , y5 T3，T4 取真分支 x=4 , y5 F3，T4 取真分支 x!=4 , y=5 F3，F4 取假分支 x=4，y=6，z=5 : T1、T2、T3、T4 x=2，y=5，z=15 : F1、F2、F3、F4 x=4，y=5，z=15 : T1、F2、T3、F4 x=2，y=6，z=5 : F1、T2、F3、T4,3.2.2 程序插桩技术在软件动态测试中，程序插桩是一种基本的测试手段，有着广泛的应用。程序插桩方法是借助往被测程序中插入操作，来实现测试目的的方法，即向源程序中添加一些语句，实现对程序语句的执行、变量的变化等情况进行检
11、查。,想要了解一个程序在某次运行中所有可执行语句被覆盖的情况，或是每个语句的实际执行次数，最好的办法是利用插桩技术。这里仅以计算整数X和整数Y的最大公约数程序为例，说明插桩方法的要点。图3-1给出了这一程序的流程图。,图3-1 插桩后求最大公约数程序的流程图,设计插桩程序时需要考虑的问题包括： 探测哪些信息； 在程序的什么部位设置探测点； 需要设置多少个探测点； 如何在程序中特定部位插入某些用以判断变量特性的语句。,3.2.4 基本路径测试法上节的例子是个比较简单的程序段，只有两条路径。但在实际问题中，即使一个不太复杂的程序，其路径的组合都是一个庞大的数字。基本路径测试法是在程序控制流图的基础
12、上，通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一条可执行语句至少执行一次。,1程序的控制流图控制流图是描述程序控制流的一种图示方式。其中基本的控制结构对应的图形符号如图3-5所示。在图3-5所示的图形符号中，圆圈称为控制流图的一个结点，它表示一个或多个无分支的语句或源程序语句。,图3-5 控制流图的图形符号,图3-6（a）所示的是一个程序的流程图，它可以映射成图（b）所示的控制流图。,图3-6 程序流程图和对应的控制流图,图3-7 复合逻辑下的控制流程图,if（ a and b）then x else y*if a theni
13、f bthen xelse yelse y,2基本路径测试法的步骤(1) 画出程序控制流图,(2) 计算程序环路复杂性进行程序的基本路径测试时，程序的环路复杂性给出了程序基本路径集合中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。所谓独立路径，是指包括若干未曾处理的语句或条件的一条路径,基本路径集不是惟一的，对于给定的控制流图，可以得到不同的基本路径集。通常环路复杂性可用以下3种方法求得。 将环路复杂性定义为控制流图中的区域数。 设E为控制流图的边数，N为图的结点数，则定义环路的复杂性为V(G)=EN+2。 若设P为控制流图中的判定结点数，则有V(G)=P
14、+1。, 将环路复杂性定义为控制流图中的区域数。, 设E为控制流图的 边数，N为图的结点数，则定义环路的复杂性为V(G)=EN+2。, 若设P为控制流图中的判定结点数，则有V(G)=P+1。,(3) 确定独立路径集合,(3) 确定独立路径集合,路径1：1-11 路径2：1-2-6-7-9-10-1-11 路径3：1-2-6-8-9-10-1-11 路径4：1-2-4-10-1-11,(4) 准备测试用例,路径1：1-11 路径2：1-2-6-7-9-10-1-11 路径3：1-2-6-8-9-10-1-11 路径4：1-2-4-10-1-11,3.2.5 其他白盒测试方法 1域测试域测试是一种
15、基于程序结构的测试方法。 域测试正是在分析输入空间的基础上，选择适当的测试点以后进行测试的。域错误，计算错误，路径丢失错误对程序要求高，测试成本高,2符号测试符号测试的基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，这一方法也因此而得名。 符号代表一类数值，输出为表达式。对编译器和解释器的功能要求高,3Z路径覆盖路径覆盖：检验程序从入口开始，执行过程中经历的所有路径，直到出口。 Z路径覆盖：简化循环意义下的路径覆盖。 只考虑循环执行零次和一次两种情况。,4程序变异程序变异方法是一种错误驱动测试。所谓错误驱动测试方法，是指该方法是针对某类特定程序错误的。经过多年的测试理论研究和软
16、件测试的实践，人们逐渐发现要想找出程序中所有的错误几乎是不可能的。比较现实的解决办法是将错误的搜索范围尽可能地缩小，以利于专门测试某类错误是否存在。,3.2.6 白盒测试应用策略（1）在测试中，应尽量先使用工具进行静态结构分析。（2）测试中可采取先静态后动态的组合方式：先进行静态结构分析、代码检查，再进行覆盖率测试。,（3）利用静态分析的结果作为导引，通过代码检查和动态测试的方式对静态发现结果进行进一步的确认，使测试工作更为有效。（4）覆盖率测试是白盒测试的重点，一般可使用基本路径测试法达到语句覆盖标准；对于软件的重点模块，应使用多种覆盖率标准衡量代码的覆盖率。,（5）在不同的测试节点，测试的
17、侧重点不同：在单元测试阶段，以代码检查、逻辑覆盖为主；在集成测试阶段，需要增加静态结构分析等；在系统测试阶段，应根据黑盒测试的结果，采取相应的白盒测试。,3.3 黑 盒 测 试 技 术,黑盒测试也称数据驱动测试，在测试时，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构盒内部特性的情况下，测试者在程序接口进行测试。在黑盒测试过程中，只是通过输入数据、进行操作、观察输出结果，来检查软件系统是否按照需求规格说明书的规定正常使用，软件是否能适当地接收输入数据而产生正确的输出信息，并保持外部信息的完整性。,3.3.1 功能测试1. 等价类划分法等价类划分是一种典型的、常用的黑盒测试方法。所谓等
18、价类是指某个输入域的子集，使用这一方法时，是把所有可能的输入数据，即程序的输入域划分成若干部分（子集），然后从每一个子集中选取少数具有代表性的数据作为测试用例。,等价类的划分有以下两种不同的情况 有效等价类：是指对于程序规格说明来说，是合理的、有意义的输入数据构成的集合。利用它，可以检验程序是否实现了规格说明预先规定的功能和性能。 无效等价类 ：是指对于程序规格说明来说，是不合理的、无意义的输入数据构成的集合。利用它，可以检查程序中功能和性能的实现是否有不符合规格说明要求的地方。,划分等价类的方法如下： 按区间划分 按数值划分 按数值集合划分 按限制条件划分 按限制规则划分 按处理方式划分,0
19、 100,0 100,有效等价类,无效等价类,无效等价类,在确立了等价类之后，建立等价类表，列出所有划分出的等价类，如表3-1所示。,再从划分出的等价类中按以下原则选择测试用例。 为每一个等价类规定一个惟一的编号。 设计一个新的测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类；重复这一步骤，直到所有的有效等价类都被覆盖为止。 设计一个新的测试用例，使其仅覆盖一个无效等价类，重复这一步骤，直到所有的无效等价类都被覆盖为止。,2.边界值分析法边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。在测试过程中，边界值分析法是通过选择等价类边界的测试用例进行测试，边界值分析法与等价类划分法的
20、区别是边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。另外，边界值分析不仅考虑输入条件边界，还要考虑输出域边界产生的测试情况。,使用边界值分析方法设计测试用例，首先应确定边界情况。通常输入等价类与输出等价类的边界，就是应着重测试的边界情况。应当选取正好等于，刚刚大于，或刚刚小于边界的值作为测试数据，而不是选取等价类中的典型值或任意值作为测试数据。,0 100,0 100,0 100,-0,0,+0 100-0,100,100+0,选择测试用例的原则如下。 如果输入条件规定了值的范围，则应该取刚达到这个范围的边界值，以及刚刚超过这个范围边界的值作为测试输
21、入数据。 如果输入条件规定了值的个数，则用最大个数、最小个数、比最大个数多1个、比最小个数少1 个的数作为测试数据。, 根据规格说明的每一个输出条件，使用前面两条规则 。如果程序的规格说明给出的输入域或输出域是有序集合（如有序表、顺序文件等），则应选取集合的第一个和最后一个元素作为测试用例。, 如果程序用了一个内部结构，应该选取这个内部数据结构的边界值作为测试用例。 分析规格说明，找出其他可能的边界条件。,3. 错误推测法基于经验和直觉推测程序中所有可能存在的各种错误，从而有针对性的设计测试用例的方法，这就是错误推测法。 错误推测法的基本想法是：列举出程序中所有可能有的错误和容易发生错误的特殊
22、情况，根据它们选择测试用例。,4. 因果图法因果图法是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。,利用因果图生成测试用例的基本步骤如下。 找出原因和结果。原因是输入条件或输入条件的等价类，结果是输出条件。 找出原因与结果之间的关系，初步画出因果图。 标明约束条件。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干标准的符号标明约束条件。,恒等：原因出现，则结果出现；原因不出现，则结果也不出现。 非：原因出现，则结果不出现；原因不出现，则结果出现。,或：多个原因只要有一个出现，则结果出
23、现。 与：多个原因同时出现，结果才会出现。,E（互斥）：表示两个原因不会同时成立，最多有1个可能成立。 I（包含）：表示多个原因中至少有一个必须成立。 O（唯一）：表示两个原因中有且仅有1个成立。 R（要求）：表示某个原因必须在其他原因成立时才出现。 M（强制）：表示某个原因必须在其他原因不成立时才出现。, 把因果图转换成判定表。 为判定表中的每一列设计测试用例。,5. 场景法现在的软件几乎都是用事件触发来控制流程的，事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果就形成事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计
24、者设计测试用例，同时使测试用例更容易理解和执行。,用例场景用来描述流经用例的路径，从用例开始到结束遍历这条路径上所有基本流和备选流。 1基本流和备选流如图3-17所示，图中经过用例的每条路径都用基本流和备选流来表示，直黑线表示基本流，是经过用例的最简单的路径。备选流用不同的色彩表示，一个备选流可能从基本流开始，在某个特定条件下执行，然后重新加入基本流中（如备选流1和3）；也可能起源于另一个备选流（如备选流2），或者终止用例而不再重新加入到某个流（如备选流2和4）。,图3-17 基本流和备选流,2场景法设计步骤根据说明，描述出程序的基本流及各项备选流；根据基本流和各项备选流生成不同的场景；对每一
25、个场景生成相应的测试用例；对生成的所有测试用例重新复审，去掉多余的测试用例，测试用例确定后，对每一个测试用例确定测试数据值,6. 判定表驱动法判定表（Decision Table）是分析和表达多逻辑条件下执行不同操作的情况下的工具。在程序设计发展的初期，判定表就已被当作编写程序的辅助工具了。由于它可以把复杂的逻辑关系和多种条件组合的情况表达得既具体又明确，能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，在一些数据处理问题当中，若某些操作的实施依赖于多个逻辑条件的组合,判定表通常由四个部分组成，如图3-18所示。 条件桩：列出了问题得所有条件，通常认为列出得条件的次序无关紧
26、要。 动作桩：列出了问题规定可能采取的操作，这些操作的排列顺序没有约束。 条件项：列出针对它条件的取值，在所有可能情况下的真假值。 具体项：列出在条件项的各种取值情况下应该采取的动作。,图3-18 判定表四个组成部分,生成条件表的规则如下： 规则：任何一个条件组合的特定取值及其相应要执行的操作称为规则。在判定表中贯穿条件项和动作项的一列就是一条规则。显然,判定表中列出多少组条件取值,也就有多少条规则,既条件项和动作项有多少列。 化简：就是把有两条或多条具有相同的动作，并且其条件项之间存在着极为相似的关系的规则合并。,判定表的建立步骤: 确定规则的个数，假如有n个条件，每个条件有两个取值（0，1
27、），故有n 种规则；列出所有的条件项和动作项； 填入条件取值； 填入集体动作，得到初始判定表。 简化，合并相似规则（相同动作）。,适合使用判定表设计测试用例的条件：规格说明以判定表形式给出，或很容易转换成判定表。 条件的排列顺序不会也不影响执行哪些操作。 规则的排列顺序不会也不影响执行哪些操作。 每当某一规则的条件已经满足，并确定要执行的操作后，不必检验别的规则。 如果某一规则得到满足要执行多个操作，这些操作的执行顺序无关紧要。,7. 正交试验法正交实验设计方法:是依据Galois理论，从大量的（实验）数据（测试例）中挑选适量的，有代表性的点（例），从而合理地安排实验（测试）的一种科学实验设计
28、方法。类似的方法有:聚类分析方法,因子方法方法等。,正交试验法常使用下面2个术语： 因子：影响实验指标的条件称为因子。 因子的状态：影响实现因子的条件。,利用正交实验设计测试用例的步骤 提取功能说明,构造因子-状态表 加权筛选,生成因素分析表 利用正交表构造测试数据集,8. 功能图法功能图法是用功能图形象地表示程序的功能说明，并机械地生成功能图的测试用例，功能图方法是一种黑盒白盒混合用例设计方法。程序功能说明包括动态说明和静态说明。动态说明：描述输入数据的次序或转移次序。静态说明：描述输入条件和输出条件之间的对应关系。,功能图：功能图模型由状态迁移图和逻辑功能模型构成。状态迁移图：用于表示输入
29、数据序列以及相应的输出数据；由输入数据和当前状态决定输出数据和后续状态。 逻辑功能模型：用于表示在状态中输入条件和输出条件的对应关系。由输入数据决定输出数据。此模型只适用于描述静态说明。,功能图生成测试用例步骤如下： 生成局部测试用例：在每个状态中，从因果图生成局部测试用例； 测试路径生成：利用上面的规则生成从初始状态到最后状态的测试路径； 测试用例合成：合成测试路径与功能图中每个状态的局部测试用例。结果是初始状态到最后状态的一个状态序列，以及每个状态中输入数据与对应输出数据的组合； 采用条件构造树测试用例的合成算法。,3.3.2 非功能测试1. 强度测试强度测试是验证软件的性能在各种极端的周
30、边环境和系统条件下是否能正常工作，也就是验证软件的性能在各种极端的周边环境和系统条件下的承受能力。这里所谓“强度”包括了两项：一项是超载运行测试，另一项是容量测试。,超（满）载运行测试：是对软件在单位时间内所能承受的荷载的极限进行验证。 容量测试：是对软件系统处理大量数据的能力进行检验。,2. 性能测试性能测试通常是验证软件的性能在正常环境和系统条件下重复使用时是否还能满足性能指标，软件的性能测试是系统测试中难度较大的测试。软件系统的性能测试包括：系统反应时间、用户反应时间、软件界面反应时间、中央处理器的利用率、检查系统记忆容量在运行程序时有没有流失现象（或称内存泄露，）等。,3. 安全测试软
31、件安全测试是为了检验软件对数据的保密及对数据完整性的测试。可以说，任何的软件都只是在一定程度上安全而没有绝对安全的软件。一般情况下，软件的安全检验是由专门人员完成的，测试工程师只能从功能检测的角度去配合。,4. 安装与卸装测试安装测试：在安装过程中，注意测试软件给用户的提示是否清楚明了、安装的操作是否容易、安装过程是否太冗长、各系统设置是否正确、安装完成后软件是否能正常运作、安装过程有没有干扰计算机中其他的程序等。卸装测试：卸装测试要考虑卸装过程中，系统的提示是否清楚明了、操作是否简单、卸装是否彻底、系统设置是否回复到安装前状态等。软件卸装通常遇到的问题是卸装不彻底，比如安装时设立的文件夹没有
32、清除、 里面的设置是否清理干净等。,5. 配置测试配置测试主要注意三个方面：一是软件安装与卸装过程中系统配置的变化；二是软件完成安装后，人为改变配置；三是硬件的不同组合是否与软件兼容。,6. 兼容性测试兼容性测试是针对测试中软件与其他软件之间，以及被测试的软件与不同硬件之间的兼容性进行的测试。兼容测试应包括以下这些：1. 操作系统兼容2. 硬件兼容3. 软件兼容4. 数据库兼容5. 数据兼容,7. 故障修复测试故障修复测试是为了保证软件无论在遇到特殊事故或任何出错的情况下，一旦故障排除，即能迅速恢复到事故或出错前的状况，继续正常运行。测试人员可用各种方法使软件出错，观察软件的反应，然后排错，看
33、看软件是否会恢复到原来的状态并正常工作。这一测试技术广泛应用于文件传输软件、数据库的相关软件的测试中。,8. 使用性能测试使用性能测试从用户的角度去审视及改进软件，从而保证了软件的使用性能。使用性能测试一般是由用户实现的，通常情况下，由于用户接触该软件的时间不长，因而需要在测试人员或技术人员的协助下进行。很多时候，该类测试是通过Alpha及Beta 测试来实现的。,9. 帮助菜单及用户说明测试软件的帮助菜单系统及用户说明书等是最容易被测试部门忽略的。大家都集中精力测试软件的各部分功能，但是不要忘记，帮助菜单系统及用户说明书也会有许多错误出现，对这部分的测试应该一并列入测试工作中。测试帮助菜单及
34、用户说明书，很重要的是对其使用性能进行测试，也就是从用户的角度来检验使用的方便程度及其可靠性、准确性。,3.3.3 黑盒测试策略 在实际测试中，往往是综合使用各种方法才能有效提高地提高测试效率和测试覆盖率，这就需要认真掌握这些方法的原理，积累更多的测试经验，以有效地提高测试水平。,以下是功能测试部分的各种黑盒测试方法的综合选择的策略。 首先进行等价类划分，包括输入条件和输出条件的等价划分，将无限测试变成有限测试，这是减少工作量和提高测试效率最有效的方法。 在任何情况下都必须使用边界值分析方法。经验表明，用这种方法设计出的测试用例发现程序错误的能力最强。, 可以用错误推测法追加一些测试用例，这需要依靠测试工程师的智慧和经验。 对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度。如果没有达到要求的覆盖标准，应当再补充足够的测试用例。 如果程序的功能说明中含有输入条件的组合情况，则一开始就可选用因果图法和判定表驱动法。, 对于参数配置类的软件，要用正交试验法选择较少的组合方式达到最佳效果。 功能图法也是很好的测试用例设计方法，我们可以通过不同时期条件的有效性设计不同的测试数据。 对于业务流清晰的系统，可以利用场景法贯穿整个测试案例过程，在案例中综合使用各种测试方法。,
