三、模块局部数据结构的检查表 4.有没有不正确或不一致的说明? 2.有没有不正确的初始化和缺省值? 3.有没有错误的变量名? 4.有没有不相容的数据类型? 5.有没有下溢、上溢或地址错误? 四、计算错误检查表 4.对运算优先次序的错误理解或错误处理 2发生了混合运算(运算对象的类型不相容)。 3.初始化错误。 4.计算精度不够。 5表达式的符号表示错误
三、模块局部数据结构的检查表 4. 有没有不正确或不一致的说明？ 2. 有没有不正确的初始化和缺省值？ 3. 有没有错误的变量名？ 4. 有没有不相容的数据类型？ 5. 有没有下溢、上溢或地址错误？ 四、计算错误检查表 4. 对运算优先次序的错误理解或错误处理。 2.发生了混合运算（运算对象的类型不相容）。 3.初始化错误。 4.计算精度不够。 5.表达式的符号表示错误
五、比较错误的检查表 4.不同数据类型的数据进行比较 2.逻辑运算符或其优先次序用错。 3.本应相等的数据,由于精度原因而不相等 4变量本身有错或比较有错。 5循环终止不正确或循环不止。 6.差1错(多一次或少一次循环)。 7当遇到发散的迭代不能摆脱出来。 8循环控制变量修改有错
五、比较错误的检查表 4. 不同数据类型的数据进行比较。 2.逻辑运算符或其优先次序用错。 3.本应相等的数据，由于精度原因而不相等。 4.变量本身有错或比较有错。 5.循环终止不正确或循环不止。 6.“差1”错（多一次或少一次循环）。 7.当遇到发散的迭代不能摆脱出来。 8.循环控制变量修改有错
六、出错处理的检査表 1对错误的描述难以理解。 2指明的错误并非实际遇到的错误 3出错后尚未进行错误处理,错误条件已引起了系统干预 4.对错误的处理不正确 5提供的错误信息不足,以致无法找到出错的原因。 人工测试还可以采用软件审查的方式,它可以用于系统开发 的各个阶段,对产品的质量进行评审。限于篇幅,本书不再详细 介绍
六、出错处理的检查表 1.对错误的描述难以理解。 2.指明的错误并非实际遇到的错误。 3.出错后尚未进行错误处理，错误条件已引起了系统干预。 4.对错误的处理不正确。 5.提供的错误信息不足，以致无法找到出错的原因。 人工测试还可以采用软件审查的方式，它可以用于系统开发 的各个阶段，对产品的质量进行评审。限于篇幅，本书不再详细 介绍
2.计算机辅助静态分析方法 计算机辅助静态分析方法是利用计算机测试工具对被测程序的特性 进行分析方法的总称。 静态分析工具主要有下面几种形式: (1)静态确认工具:对程序进行静态分析和确认,收集一些程序中的 信息,以査找程序中的各种缺陷和可疑的程序构造。例如,使用了 个尚未赋值的变量,或者赋了值的变量一直没有使用等 (2)符号执行工具:以符号值作为程序的输入,使程序符号执行,对 程序的运算规律加以检验 (3)程序验证工具:交互式程序验证系统是证明程序正确性的一种工 具。它通过系统内部基于符号的逻辑变换和结构归纳,提取程序的语 义和结构的要点来分析证明程序的正确性
2. 计算机辅助静态分析方法 计算机辅助静态分析方法是利用计算机测试工具对被测程序的特性 进行分析方法的总称。 静态分析工具主要有下面几种形式： (1) 静态确认工具：对程序进行静态分析和确认，收集一些程序中的 信息，以查找程序中的各种缺陷和可疑的程序构造。例如，使用了一 个尚未赋值的变量，或者赋了值的变量一直没有使用等。 (2) 符号执行工具：以符号值作为程序的输入，使程序符号执行，对 程序的运算规律加以检验。 (3) 程序验证工具：交互式程序验证系统是证明程序正确性的一种工 具。它通过系统内部基于符号的逻辑变换和结构归纳，提取程序的语 义和结构的要点来分析证明程序的正确性
3黑盒测试 黑盒测试又称功能测试,即不管程序内部是如何编制的,只考虑程序 输入和输出之间的关系,或只考虑程序的功能。因此,测试者必须根 据软件的规格说明书来确定和设计测试用例。黑盒测试也被称为数据 驱动测试或基于规格说明书的测试 黑盒测试适合于对内部结构未知的软件进行测试,例如对于外购的 软件包,只能根据软件包的功能说明书进行测试。另外,用户对系统 的验收测试也使用黑盒测试方法,因为用户关心的是软件是否能实现 所需的功能。也可以说,黑盒测试是从用户观点进行的测试
3. 黑盒测试 黑盒测试又称功能测试，即不管程序内部是如何编制的，只考虑程序 输入和输出之间的关系，或只考虑程序的功能。因此，测试者必须根 据软件的规格说明书来确定和设计测试用例。黑盒测试也被称为数据 驱动测试或基于规格说明书的测试。 黑盒测试适合于对内部结构未知的软件进行测试，例如对于外购的 软件包，只能根据软件包的功能说明书进行测试。另外，用户对系统 的验收测试也使用黑盒测试方法，因为用户关心的是软件是否能实现 所需的功能。也可以说，黑盒测试是从用户观点进行的测试