检验程序正确性的方法不包括（）方法？

检验程序正确性的方法不包括（）方法？
A.空运行
B.图形动态模拟
C.自动校正
D.试切削
正确答案：自动校正