目前被普遍采用的程序正确性验证方法是（ ）
选择一项：

A.
模拟法 B

B.
理论法

C.
实验法

D.
试验法