程序测试是早已流行的概念。它是对编码阶段的三类错误进行查找的编码执行活动，这三类错误中不包括（）。