软件工程概论 教学课件 ppt 作者 陶华亭参考课件 5_7调试.ppt

《软件工程概论 教学课件 ppt 作者 陶华亭参考课件 5_7调试.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第5章编程与测试调试第7章软件测试7.1概述7.2软件测试基础7.3测试技术（测试用例设计）7.4测试过程7.5调试7.6软件可靠性调试是在测试发现错误之后排除错误的过程。调试（也称为纠错）5.7调试关于调试主要研究如下内容：5.7.1调试的过程和目的5.7.2调试技术１．简单调试法２．归纳法３．演绎法４．回溯法/755.7.1调试的目的和过程调试的目的调试过程/75调试的目的调试的目的，是为了确定错误的原因和位置，并进行纠错；/75调试的过程调试不是测试，但是它总是发生在一个成功的测试之后。如图7.8所

2、示，成功的测试发现错误之后，通过调试过程试图找出产生症状的原因和位置，以便纠错。/75调试的过程图7.8调试过程/75调试的过程调试过程总会有以下两种结果之一：①找到了问题的原因并把问题改正和排除掉了；②没找出问题的原因。在后一种情况下，调试人员可以猜想一个原因，并设计测试用例来验证这个假设，重复此过程直至找到原因并改正了错误。/75调试活动也很困难，具有挑战性调试是软件开发过程中最艰巨的脑力劳动。调试工作如此困难，可能心理方面的原因多于技术方面的原因，但是，软件错误的下述特征也是相当重要的原因：症状和产

3、生症状的原因可能在程序中相距甚远，也就是说，症状可能出现在程序的一个部分，而实际的原因可能在与之相距很远的另一部分，紧耦合的程序结构更加剧了这种情况。当改正了另一个错误之后，症状可能暂时消失了。症状可能实际上并不是由错误引起的（例如，舍入误差）。/75调试活动也很困难，具有挑战性症状可能是由不易跟踪的人为错误引起的。症状可能是由定时问题而不是由处理问题引起的。可能很难重新产生完全一样的输入条件（例如，输入顺序不确定的实时应用系统）。症状可能时有时无，这种情况在硬件和软件紧密地耦合在一起的嵌入式系统中特别常

4、见。症状可能是由分布在许多任务中的原因引起的，这些任务运行在不同的处理机上。/75调试活动也很困难，具有挑战性在调试过程中会遇到从恼人的小错误（例如，不正确的输出格式）到灾难性的大错误（例如，系统失效导致严重的经济损失）等各种不同的错误。错误的后果越严重，查找错误原因的压力也越大。通常，这种压力会导致软件开发人员在改正一个错误的同时引入两个甚至更多个错误。/755.7.2调试技术简单的调试方法回溯法原因排除法对分查找归纳法（由多点、到定性或规律，再到定位）演绎法（由一般经验或规律，推测排除，最后定位）/7

5、5１.简单的调试方法在源程序中设置“锚点”，给出输出；运行部分程序；/752.回溯法回溯是一种相当常用的调试方法，当调试小程序时这种方法是有效的。具体做法是，从发现症状的地方开始，人工沿程序的控制流往回追踪分析源程序代码，直到找出错误原因为止。但是，随着程序规模扩大，应该回溯的路径数目也变得越来越大，以至彻底回溯变成完全不可能了。/753.原因排除法对分查找法、归纳法和演绎法都属于原因排除法。/75对分查找法基本思路是，如果已经知道程序内若干个关键点的正确值，则可以用赋值语句或输入语句在程序中点附近“注入

6、”这些变量的正确值，然后运行程序并检查所得到的输出。如果输出结果是正确的，则错误原因在程序的前半部分；反之，错误原因在程序的后半部分。对错误原因所在的那部分再重复使用这个方法，直到把出错范围缩小到容易诊断的程度为止。/75归纳法是从个别现象推断出一般性结论的思维方法。从具体的出错点，对出错数据进行分析，归纳出可能的错误原因。然后导出对错误原因的一个或多个假设，并利用已有的数据来证明或排除这些假设。当然，如果已有的数据尚不足以证明或排除这些假设，则需设计并执行一些附加测试用例，以获得更多的数据。/75演绎法

7、一般原理或前提出发，经过排除和精化的过程推导出结论。首先设想出所有可能的出错原因，然后试图用测试来排除每一个假设的原因。如果测试表明某个假设的原因可能是真的原因，则对数据进行细化以准确定位错误。/75上述3种调试途径都可以使用调试工具辅助完成，但是工具并不能代替对全部设计文档和源程序的仔细分析与评估。/75小结如果用遍了各种调试方法和调试工具却仍然找不出错误原因，则需要换一种思维定式，应该向同行求助。把遇到的问题向同行陈述并一起分析讨论，往往能开阔思路，较快找出错误原因。一旦找到错误就必须改正它，但是，改

8、正一个错误可能引入更多的其他错误，以至“得不偿失”。因此，在动手改正错误之前，软件工程师应该仔细考虑下述3个问题：/75(1)是否同样的错误也在程序其他地方存在？在许多情况下，一个程序错误是由错误的逻辑思维模式造成的，而这种逻辑思维模式也可能用在别的地方。仔细分析这种逻辑模式，有可能发现其他错误。/75（2）将要进行的修改可能会引入的“下一个错误”是什么？在改正错误之前应该仔细研究源程序（最好也研究设计文档），以评估逻辑和数据