工程软件开发技术5软件测试

黑盒测试方法是在程序接口上进试，主要是为了发现以 或选择测试用例，对程序所有逻辑路径进试。 作365×24小时，要，，a (A>1)and

L1(a→c→e={(A>1)and(B=0)}and{(A=2)or(X/A>1)}L2(a→b→d=not{(A>1)and(B=0)}andnot{(A=2)or(X>1)} (A=2)or

L3(a→b→ =not{(A>1)and(B=0)}{(A=2)orL4(a→c→d={(A>1)and(B=0)}not{(A=2)or【输入的(ABX)，输出的(ABX)【(2,0,4)，(2,0,3)L1(a→c→e={(A>1)and(B=0)}and{(A=2)or(X/A>1)}L1(a→c→e)={(A>1)and(B=0)}and{(A=2)orL2(a→b→d)=not{(A>1)and(B=0)}andnot{(A=2)orL3(a→b→e)=not{(A>1)and(B=0)}and{(A=2)orL4(a→c→d)={(A>1)and(B=0)}andnot{(A=2)or

T3【(2,0,4)，(2,0,3)L1(c,T1T2T3T4【(1,0,1)，(1,0,1)L2(b,T1T2T3T4【(2,1,1)，(2,1,2)L3(b,或【(1,0,3)，(1,0,4)【(2,1,1)，(2,1,2)L3(b,L3(b,【【(2,04)，(2,0,3)】L1(c,e)T1T2T3T4【(1,11)，(1,1,1)】L2(b,dT1T2T3T4测试用 覆盖分支条件取F

T T T FA＞1,B＝0A＞1,B≠0

A≯1,B＝0A≯1,B≠0

A＝2,X＞1T3T4A＝2,X≯1T3T4A≠2,X＞1A≠2,X≯1

T3T4 测试用 【(2,0,4),(2,0,3)】

T1T2T3T4 ①,【(2,1,1),(2,1,2)】【(1,0,3),(1,0,4)】

②,③,【(1,1,1),(1,1,1)】

T1T2T3T4 ④,测试用 【(2,0,4),(2,0,3)ace

T1T2T3T4【(1,1,1),(1,1,1)】abd T1T2T3T4【(1,1,2),(1,1,3)abe【(3,0,3),(3,0,1)acd

T1T2T3T4T1T2T3T4条件测试路径选择 kk=for(j=i+1;j<=n;j++)if(A[j]<A[k])k=j;ffaj<=bdcejk=k=i;j= k0 ia1 iabefabdf23iabefef31abefdf21abdfdf12abdfefdk的值，ek 简单循环相同的方法进试。但如(OR,AND,...)path1：1-path2：1-2-3-4-5-10-1-path3：1-2-3-6-8-9-10-1-path4：1-2-3-6-7-9-10-1-用逻辑覆盖方法。序的输入域划分成若分，然后从每一部分中，各个输入数据对于程序中的错误都是“项数可以从1到999(2)如果输入条件规定了输入值的集合，或者是规(3)如果输入条件是一个布尔量，则可以确定一个例如，在教师上岗方案中规定对教授、、可以确定4个有效等价类为教授、师 ①VAR BEGINx:= :=②VAR③VAR④VAR ⑤VAR ⑥VAR⑦VAR⑧VAR⑨VARPAR：REAL；BEGIN......PAP:=SIN(3.14*0.8)/因此针对各种边界情况设计测试用例，可以查出的人们也可以靠经验和推测程序分析软件规格说明描述中，哪些是原因(即输原因:1.售货机有零钱找23，45不能同时发生，实现的每一个程序单元进试，结构的构造进试。份组合在一起进试。─ (3要的执行路径进试。对基本执行路径和循环进试可(5)定情况下和平均意义下影响模组装方式(big块组装在一起进试，最终得到在组装的过边连接边测试，以发现连接过产生的问题要桩模块。在模块的测试过需 就是开发的环境)下，运用黑盒测 所有的可以分为两类： 配置之后，就应开始系统的验 在测试过，除了考虑软件的功性、兼容性、可性、错误的恢需求定义作比较,发现软件与系统的 MTBF(MeanTimeBetweenFailures)是