软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是( )。

[单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（）。A.IB.I和ⅡC.IID.I、Ⅱ和II

[主观题]程序正确性证明是用______来证明程序正确性的方法。

[单选题]软件测试的方法有三种：静态测试，动态测试和（ ）。A．程序正确性证明B．调式C．验收测试D．集成测试

[单选题]软件测试的方法有三种：静态测试、动态测试和A．程序正确性证明B．调试C．验收测试D．集成测试

[单选题]软件测试的方法有三种：静态测试、动态测试和( )。A．程序正确性证明B．调试C．验收测试D．集成测试

[单选题]软件测试的方法有三种。以下哪项(些)属于这些方法?Ⅰ．动态测试Ⅱ．静态测试Ⅲ．正确性证明A．仅ⅠB．仅Ⅰ和ⅡC．仅Ⅱ和ⅢD．Ⅰ、Ⅱ和Ⅲ

[单选题]一个正确的决策和实施程序应包括（）。I.确认需要；II.识别和确定问题；III.收集事实；IV.确定解决问题的方案。A . I+II+IIIB . II+III+IVC . I+II+IVD . I+II+III+IV

[单选题]下列（ ）方法用于实现访问控制。 I．存取控制表 II．存取控制矩阵 III．口令 Ⅳ．保护键A．I、II B．I、II、IIIC．I、III D．全部

[单选题]软件测试是发现软件错误(缺陷)的主要手段，软件测试方法可分为静态测试和动态测试，其中()属于静态测试。A．代码走查B．功能测试C．黑盒测试D．白盒测试

[单选题]活塞销的主要损坏形式是_______ I. 磨损，II. 摩擦，III. 擦伤，IV. 腐蚀，V. 裂纹A．I+II+VB．I+VC．II+VD．I+III+V