第3章-白盒测试用例设计方法.pptVIP

第3章 软件测试的方法;第3章 软件测试的方法;方法论和具体方法;黑盒子和白盒子;静态的和动态的;自动测试和手工测试;3.1 逻辑覆盖测试;白盒测试方法;白盒测试方法;测试覆盖标准;测试覆盖标准;白盒测试方法;例：实现一个简单的数学运算;3.1.1 语句覆盖;续;续;3.1.2 判定覆盖;续;续;续;3.1.3 条件覆盖;续;续;续;;判断M;续;续;3.1.5 条件组合覆盖;;;续;续;3.1.6 路径覆盖;续;续; 从前面的例子我们可以看到，采用任何一种覆盖方法都不能满足我们的要求，所以，在实际的测试用例设计过程中，可以根据需要将不同的覆盖方法组合起来使用，以实现最佳的测试用例设计 。;逻辑覆盖法;逻辑覆盖法（续）;3.2 基本路径测试;续;基本路径测试法;示例 – 源代码;示例 – 流程图;基本路径测试:流程图简化;流程图的圈复杂度;流程图复杂度－例子;确定线性独立的路径集合; Path1: 1-2-3-6-7-9-10-1-11;测试用例覆盖集合中每条路径;3.3 循环测试;目标: 在循环内部及边界上执行测试;循环测试－ 2;循环测试－ 3;静态测试定义; 静态测试的方法;3.4 代码检查;协调人的职责？;代码审查活动安排;注意事项;代码审查的作用？;用于代码审查的错误列表-part1;运算错误：1．是否存在非算术变量间的运算？2．是否存在混合模式的运算？3．是否存在不同字长变量间的运算？4．目标变量的大小是否小于赋值大小？5．中间结果是否上溢或下溢？6．是否存在被0除？7．是否存在二进制的不精确度？8．变量的值是否超过了有意义的范围？9．操作符的优先顺序是否被正确理解？10. 整数除法是否正确？;数据声明错误：1.是否所有的变量都已声明？2.默认的属性是否被正确理解？3.数组和字符串的初始化是否正确？4.变量是否赋予了正确的长度、类型和存储类？5.初始化是否与存储类相一致？6.是否有相似的变量名？;比较错误：1.是否存在不同类型变量间的比较？2.是否存在混合模式的比较运算？3.比较运算符是否正确？4.布尔表达式是否正确？ 5.比较运算是否与布尔表达式相混合？6.是否存在二进制小数的比较？7.操作符??优先顺序是否被正确理解？8.编译器对布尔表达式的计算方式是否被正确理解？;控制流程错误：1.是否超出了多条分支路径？2.是否每个循环都终止了？3.是否每个程序都终止了？4.是否存在由于入口条件不满足而跳过循环体？5.可能的循环越界是否正确？6.是否存在“仅差一个”的迭代错误？7.DO/END语句是否匹配？8.是否存在不能穷尽的判断？9.输出信息中是否有文字或语法错误？;输入/输出错误：1.文件属性是否正确？2.OPEN语句是否正确？3.I/O语句是否符合格式规范？4.缓冲大小与记录大小是否匹配？5.文件在使用前是否打开？6.文件在使用后是否关闭？7.文件结束条件是否被正确处理？8.是否处理了I/O错误？;接口错误：1.形参的数量是否等于实参的数量？2.形参的属性是否与实参的属性相匹配？3.形参的量纲是否与实参的量纲相匹配？4.传递给被调用模块的实参个数是否等于其形参个数？5.传递给被调用模块的实参属性是否与其形参属性匹配？6.传递给被调用模块的实参量纲是否与其形参量纲匹配？7.调用内部函数的实参的数量、属性、顺序是否正确？8.是否引用了与当前入口点无关的形参？9.是否改变了某个原本仅为输入值的形参？10.全局变量的定义在模块间是否一致？11.常数是否以实参形式传递过？;3.3.2 代码走查;3.4.3 桌面检查;2.2静态结构分析;2.3代码质量度量;3.5.3 基于模型的软件测试;MBT的优缺点;软件测试模型;检测步骤;3.5.4 扩展有限状态机方法;EFSM示例-1;EFSM示例-2;EFSM工具 - FSME;3.6 基于风险的测试;风险度量;风险测试步骤;3.7 模糊测试方法;3.8 ALAC测试和随机测试方法