在计算机程序中，通常可能发生以下三种类型的错误：
（1）语法错误：这是指程序中含有不符合语法规定的语句，例如关键字或符号书写错误（将printf写成print、将数组元素引用写成a(2)等）、使用了未定义的变量、括号不配对等。含有语法错误的程序是不能通过编译的，因此程序将不能运行。
（2）逻辑错误：这是指程序中没有语法错误，可以通过编译、连接生成可执行程序，但程序运行的结果与预期不相符的错误。例如整型变量的取值超出了有效的取值范围、在scanf函数遗漏了取地址运算符&、数组元素引用中下标越界、在应当使用复合语句时没有使用复合语句等。由于含有逻辑错误的程序仍然可以运行，因此这是一种较难发现、较难调试的程序错误，在程序设计、调试中应予特别注意。
（3）系统错误：这是指程序没有语法错误和逻辑错误，但程序的正常运行依赖于某些外部条件的存在，如果这些外部条件缺失，则程序将不能运行。例如折半查找法是在已经排序的数组上进行的，但实际的数据并没有进行排序、程序中需要打开一个已经存在的文件，但这个文件由于其他原因丢失等。
