问题详情

软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是()。
A．动态测试和静态测试
B．静态测试和程序正确性证明
C．动态测试和程序正确性证明
D．都不是请帮忙给出正确答案和分析，谢谢！