集成测试的目的是将模块的功能与定义模块的功能规格说明或接口规格说明进行比较。从而揭示出模块与规格说明存在着矛盾。
模块的规格说明和源代码。（输入输出参数和模块的功能）
使用白盒的测试方法分析逻辑结构，然后使用黑盒测试方法来设计测试用例。
第一步要列举出程序中所有的条件判断。
测试是为发现错误而执行程序的过程。
代码检查，走查以及可用性测试是三种主要的人工测试方法。
常见的编码错误：
变量是否都已声明。数组下标是否越界。是否被0除。是否每个循环都中止了，文件是否在使用前打开。形参的数量是否等于实参的数量。全局变量的定义在模块间是否一致。
代码走查是测试人员带着测试用例，在人脑中进行推演测试用例。
代码检查是在会议中检查代码中的错误。
同行评审是匿名的对程序进行评审。
白盒测试包含代码检查，代码走查，桌面检查和同行评审。
测试用例的设计
软件测试中最重要的因素就是设计和生成有效的测试用例。
穷举的白盒和黑盒测试都是不可能的。将这两种测试的要素组合起来得到一种合理的测试策略。
黑盒测试：等价类划分，边界值分析，因果图分析，错误猜测
白盒测试：语句覆盖，判定覆盖，条件覆盖，判定/条件覆盖，多重条件覆盖。
我们推荐的步骤是先使用黑盒测试方法来设计测试用例。然后使用白盒测试方法来补充测试用例。
白盒测试
1)逻辑覆盖测试
语句覆盖：将程序中的每条语句至少执行一次。
判定覆盖：每条分支路径都至少遍历一次。
等价类划分的两个步骤：1确定等价类 2 生成测试用例。根据输入条件确定等价类。正确的输入是一个有效等价类。而对有效等价类取非的结果便是无效等价类。
边界值分析需要选择一个或多个元素，以便等价类的每个边界都经过一次测试。
节后找工作我就是自己是在职的。免得他们因为照顾孩子和一年没有上班为理由拒绝我。等到入职的时候，我就说自己的离职证明丢了。如果他们北京调查，那我只有自认倒霉了。说谎是有风险的。收益就是他们不会因为我一年没有上班而不录取我。
因果图法：输入条件的组合
QTP录制
系统测试并非是测试整个系统或程序功能的过程。
外部规格说明不能作为获得系统测试用例的基础，否则就破坏了系统测试的目标。