软件工程实践6编程.pptVIP

2021/3/13 * 回溯法 检查错误征兆,确定最先发现“症状”的地方 用人工沿程序的控制流往回追踪源程序代码,直到找出错误根源或确定故障范围为止 另一种形式是正向追踪,使用输出语句检查一系列中间结果,以确定最先出现错误的地方 回溯法比较适用于小程序,大规模程序使彻底回溯不可能 2021/3/13 * 对分查找法 如果已经知道每个变量在程序内若干关键点的正确值,则可以用赋值语句或输入语句在程序中点附近“注入”这些变量的正确值,然后检查程序的输出 如果输出结果正确,故障在程序的前半部分;反之在程序的后半部分 重复使用直到定位或范围小到容易诊断 2021/3/13 * 归纳法 从个别推断一般,从线索出发,通过分析线索关系找出故障 四个步骤: 收集有关的数据:列出已经知道的关于程序哪些事做得对哪些事做得不对的一切数据 组织数据:整理数据,发现规律,发现矛盾,即在什么条件下出现错误,什么条件下不出现错误 导出假设:分析线索之间的关系,提出故障的假设 证明假设:解释所有原始的测试结果 2021/3/13 * 演绎法 从一般原理和前提出发,经过推导的出结论 从所有可能的原因和假设出发,一一排除而得到结果 四个步骤: 设想可能的原因 用已有的数据排除不正确的假设 精化余下的假设:具体化和定位 证明余下的假设 2021/3/13 * 修改的问题 在改错时回答以下问题: 这个错误在程序的其它地方也