第7章编码与测试-new报告.ppt

不同集成测试策略的比较 自顶向下结合的主要优点：不需要设计测试驱动模块，与存根模块相联系的问题可能在测试的早期发现。 主要缺点是：需要设计存根模块，并且由于为了使存根模块能够尽量模拟实际模块的功能，必然会增加设计存根模块的复杂度，从而导致增加一些附加的测试。 自底向上结合的主要优点：不需要设计存根模块，而设计测试驱动模块一般比建立存根模块要容易，同时比较容易设计测试用例，并且可以实现多个模块的并行测试，从而提高测试效率。 主要缺点是：直到最后一个模块结合进来以前，程序作为一个整体始终不存在。也就是说，对主要的控制直到最后才接触到。 一般来说，我们根据情况结合这两种方法来进行组装和测试：对软件结构中较上层模块使用自顶向下结合方法，对软件结构中较下层模块使用自底向上结合方法。 白盒测试 测试时按照程序内部的逻辑测试程序、检验程序中的每条通路是否都能按预定的要求正确工作。 白盒测试又称为结构测试，主要用于单元测试。 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，在白盒法中，规定了不同的覆盖标准。 语句覆盖 语句覆盖就是设计足够的测试用例，使得程序中的每个语句至少执行一次。 判定覆盖 覆盖情况：共有两个判定，应执行路径： 　　ace ∧ abd　或： acd ∧ abe 选择用例： 　　(1) [(2,0,4),(2,0,3)] ace　　 　　　 [(1,1,1),(1,1,1)] abd　　　 或：(2) [(3,0,3),(3,0,1)] acd [(2,1,1),(2,1,2)] abe　　　　　　 如果x＞1错写成了x＜1，能检查出这个错误吗？ 条件覆盖 条件： 　　A＞1，B＝0，A＝2，x＞1。 选择输入数据： 　　A＝2，B＝0，x＝4 　　A＝1，B＝1，x＝1 如下数据： A＝1，B＝0，x＝3 A＝2，B＝1，x＝1 满足条件覆盖，但不满足判定覆盖。 判定／条件覆盖 条件： A＞1，B＝0，A＝2，x＞1。 判定： (A＞1) and (B＝0) (A＝2) or (x＞1) 选择输入数据： A＝2，B＝0，x＝4 A＝1，B＝1，x＝1 条件组合覆盖 可能的条件组合： （1）A＞1，B＝0（2）A＞1，B≠0 （3）A≤1，B＝0（4）A≤1，B≠0 （5）A＝2，x＞1 （6）A＝2，x≤1 （7）A≠2，x＞1 （8）A≠2，x≤1 相应的输入数据： A＝2，B＝0，x＝4 满足（1）和（5） A＝2，B＝1，x＝1 满足（2）和（6） A＝1，B＝0，x＝2 满足（3）和（7） A＝1，B＝1，x＝1 满足（4）和（8） 基本路径的导出步骤 * * * * * * 调试过程从执行一个测试用例开始，评估测试结果，如果发现实际结果与预期结果不一致，则这种不一致就是一个症状，它表明在软件中存在着隐藏的问题。调试过程试图找出产生症状的原因，以便改正错误。 调试过程总会有以下两种结果之一： ①找到了问题的原因并把问题改正和排除掉了； ②没找出问题的原因。在后一种情况下，调试人员可以猜想一个原因，并设计测试用例来验证这个假设，重复此过程直至找到原因并改正了错误。 * 1. 蛮干法 蛮干法可能是寻找软件错误原因的最低效的方法。仅当所有其他方法都失败了的情况下，才应该使用这种方法。按照“让计算机自己寻找错误”的策略，这种方法印出内存的内容，激活对运行过程的跟踪，并在程序中到处都写上WRITE（输出）语句，希望在这样生成的信息海洋的某个地方发现错误原因的线索。虽然所生成的大量信息也可能最终导致调试成功，但是，在更多情况下这样做只会浪费时间和精力。在使用任何一种调试方法之前，必须首先进行周密的思考，必须有明确的目的，应该尽量减少无关信息的数量。 2. 回溯法 回溯是一种相当常用的调试方法，当调试小程序时这种方法是有效的。具体做法是，从发现症状的地方开始，人工沿程序的控制流往回追踪分析源程序代码，直到找出错误原因为止。但是，随着程序规模扩大，应该回溯的路径数目也变得越来越大，以至彻底回溯变成完全不可能了。 3. 原因排除法 对分查找法、归纳法和演绎法都属于原因排除法。 对分查找法的基本思路是，如果已经知道每个变量在程序内若干个关键点的正确值，则可以用赋值语句或输入语句在程序中点附近“注入”这些变量的正确值，然后运行程序并检查所得到的输出。如果输出结果是正确的，则错误原因在程序的前半部分；反之，错误原因在程序的后半部分。对错误原因所在的那部分再重复使用这个方法，直到把出错范围缩小到容易诊断的程度为止。 归纳法是从个别现象推断出一般性结论的思维方法。使