测试技术部分

测试技术部分：
静态白盒：举例，工具，代码走查与代码审查区别
白盒测试工具一般是针对代码进行测试，测试中发现的缺陷可以定位到代码级，根据测试工具原理的不同，又可以分为静态测试工具和动态测试工具。

静态测试工具直接对代码进行分析，不需要运行代码，也不需要对代码编译链接，生成可执行文件。

静态测试工具一般是对代码进行语法扫描，找出不符合编码规范的地方，根据某种质量模型评价代码的质量，生成系统的调用关系图等
静态测试就是不运行被测软件，通过代码检查，代码走查，桌面检查，文档测试等方法对软件和文档进行测试。

代码走查（Walkthrough）
开发组内部进行的，采用讲解、讨论和模拟运行的方式进行的查找错误的活动。

代码审查(Inspection)
开发组内部进行的，采用讲解、提问并使用编码模板进行的查找错误的活动。

一般有正式的计划、流程和结果报告。

动态白盒：流程图
语句覆盖，设计若干测试用例，运行被测程序，使程序的每个可执行语句至少被执行一次
判定覆盖，设计若干测试用例，运行被测程序，使程序中每个判断的取真分支和取假分支至少经历一次，即判断真假值均曾被满足
条件覆盖，要使每个判断中每个条件的可能取值至少满足一次
判定/条件覆盖，使得判断条件中的所有条件可能取值至少执行一次，同时所有判断的可能结果至少执行一次
条件组合覆盖，
使得判断中每个条件的所有可能至少出现一次，并且每个判断本身的判断结果也至少出现一次。

它与条件覆盖的差别是它不是简单的要求每个条件都出现“真”和”假”两种结果，而是要求让这些结果的所有可能组合都至少出现一次
路径覆盖，
设计所有的测试用例，来覆盖程序中的所有可能的执行路径
给定程序设计测试用例。

白盒测试的局限，为何引入黑盒测试。

白盒测试的缺点：
1 不易生成测试数据(通常)
2 无法对未实现规格说明的部分进行测试
3 工作量大，通常只用于单元测试，有应用局限
黑盒测试的优点：
1 适用于各阶段测试
2 从产品功能角度测试
3容易入手生成测试数据
动态黑盒：等价类测的动机，什么是等价类，怎么划分，无效等价类，有效等价类，等价类测试的局限，为何引入边界值测试？单缺陷假设、健壮性测试，内部边界值，
为何引入因果图测试？给定程序设计测试用例。

等价类测的动机用一组有限的数据区代表近似无限的数据
等价类是指某个输入域的一个特定的子集合，在该集合中各个输入数据对于揭露程序
中的错误都是等效的
怎么划分将输入域按照相同特性或者类似功能进行分类
有效等价类是指输入完全满足程序输入的规格说明，有意义的输入数据所构成的集合，利用有效等价类可以检验程序是否满足规格说明所规定的功能和性能
无效等价类和有效等价类相反，即不满足程序输入要求或者无效的输入数据构成的集合，使用无效等价类可以测试程序/系统的容错性-对异常输入情况的处理
等价类测试的局限程序往往在输入输出的边界值情况下发生错误，而等价类不能对这些边界进行检查
为何引入边界值测试用于对等价类划分法的补充，对边界值进行测试
单缺陷假设单缺陷假设是边界值分析的关键假设。

单缺陷假设指“失效极少是由两个或两个以上的缺陷同时发生引起的”。

在边界值分析中，单缺陷假设即选取测试用例时仅仅使得一个变量取极值，其他变量均取正常值
内部边界值即为输入域中的一个特定的子集合
为何引入因果图测试不仅能发现输入输出中的错误，还能指出程序规范中的不完全性和二义性
静态黑盒：举例。

软件需求说明书的评审。