《软件测试方法与技术概论》
《软件测试方法与应用》
〈Software Testing〉     Sams RonPatton(美)  [机械工程出版社]
〈实用软件测试指南〉     [清华大学出版社]
〈软件测试经验与教训〉
〈计算机软件测试技术〉
〈自动化测试的引入，管理与实施〉 Elfriede Dustin [清华大学出版社]  推荐e文原版
〈有效软件测试〉  Elfriede Dustin [清华大学出版社]  新语译
〈软件测试〉 Paul.C.Jorgensen CRC [机械工程出版社]
〈软件测试自动化〉  Paniel J.Moslsy [机械工程出版社]   邓波译 中文翻译的不错

测试书籍介绍之测试书籍汇总

逻辑覆盖是以 程序内部的逻辑结构为基础 的设计测试用例的技术。它属白盒测试。

L1  (  a  à  c  à  e  )

=  { (A>1)  and  (B=0) } and 

          { (A=2)  or  (X/A>1) }

= (A>1)  and  (B=0)  and  (A=2)  or

          (A>1)  and  (B=0)  and  (X/A>1)

=  (A=2)  and  (B=0)   or

           (A>1)  and  (B=0)  and  (X/A>1)

L2 ( a à  b  à  d )

=  not{ (A>1)  and  (B=0) }   and 

          not{ (A=2)  or  (X>1) }

=  { not  (A>1)  or not  (B=0)  } and

          { not  (A=2)  and not  (X>1)  }

=   not  (A>1)  and not  (A=2)  and not  (X>1)

                               or 

    not  (B=0)  and   not  (A=2)  and not  (X>1)

L3 ( a à  b à  e)

=  not { (A>1)  and  (B=0) } and

         { (A=2)  or  (X>1) }

=  { not  (A>1)  or not  (B=0) } and  

         { (A=2)  or  (X>1) }

=  not  (A>1)  and  (A=2)   or 

         not  (A>1)  and   (X>1)   or

         not  (B=0)  and  (A=2)   or

         not  (B=0)  and  (X>1)

L4 ( a à  c  à  d )

=  { (A>1)  and  (B=0) }   and

         not   { (A=2)  or  (X/A>1) }

=  (A>1)  and  (B=0)  and not  (A=2)  and  

          not  (X/A>1)

语句覆盖 就是设计若干个测试用例，运行被测程序，使得 每一可执行语句至少执行一次 。

在图例中，正好所有的可执行语句都在 路径 L1 上，所以选择 路径   L1 设计测试用例，就可以覆盖所有的可执行语句。
测试用例的设计格式如下
【输入的 ( A ,  B ,  X ) ， 输出的 ( A ,  B ,  X ) 】

为图例设计满足 语句覆盖 的测试用例是 :
【 (2, 0, 4) ， (2, 0, 3) 】　 覆盖   ace 【 L1 】

判定覆盖 就是设计若干个测试用例，运行被测程序，使得 程序中每个判断的取真分支和取假分支至少经历一次 。 判定覆盖又称为 分支覆盖 。

    对于图例，如果选择 路径 L1 和 L2 ， 就可得满足要求的测试用例 : 如果选择路径 L3 和 L4 ， 还可得另一组可用的测试用例

条件覆盖 就是设计若干个测试用例，运行被测程序，使得程序中 每个判断的每个条件的可能取值至少执行一次 。

判定－条件覆盖 就是设计足够的测试用例，使得 判断中每个条件的所有可能取值至少执行一次 ， 每个判断中的每个条件的可能取值至少执行一次 。

条件组合覆盖 就是设计足够的测试用例，运行被测程序，使得 每个判断的所有可能的条件取值组合至少执行一次 。

路径测试 就是设计足够的测试用例， 覆盖程序中所有可能的路径 。

