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

目前普遍采用实验法证明程序的正确性，所谓实验法是(  )
A、程序的调试
B、程序的正确性证明
C、数学方法
D、程序的运行
【正确答案】：A
【题目解析】：目前普遍采用实验法证明程序的正确性，所谓实验法是程序的调试。