ECE220生存指南[02] MP7: GDB 调试Debug

算法旅人

2021年11月12日星期五

   本周的MP重点在于学习使用GDB进行调试，这里贴一个GDB的官方介绍：

GNU symbolic debugger，简称「GDB 调试器」，是 Linux 平台下最常用的一款程序调试器。GDB 编译器通常以 gdb 命令的形式在终端（Shell）中使用

   学会使用debugger进行逐行调试是很重要的编程基本功，就像我们在学习汇编语言时使用了LC3-tk 一样，本质上gdb也是带有追踪标记功能的调试工具，Pavol教授也坦言Lumetta他们实际上就是基于GDB设计的可视化的LC3 debugger。

或许有人会觉得使用GCC的编译就足以发现程序问题了，但实际上，我们常常会遇到三种【错误】：error, exception 和 bug,以及不一定会影响运行的warning（典中典：warning 不影响程序运行，不用太care）实际上，早在CS101伟烈教授就讲解了他们三者的区别：

很显然我们可以看到，最有危害的是bug , 即逻辑漏洞（错误）。逻辑错误指的是代码思路或者设计上的缺陷，程序出现逻辑错误的症状是：代码能够编译通过，没有语法错误，但是运行结果不对。对于这类错误，只能靠我们自己去发现和纠正。

C语言中文网就说到：“对于初学者来说，学习调试可以增加编程的功力，能让我们更加了解自己的程序，比如变量是什么时候赋值的、内存是什么时候分配的，从而弥补学习的纰漏。调试是每个程序员必须掌握的基本技能，没有选择的余地！”

那么这里我们就先略过对GDB的概览介绍，研究一下本次MP的问题吧：

1. MAKE文件有一个bug导致我们不能编译使用GDB【√】需要添加 -g Flag
2. 第三个程序只有可执行文件，无法看到源码的条件下进行黑盒测试

注：黑盒测试又叫功能测试、数据驱动测试或基于需求规格说明书的功能测试。. 该类测试注重于测试软件的功能性需求。采用这种测试方法， 测试工程师把测试对象看作一个黑盒子，完全不考虑程序内部的逻辑结构和内部特性，只依据程序的《需求规格说明书》，检查程序的功能是否符合它的功能说明。. 测试工程师无需了解程序代码的内部构造，完全模拟软件产品的最终用户使用该软件，检查软件产品是否达到了用户的需求。. 黑盒测试方法能更好、更真实地从用户角度来考察被测系统的功能性需求实现情况。

      3，第一个程序涉及到C语言main函数参数的概念：

不带参数的main 后的括号都是空括号。实际上，main函数可以带参数，这个参数可以认为是main函数的形式参数。C语言规定main函数的参数只能有两个，习惯上这两个参数写为argc和argv。因此，main函数的函数头可写为：
    main (argc,argv)
C语言还规定argc(第一个形参)必须是整型变量，argv(第二个形参)必须是指向字符串的指针数组。加上形参说明后，main函数的函数头应写为：
    main (int argc,char *argv[])

由于main函数不能被其它函数调用，因此不可能在程序内部取得实际值。那么，在何处把实参值赋予main函数的形参呢？实际上，main函数的参数值是从操作系统命令行上获得的。当我们要运行一个可执行文件时，在DOS提示符下键入文件名，再输入实际参数即可把这些实参传送到main的形参中去。
命令行的一般形式为：
    C:\>可执行文件名  参数  参数 ……; 
但是应该特别注意的是，main 的两个形参和命令行中的参数在位置上不是一一对应的。因为，main的形参只有二个，而命令行中的参数个数原则上未加限制。

argc参数表示了命令行中参数的个数（注意：文件名本身也算一个参数），argc的值是在输入命令行时由系统按实际参数的个数自动赋予的。

例如有命令行为：
    C:\>E24  BASIC  foxpro  FORTRAN
由于文件名E24本身也算一个参数，所以共有4个参数，因此argc取得的值为4。argv参数是字符串指针数组，其各元素值为命令行中各字符串(参数均按字符串处理)的首地址。 指针数组的长度即为参数个数。数组元素初值由系统自动赋予。其表示如图所示：

——引用自C语言中文网

这里就能看出，C和Python的显著不同，一个是指针，一个则是面对对象
当然，python也支持__main__这样的语法，以后会学到，蛮重要的，类与OOP
4, 素数问题：

这里看到了一个很好的知乎帖子，讲解如何求素数的数学原理

5种你不知道的素数的判断方法 - 知乎 (zhihu.com)https://zhuanlan.zhihu.com/p/104314640

5, 堆排序：Heap Sort

堆排序（Heapsort）是指利用堆这种数据结构所设计的一种排序算法。堆积是一个近似完全二叉树的结构，并同时满足堆积的性质：即子结点的键值或索引总是小于（或者大于）它的父节点。堆排序可以说是一种利用堆的概念来排序的选择排序。分为两种方法：

1. 大顶堆：每个节点的值都大于或等于其子节点的值，在堆排序算法中用于升序排列；
2. 小顶堆：每个节点的值都小于或等于其子节点的值，在堆排序算法中用于降序排列；

堆排序的平均时间复杂度为 Ο(nlogn)。

——菜鸟教程

第三个sort程序的黑箱测试：

BUG在：应该是arr[n-1]而不是arr[n]！ 

array 从 0 开始计算索引！

以下是本次的report：

[数据删除]

不过嘛，我发现了教授的小尾巴，很显然，他们是伪造出了bug，好方便我们查找

太阴险了！ ：-（