SE研第3章4.pptVIP

一般情况下，条件覆盖比判定覆盖强，因为它对判定中每个条件都取两种不同值。应该注意，满足条件覆盖不一定满足判定覆盖。 例如测试用例(A=1,B=0,x=3)和(A=2,B=1,x=1)满足条件覆盖，但不满足判定覆盖，因为第一个判定为真的分支和第二个判定为假的分支未执行过。 (4)判定/条件覆盖 判定/条件覆盖是设计足够的测试用例，使得每个条件和每个判定取各种值。 可取测试用例：(A=2,B=0,x=4)和(A=1,B=1,x=1)。这种测试方法似乎很合理，但实际上，编译程序具体实现判定时却存在问题。如U and V，当U不成立时，V不再被判定，这样V中的错误难以发现。 if(A1B==0) x=x/A; if(A==2||x1) x=x+h; if(A1B==1) x=x/A; (A=1,B=1,x=1) (5)条件组合覆盖 条件组合覆盖就是设计足够的测试用例，使得每个判定中的条件各种可能组合都至少执行一次。 对第一个判定有： (A1,B=0),(A1,B≠0),(A≤1,B=0),(A≤1,B≠0) 对第二个判定有： (A=2,x1),(A=2,x≤1),(A≠2,x1),(A≠2,x≤1) if(A1B==0) x=x/A; if(A==2||x1) x=x+h; 可以设计四组测试用例： (A=2,B=0,x=4),(A=2,B=1,x=1), (A=1,B=0,x=2)和(A=1,B=1,x=1)。 但是仍然不能覆盖每一条通路，如第一个判定为真和第二个判定为假的通路未覆盖。 if(A1B==0) x=x/A; if(A==2||x1) x=x+h; 介绍了黑盒测试法和白盒测试法，但在实际应用中常将它们结合起来进行综合测试。 综合测试法描述如下： (1)任何情况下，都使用边界值分析法。 (2)要考虑输入数据盒输出数据的边界； (3)必要时补充等价类划分法； (4)用错误推测法附加一些测试用例； (5)对照程序，适当补充测试用例。 总之，以黑盒测试法为主，白盒测试法为辅。 3.6 程序调试 经过软件测试，暴露了程序中的错误，应当进一步诊断程序中错误的准确位置，研究错误的原因，改正错误。 程序调试就是诊断和纠正程序错误的过程。 目前程序设计环境中都提供了调试工具，如功能强大的交互式调试环境，断点打印转储和跟踪程序等调试工具。 第三章 软件开发的结构化方法 3.1 问题的定义 3.2 可行性研究 3.3 结构化分析 3.4 结构化设计 3.5 软件测试 3.6 程序调试 3.6.1 程序错误类型 3.6.2 程序调试的方法 3.6.3 程序调试原则 高级软件工程 南京邮电大学软件学院陈春玲 第三章 软件开发的结构化方法 3.6.1 程序错误类型 程序的错误按性质分为三类： 语法错误、运行错误和逻辑错误。 第三章 软件开发的结构化方法 3.1 问题的定义 3.2 可行性研究 3.3 结构化分析 3.4 结构化设计 3.5 软件测试 3.6 程序调试 3.6.1 程序错误类型 3.6.2 程序调试的方法 3.6.3 程序调试原则 (1)语法错误 语法错误是指程序中有不符合该程序设计语言语法规则的错误。 这类错误通常在编译程序将源程序翻译成目标程序时，会清楚地给出错误信息，指出错误的地方和性质。 应该注意，有时编译程序指出的某些错误信息是模糊的，不易被理解。一些信息并未准确说明错误的性质和位置，编译给出的错误信息个数与应改正的错误并不一定是一一对应的，并且它常常会漏掉某个语法错误，所以需要积累经验。 (2) 运行错误 运行错误是指程序运行期间发生的语义错误。 程序的语法错误排除后，仍有可能发生“运行错误”。 常见的运行错误： 使用了未赋值的变量； 子界类型的变量赋值超界； 数组下标超出其定义的上、下界； 使用无效参数调用标准函数； 被0除； 找不到相应的磁盘文件； 类型错。 * * 3.5 软件测试 编码之后，一般都应对程序进行检查，发现和改正程序中存在的语法错误或逻辑错误，但是程序中仍然会隐藏各种各样的错误。 第三章 软件开发的结构化方法 3.1 问题的定义 3.2 可行性研究 3.3 结构化分析 3.4 结构化设计 3.5 软件测试 3.6 程序调试 高级软件工程 南京邮电大学软件学院陈春玲 第三章 软件开发的结构化方法 软件测试就是在软件投入生产性运行前，发现和改正隐蔽在程序中的各种错误，以保证程序的正确性、提高程序质量。 软件测试的目