程序测试是对编码阶段的（）、（）和（）进行查找的编码执行活动。