目前普遍采用实验法证明程序的正确性，所谓实验法是（）

目前普遍采用实验法证明程序的正确性，所谓实验法是（）
A、程序的调试
B、程序的正确性证明
C、数学方法
D、程序的运行
正确答案：A