软件工程第七章(3-3).pptVIP

软件工程第七章（3-3）软件测试 方海光 首都师范大学教育技术系 2006年10月 Contents 调试（Debug） 软件调试是在进行了成功的测试之后才开始的工作。它与软件测试不同，调试的任务是进一步诊断和改正程序中潜在的错误。 调试活动由两部分组成： 确定程序中可疑错误的确切性质和位置。 对程序(设计,编码)进行修改，排除这个错误。 调试工作是一个具有很强技巧性的工作。 软件运行失效或出现问题，往往只是潜在错误的外部表现，而外部表现与内在原因之间常常没有明显的联系。如果要找出真正的原因，排除潜在的错误，不是一件易事。 可以说，调试是通过现象，找出原因的一个思维分析的过程。 调试的步骤 (1) 从错误的外部表现形式入手，确定程序中出错位置； (2) 研究有关部分的程序，找出错误的内在原因； (3) 修改设计和代码，以排除这个错误； (4) 重复进行暴露了这个错误的原始测试或某些有关测试。 从技术角度来看，查找错误的难度在于： 现象与原因所处的位置可能相距甚远。 当其它错误得到纠正时，这一错误所表现出的现象可能会暂时消失，但并未实际排除。 现象实际上是由一些非错误原因(例如，舍入不精确)引起的。 现象可能是由于一些不容易发现的人为错误引起的。 错误是由于时序问题引起的，与处理过程无关。 现象是由于难于精确再现的输入状态（例如，实时应用中输入顺序不确定）引起。 现象可能是周期出现的。在软、硬件结合的嵌入式系统中常常遇到。 几种主要的调试方法 调试的关键在于推断程序内部的错误位置及原因。可以采用以下方法： 强行排错 这种调试方法目前使用较多，效率较低。它不需要过多的思考，比较省脑筋。例如： 通过内存全部打印来调试，在这大量的数据中寻找出错的位置。 在程序特定部位设置打印语句，把打印语句插在出错的源程序的各个关键变量改变部位、重要分支部位、子程序调用部位，跟踪程序的执行，监视重要变量的变化。 自动调试工具。利用某些程序语言的调试功能或专门的交互式调试工具，分析程序的动态过程，而不必修改程序。 应用以上任一种方法之前，都应当对错误的征兆进行全面彻底的分析，得出对出错位置及错误性质的推测，再使用一种适当的调试方法来检验推测的正确性。 回溯法调试这是在小程序中常用的一种有效的调试方法。一旦发现了错误，人们先分析错误征兆，确定最先发现“症状”的位置。 然后，人工沿程序的控制流程，向回追踪源程序代码，直到找到错误根源或确定错误产生的范围。 例如，程序中发现错误处是某个打印语句。通过输出值可推断程序在这一点上变量的值。再从这一点出发，回溯程序的执行过程，反复考虑：“如果程序在这一点上的状态（变量的值）是这样，那么程序在上一点的状态一定是这样...”， 直到找到错误的位置。 归纳法调试 归纳法是一种从特殊推断一般的系统化思考方法。归纳法调试的基本思想是：从一些线索(错误征兆)着手，通过分析它们之间的关系来找出错误。 收集有关的数据 列出所有已知的测试用例和程序执行结果。看哪些输入数据的运行结果是正确的，哪些输入数据的运行结果有错误。 组织数据 由于归纳法是从特殊到一般的推断 过程，所以需要组织整理数据，以 发现规律。 常以3W1H形式组织可用的数据： “What” 列出一般现象； “Where”说明发现现象的地点； “When” 列出现象发生时所有已知情况； “How” 说明现象的范围和量级； “Yes”描述出现错误的3W1H； “No”作为比较，描述了没有错误的3W1H。通过分析找出矛盾来。 提出假设 分析线索之间的关系，利用在线索结构中观察到的矛盾现象，设计一个或多个关于出错原因的假设。如果一个假设也提不出来，归纳过程就需要收集更多的数据。此时，应当再设计与执行一些测试用例，以获得更多的数据。  证明假设 把假设与原始线索或数据进行比较，若它能完全解释一切现象，则假设得到证明；否则，就认为假设不合理，或不完全，或是存在多个错误，以致只能消除部分错误。 演绎法调试演绎法是一种从一般原理或前提出发，经过排除和精化的过程来推导出结论的思考方法。演绎法排错是测试人员首先根据已有的测试用例，设想及枚举出所有可能出错的原因做为假设；然后再用原始测试数据或新的测试，从中逐个排除不可能正确的假设；最后，再用测试数据验证余下的假设确是出错的原因。 列举所有可能出错原因的假设把所有可能的错误原因列成表。通过它们，可以组织、分析现有数据。 利用已有的测试数据，排除不正确的假设仔细分析已有的数据，寻找矛盾，力求排除前一步列出所有原因。如果所有原因都被排除了，则需要补充一些数据(测试用例)，以建立新的假设。 改进余下的假设利用已知的线索，进一步改进余下的假设，使之更具体化