检验程序正确性的方法不包括()方法。
第1题:
程序正确性证明是用______来证明程序正确性的方法。
第2题:
在编写大型程序时存在错误和缺陷是难免的。验证程序正确性的最常用、最简单的方法是运行程序。()
第3题:
A、检验批的划分
B、检验方法
C、检验人员
D、检验项目
第4题:
第5题:
K—S检验方法的内容不包括( )。
第6题:
软件测试的方法有三种:静态测试,动态测试和( )。
A.程序正确性证明
B.调式
C.验收测试
D.集成测试
第7题:
软件测试方法可分为3类,它们是动态测试、静态测试和程序正确性证明,真正实施的方法则是( )。
A.动态测试和静态测试
B.静态测试和程序正确性证明
C.动态测试和程序正确性证明
D.都不是
第8题:
软件测试方法中,黑盒测试方法和白盒测试方法是常用的方法,其中黑盒测试方法主要用于测试 ______。
A.结构合理性
B.软件外部功能
C.程序的内部逻辑
D.程序正确性
第9题:
第10题: