题目类型：
单选题
题目内容
目前普遍采用实验法证明程序的正确性，所谓实验法是( )
正确答案
A
题目解析
目前普遍采用实验法证明程序的正确性，所谓实验法是程序的调试。