因果分析图是以结果作为特性，以原因作为因素，在它们之间用箭头联系表示因果关系。因果分析图是一种充分发动员工动脑筋，查原因，集思广益的好办法，也特别适合于工作小组中实行质量的民主管理。当出现了某种质量问题，未搞清楚原因时，可针对问题发动大家寻找可能的原因，使每个人都畅所欲言，把所有可能的原因都列出来。

所谓因果分析图，就是将造成某项结果的众多原因，以系统的方式图解，即以图来表达结果（特性）与原因（因素）之间的关系。其形状像鱼骨，又称鱼骨图。

某项结果之形成，必定有原因，应设法利用图解法找出其因。首先提出了这个概念的是日本品管权威石川馨博士，所以特性原因图又称[石川图]。因果分析图，可使用在一般管理及工作改善的各种阶段，特别是树立意识的初期，易于使问题的原因明朗化，从而设计步骤解决问题。

（1） 因果分析图使用步骤

步骤1：集合有关人员。

召集与此问题相关的，有经验的人员，人数最好4-10人。

步骤2：挂一张大白纸，准备2-3支色笔。

步骤3：由集合的人员就影响问题的原因发言，发言内容记入图上，中途不可批评或质问。（脑力激荡 法）

步骤4：时间大约1个小时，搜集20-30个原因则可结束。

步骤5：就所搜集的原因，何者影响最大，再由大轮流发言，经大家磋商后，认为影响较大予圈上红色 圈。

步骤6：与步骤5一样，针对已圈上一个红圈的，若认为最重要的可以再圈上两圈，三圈。

步骤7：重新画一张原因图，未上圈的予于去除，圈数愈多的列为最优先处理。

因果分析图提供的是抓取重要原因的工具，所以参加的人员应包含对此项工作具有经验者，才易秦效。

（2）因果分析图与柏拉图之使用

建立柏拉图须先以层别建立要求目的之统计表。建立柏拉图之目的，在于掌握影响全局较大的重要少数项目。再利用特性原因图针对这些项目形成的原因逐予于探讨，并采取改善对策。所以因果分析图可以单独使用，也可连接柏拉图使用。

（3） 因果分析图再分析

要对问题形成的原因追根究底，才能从根本上解决问题。形成问题之主要原因找出来以后，再以实验设计的方法进行实验分析，拟具体实验方法，找出最佳工作方法，问题也许能得以彻底解决，这是解决问题，更是预防问题。

任何一个人，任何一个企业均有它追求的目标，但在追求目标的过程中，总会有许许多多有形与无形的障碍，而这些障碍是什么，这些障碍何于形成，这些障碍如何破解等问题，就是原因分析图法主要的概念。

一个管理人员，在他的管理工作范围内所追求的目标，假如加以具体的归纳，我们可得知从项目来说不是很多。然而就每个追求的项目来说，都有会有影响其达成目的的主要原因及次要原因，这些原因就是阻碍你达成工作的变数。

如何将追求的项目一一地罗列出来，并将影响每个项目达成的主要原因及次要原因也整理出来，并使用因果分析图来表示，并针对这些原因有计划地加以强化，将会使你的管理工作更加得心应手。

同样地，有了这些原因分析图，即使发生问题，在解析问题的过程中，也能更快速，更可靠。

白盒测试工具

　　白盒测试工具一般是针对代码进行测试，测试中发现的缺陷可以定位到代码级，根据测试工具原理的不同，又可以分为静态测试工具和动态测试工具。

　　静态测试工具：直接对代码进行分析，不需要运行代码，也不需要对代码编译链接，生成可执行文件。静态测试工具一般是对代码进行语法扫描，找出不符合编码规范的地方，根据某种质量模型评价代码的质量，生成系统的调用关系图等。静态测试工具的代表有：Telelogic公司的Logiscope软件；PR公司的PRQA软件。

　　动态测试工具：动态测试工具与静态测试工具不同，动态测试工具的一般采用"插桩"的方式，向代码生成的可执行文件中插入一些监测代码，用来统计程序运行时的数据。其与静态测试工具最大的不同就是动态测试工具要求被测系统实际运行。动态测试工具的代表有：Compuware公司的DevPartner软件；Rational公司的Purify系列等。

