程序测试分为静态分析和动态测试。其中 【4】 是指不执行程序，而只是对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。

ABS制动防抱死系统，车速较低时ABS不起作用，说明它有故障。