（7）平行测试：发现原系统与新系统之间的意外差异。
举例：原系统与新系统一致；原系统仍然可以工作。
平行测试技术用于检查新应用程序的结果是否与原来的应用程序或者上一版本应用程序的处理相一致。它执行冗余处理以保证新版本或者新应用程序执行的正确性；给出同一应用程序不同版本之间一致的和不一致的地方。平行测试可以对整个应用程序进行，也可对应用程序的一部分进行。
当不能确定新应用程序处理的正确性，或者当新旧版本的应用程序非常类似时，需要进行平行测试。
7、单元测试技术
程序的测试和分析是验证程序具有其规格说明所要求的特性的最实际的手段。
测试是一种动态验证方法，它使用测试数据运行代码来评估程序对需求的满足程度。
分析是一种静态验证方法，通过分析代码而不是执行代码来检测需求的满足度。
“单元”可能小到一条语句，也可能大到是许多子例程的组合。单元最本质的特点是可以被看作一个整体。
8、功能测试和分析
功能测试和分析确保包含了主要的代码特征。
面向错误的功能测试和分析确保包含了常见的错误。
单元测试的分析和管理应该是系统化的，它由两步组成。第一，必须选择适合于项目的技术；第二，这些技术必须得到系统化的应用。
9、独立于规格说明技术的测试
规格说明细化了可能施加于给定的软件单元的那些假设，它们必须描述访问给定单元的接口以及该访问的具体行为。
1）基于接口的测试：在模块输入输出域特性及其相互关系的基础上选择测试数据。
（1）输入域测试：选择覆盖输入域边界的测试数据。
（2）等价划分：规格说明通常将所有可能的输入集合划分未几个等效的类。
（3）语法检查：对输入数据进行分析，对不正确的数据格式进行处理。
2）基于功能的测试
（1）特殊值测试：基于所要计算的功能的特点来选择测试数据称为特殊值测试。
（2）输出域覆盖：对于每个由等价划分所确定的功能都有其相关的一个输出域。
3）基于规格说明技术的测试
（1）代数学：在代数规格说明中，用公理或者规则来表示抽象数据的属性。在一个测试系统中，代数规则说明与实现的一致性是通过测试来检查的。每条公理都可以编译成与测试功能点集相关联的程序。驱动程序将这些测试功能点作为公理所对应的程序的输入数据，程序的反馈又说明了其对应的公理是否合适。
（2）公理：尽管断言计算作为一种规格说明语言具有广泛使用的可能，但是关于从这种规格说明生成测试数据方面尚未有公布的资料。
（3）状态机：许多程序可以用状态机描述，这又提供了另一种测试数据的选择方式。
（4）判定表：是一种表示等价划分的简洁方法，表的行表示输入满足的条件，表的列表示相应的输入所可能引发的动作集。
10、结构测试和分析
1）结构化分析
（1）复杂性度量
（2）数据流分析
用流程图来表示。通过它，推导出数据流的相关信息可以用于代码优化。异常检查以及测试数据的生成。
（3）符号执行
一个符号执行系统有三个输入参数：要解释的程序、程序的符号输入以及要执行的路径。
2）结构化测试：是一种动态的测试技术，其中测试数据的选择以及评价是依据测试过程中代码的覆盖目标而定的。该方法用于追踪在实际测试过程中所具体执行到的程序语句。
（1）语句测试
（2）分支测试
（3）条件测试
（4）表达式测试
（5）路径测试
11、面向错误的测试和分析
关注程序处理中有无错误的评估技术称为面向错误技术。分三大类：统计评估、基于错误的测试以及基于差错的测试。
基于错误的测试意于说明过程中不存在某些错误。基于差错的测试意于说明代码中不存在某些差错。
1）统计方法：利用统计技术来决定程序操作的可靠性。
2）基于错误的测试：可以由程序员的错误历史、软件复杂度、对易犯句法错误的结构的了解或者甚至是错误推测来驱动。
（1）错误估计：也叫错误种植法（Fault Seeding），是一种用于评估程序中错误的数目和特点的统计性方法。首先，将错误引入程序；然后，测试程序基于所发现的错误数目来估计尚未发现的错误数目。难点在于所引入的错误必须可以代表程序中尚未发现的错误。
（2）域测试：可以按照输入是否执行相同的路径来划分程序的输入域。这些划分称为路径域。
（3）扰动测试：需要决定构成被测试路径充分集的内容。
3）基于差错的测试：对评估测试数据非常有用。可以在深度上和广度上进行区分。在深度上，局部范围的方法证明差错对计算有局部作用，很可能该局部作用并不会引起程序失效，而全部范围的方法证明会使得程序失效；广度取决于所处理的差错类是有限的还是无限的。
（1）局部有限型
（2）全局有限型
（3）局部无限型
（4）全局无限型
