C语言程序设计进阶.ppt

2005-01-02 尹宝林：C语言程序设计 C语言程序设计进阶 程序调试的基本过程 观察和记录错误的现象 分析错误的原因 修改程序 观察和记录修改后的效果 程序调试的要点 确认错误的现象 确定性/可重现 非确定性/不可重现 确认发生错误的条件 引起错误的操作命令和顺序 引起错误的数据 逐步缩小可能产生故障的范围 确认发生错误的语句和相关变量的值 程序调试的基本方法 故障定位 确定程序执行的过程 判断程序出错的位置 在关键点打印出必要的信息 程序跟踪 设置断点 观察变量的内容 增加必要的中间变量和调试语句 程序调试的基本方法(续) 缩小故障的规模 发现引起故障的最小操作序列 构造引起故障的最小数据 缩小程序的存储空间分配 缩小故障原因搜索的范围 了解程序的基本执行过程 分析可能的原因 使用系统分析的方法 程序调试的基本方法(续) 排除法 基本思想 缩小问题的查找范围 确定问题发生的区间 对问题的位置进行初步分析 搜索问题可能发生的位置 屏蔽程序的某些部分 屏蔽后观察错误是否仍存在 屏蔽的方法：注释 程序调试的基本方法(续) 跟踪法 从出错功能的顶层函数出发 逐级向下检查 调用函数所传递的参数和返回值 变量内容的变化 回溯法 从表现出错误的最后一个函数开始 逐级向上检查函数所传递的参数及中间变量 错误确认 错误现象的准确描述 对复杂程序和复杂错误应排除不相干的内容 使错误可以重现 最小的操作序列和最小的数据集 发现错误现象出现的条件和规律 纪录 图表 统计特性 错误定位 充分的测试数据 对程序结构的理解和掌握 分析、判断和验证 可能故障点的调试信息输出 缩小查找范围 显示执行路径和可达位置 对半区间查找（二分法）/黄金分割法 程序调试的例 动态内存分配及释放 int ** alloc_2d(int n,int m); void main() { int n, m, **ang, i; scanf(%d%d,n,m); ang = alloc_2d(n, m); for (i = 0; i n; i++) free(ang[i]); free(ang); //为什么这个地方有错误????? } //为什么Debug状态下出错？ int ** alloc_2d(int n，int m) { int i,j; int **p = malloc(n * sizeof(int *)); if (p == NULL) { fprintf(stderr, error: out of memory!\n); return NULL; } for (i = 0; i m; i++) { p[i] = malloc(m * sizeof(int)); if (p[i] == NULL) { fprintf(stderr, error: out of memory!\n); for (j=0; j i; j++) free(p[j]); free(p); return NULL; } } return p; } 程序调试的例（续） 确认故障现象 选择程序运行参数 有分辨度 便于观察 设置断点 在关键位置设置：内存的分配和释放点 观察程序在断点处的状态 内存的分配和释放时的地址 程序调试的例（续） 选择程序运行参数 m和n应该不同 m和n应该较小 确认在选择的参数下问题存在 实际选择参数：5，8 程序调试的例（续） 观察程序在断点处的状态 记录分配和释放时的地址 注意程序执行的过程 观察结果 对行空间的分配执行了8次 程序调试的例（续） 查找故障原因 阅读相关的代码 for (i = 0; i m; i++) { p[i] = malloc(m * sizeof(int)); … … } 修改及确认 在Debug和Release状态下差异的原因 讲义中的代码 void *alloc_2d(int item_size, int m, int n) { void **p = malloc(m * sizeof(void *)); if (p == NULL) { fprintf(stderr, Out of memory!\n); return NULL; } for (i = 0; i m; i++) { p[i] = malloc(n * item_size); if (p[i] == NULL) { for (j = 0; j i; j++) free(p[j]); free(p); fprintf(stderr, Out of memory!\n); return NULL; } } return p; } 期中测验题