单项选择题

检验程序正确性的方法不包括()方法。

A.自动校正
B.试切削
C.空运行
D.图形动态模拟