单项选择题

软件测试方法可分为3类,它们是动态测试、静态测试和程序正确性证明,真正实施的方法则是( )。

A) 动态测试和静态测试
B) 静态测试和程序正确性证明
C) 动态测试和程序正确性证明
D) 都不是