黑盒测试工具

　　黑盒测试工具适用于黑盒测试的场合，黑盒测试工具包括功能测试工具和性能测试工具。黑盒测试工具的一般原理是利用脚本的录制(Record)/回放(Playback)，模拟用户的操作，然后将被测系统的输出记录下来同预先给定的标准结果比较。黑盒测试工具可以大大减轻黑盒测试的工作量，在迭代开发的过程中，能够很好地进行回归测试。黑盒测试工具的代表有：Rational公司的TeamTest、Robot；Compuware公司的QACenter。

性能测试工具

　　专用于性能测试的工具包括有：Radview公司的WebLoad；Microsoft公司的　　WebStress等工具；针对数据库测试的TestBytes；对应用性能进行优化的EcoScope等工具。   MercuryInteractive的LoadRunner是一种适用于各种体系架构的自动负载测试工具，它能预测系统行为并优化系统性能。LoadRunner的测试对象是整个企业的系统，它通过模拟实际用户的操作行为和实行实时性能监测，来帮助您更快的查找和发现问题。

测试管理工具

　　测试管理工具用于对测试进行管理。一般而言，测试管理工具对测试计划、测试用例、测试实施进行管理，并且，测试管理工具还包括对缺陷的跟踪管理。测试管理工具的代表有：Rational公司的Test Manager；Compureware公司的TrackRecord；Mercury Interactive公司的TestDirector等软件。

1 考虑了多个输入之间的相互组合、相互制约关系

2 能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题

利用因果图导出测试用例需要经过的一般步骤

1.分析程序规格说明的描述中，哪些是原因，哪些是结果。

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

3.在因果图上使用若干个特殊的符号标明特定的约束条件

4.把因果图转换成判定表

5.把判定表中每一列表示的情况写成测试用例
因果图基本符号
　

因果图实例讲解

某软件规格说明中包含这样的要求：
第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L;如果第二列字符不是数字，则给出信息M。

分开原因和结果

原因：1----第一列字符是A;
2----第一列字符是B;
3----第二列字符是一数字。
结果：21----修改文件;
22----给出信息L;
23----给出信息M。

此例子是讲解利用因果图设计测试用例的一个小例子。以中国象棋中走马的测试用例设计为例学习因果图的使用方法。

一、 分析中国象棋中走马的实际情况（下面未注明的均指的是对马的说明）
1、如果落点在棋盘外，则不移动棋子；2、如果落点与起点不构成日字型，则不移动棋子；3、如果落点处有自己方棋子，则不移动棋子；4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；5、如果不属于1-4条，且落点处无棋子，则移动棋子；6、如果不属于1-4条，且落点处为对方棋子(非老将)，则移动棋子并除去对方棋子；7如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。

二、 根据分析明确原因和结果

原因：
1、 落点在棋盘上；
2、 落点与起点构成日字；
3、 落点处为自己方棋子；
4、 落点方向的邻近交叉点无棋子；
5、 落点处无棋子；
6、 落点处为对方棋子（非老将）；
7、 落点处为对方老将。
结果：
21、不移动棋子；
22、移动棋子；
23、移动棋子，并除去对方棋子；
24、移动棋子，并提示战胜对方，结束游戏。

添加中间节点11，目的是作为导出结果的进一步原因，简化因果图导出的判定表

考虑结果不能同时发生，所以对其施加唯一约束O。原因5、6、7不能同时发生，所以对其施加异约束E.

根据因果图建立判定表：(分为两表)

注：1、以上判定表中由于表格大小限制没有列出最后所选的测试用例；2、第2表中部分列被合并表示不可能发生的现象；3、通过中间节点将用例的判定表简化为两个小表。减少工作量。

四、根据判定表写测试用例表（略）