单项选择题

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

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