软工复习笔记（个人）

逻辑覆盖–白盒测试

（1）定义
逻辑覆盖是对一系列测试过程的总称， 这组测试过程逐渐进行越来越完整的通路测试

（2）分类
语句覆盖：选择足够多的测试数据，被测试程序中的每条语句至少执行一次

判定覆盖：不仅每个语句至少执行一次，而且每个判定的每种可能的结果都应该至少执行一次

条件覆盖：不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果

判定/条件覆盖：选择足够多的测试数据，使判定表达式中的每个条件都取到各种可能的结果，而且每个判定表达式也都取到各种可能的结果。它同时满足判断覆盖和条件覆盖

条件组合覆盖：选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。满足条件组合覆盖，也一定满足判定覆盖、条件覆盖和判断/条件覆盖

点覆盖：连通图G的子图G’是连通的，而且包含G的所有结点，则称G’是G的点覆盖。满足点覆盖标准要求选取足够多的测试数据，使得程序执行路径至少经过流图的每个结点一次，也即点覆盖标准和语句覆盖标准是相同的

边覆盖：连通图G的子图G’’是连通的，而且包含G的所有边，则称G’’是G的边覆盖。为满足边覆盖的测试标准，要求选取足够多的测试数据，使程序执行路径至少经过流图每条边一次，也即边覆盖与判定覆盖是相同的

路径覆盖：选取足够多的测试数据，使程序的每条可能路径都至少执行一次，如果程序图中有环，则要求每个环至少经过一次

黑盒测试

（1）目的
功能不正确或遗漏了功能
界面错误
数据结构错误或外部数据库访问错误
性能错误
初始化和终止错误
（2）适用性
白盒测试在测试过程的早期阶段进行，黑盒测试主要用于测试过程的后期
（4）测试用例的标准
1.能够减少为达到合理测试所需要设计的测试用例的总数
2.能够告诉人们，是否存在某些类型的错误，而不是仅仅指出与特定测试相关的错误是否存在
二：技术方法
（1）等价类划分法
A：定义
这种技术把程序的输入域划分成若干个数据类，据此导出测试用例，一个理想的测试用例能独自发现一类错误

B：目的
等价划分法力图设计出能发现若干类程序错误的测试用例，从而减少必须设计的测试用例的数目

C：流程
①：划分数据的等价类
第一，需要研究程序的功能说明，从而确定输入数据的有效等价类和无效等价类
第二，在确定输入数据的等价类时常常还需要分析输出数据的等价类
第三，在划分等价类时还应考虑编译程序的检错功能
②：根据等价类设计测试方案
第一，设计一个新的测试方案以尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步骤直到所有有效等价类都被覆盖为止
第二，设计一个新的测试方案，使它覆盖一个而且只覆盖一个尚未被覆盖的无效等价类，重复这一步骤直到所有无效等价类都被覆盖为止
（2）边界值分析法
使用边界值分析方法设计测试方案首先应该确定边界情况，选取的数据应该刚好等于、稍小于和稍大于等价类边界值，即应该选取刚好等于、稍小于和稍大于等价类边界值的数据作为测试数据，而不是选取每个等价类内的典型值或任意值作为测试数据