软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。A．动态测试和静态测试B．静态测试和程序正确性证明C．动态测试和程序正确性证明D．都不是
软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。
A．动态测试和静态测试
B．静态测试和程序正确性证明
C．动态测试和程序正确性证明
D．都不是
相关考题：
软件测试中根据测试用例设计的方法的不同可分为黑盒测试和白盒测试两种，它们( )。A．前者属于静态测试，后者属于动态测试B．前者属于动态测试，后者属于静态测试C．都属于静态测试D．都属于动态测试
软件测试中根据测试用例设计方法的不同可分为黑盒测试和白盒测试，它们A.前者属于静态测试，后者属于动态测试B.前者属于动态测试，后者属于静态测试C.都属于静态测试D.都属于动态测试请帮忙给出正确答案和分析，谢谢!
软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（ ）。A.IB.I和ⅡC.IID.I、Ⅱ和III