单项选择题

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

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