控制测试的程序类型包括（ ）。