早教吧考试题库频道 --> 计算机类考试 -->计算机三级 -->
软件测试的方法有三种:静态测试、动态测试和A.程序正确性证明B.调试C.验收测试D.集成测试
题目
软件测试的方法有三种：静态测试、动态测试和
A．程序正确性证明
B．调试
C．验收测试
D．集成测试
参考答案
正确答案：A
解析：软件测试的方法有3种：动态测试、静态测试和正确性证明。动态测试和静态测试只能发现错误而不能证明程序中不存在错误。从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。
解析：软件测试的方法有3种：动态测试、静态测试和正确性证明。动态测试和静态测试只能发现错误而不能证明程序中不存在错误。从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。
看了软件测试的方法有三种:静态测试...的网友还看了以下：
初一数学下册学习与拓展17页23题：若a+b+c=0,a方+b方+c方=1,求a四次方+b四次方+ 数学 2020-07-03 …
设abc满足a+b+c=1,a方+b方+c方=2,a三方+b三方+c三方=3求（1）abc的值（2 数学 2020-07-22 …
如图长方形ABCD中，AB：BC=5：4，位于A点的第一只蚂蚁按A→B→C→D→A方向爬行，位于C 数学 2020-07-26 …
在三角形ABC中角A,B,C所对边的长分别为a,b,c,若a方+b方=2c方,则cosC的最小值为 数学 2020-07-30 …
已知椭圆C：a方分之x方加b方分之y方等于1的离心率为3分之根号6,且经过点（2分之3,2分之1） 数学 2020-08-01 …
1.如果（1/2a-x）方=1/4a方+1/2y*a+1/a,求x,y的值2.a.b.c为有理数,且 数学 2020-10-31 …
a+b+c=6,a方+b方+c方=10,a3次方+b3次方+c3次方=36,求1/a+1/b+1/c 数学 2020-10-31 …
数学高手进!1.已知abc=1,a+b+c=2,a方+b方+c方=3,则(1/ab+c-1)+(1/ 数学 2020-11-08 …
如图，甲、乙两人沿着边长为90米的正方形，按A→B→C→D→A…方向，甲从A以65米/分的速度，乙从 数学 2020-11-30 …
VF编程题.任何一题都行.1.用过程化编成方式编写本题.求解一元二次方程（JFC.PRG）a=1b= 其他 2020-12-13 …