七、画出该程序的流程图 R[o]=R[+1l;j=i; ① ]>R[o]? R[+l]=R[0]; Ri+ll=Rl: i- 测试用例设计 [rGL RQ IRi+lIR ><①e③ 八、答案: 〖问题1〗利用故障播种(植入)模型,被测程序ASP的固有故障个数N的值为: N=Nsn/ns=10*160/2=800(个故障)。 根据 Shooman模型 MTTF =100 K(Er-Ec()200800-795) 〖问题2〗把此MITF再提高4倍,则MTIF=500,有 MTTF (Er-Ec(t))200800-Fc(t) 得:Ec(t)=799 因此,只要再排除799-795=4个固有错误,MITF就可再提高4倍。5 七、`画出该程序的流程图： 测试用例设计 循环 次数 输 入 数 据 预 期 结 果 覆 盖 路 径 j R[i-2] R[i-1] R[i] R[i+1] R[0] j R[i-2] R[i-1] R[i] R[i+1] 约束 路 径 0 i ― ― 1 2 2 i ― ― 1 2 < ①③ i ― ― 1 1 1 i ― ― 1 1 = ①③ 1 i ― 1 3 2 2 i-1 ― 1 2 3 >< ①②③ i ― 2 3 2 2 i-1 ― 2 2 3 >= ①②③ 2 i 1 3 4 2 2 i-2 1 2 3 4 >>< ①②②③ i 2 3 4 2 2 i-2 2 2 3 4 >>= ①②②③ 八、答案： 〖问题 1〗利用故障播种（植入）模型，被测程序 ASP 的固有故障个数 N 的值为： N = NS * n / nS = 10 * 160 / 2 = 800 （个故障）。 根据 Shooman 模型： 〖问题 2〗把此 MTTF 再提高 4 倍，则 MTTF = 500，有 得： EC(t) = 799 因此，只要再排除 799 - 795 = 4 个固有错误，MTTF 就可再提高 4 倍。 R[0] = R[i+1]; j = i; R[j] > R[0]? R[j+1] = R[j]; j --; R[j+1] = R[0]; T F 100 200(800 795) 10 K(E E (t)) I MTTF 5 T C T = − = − = 500 200(800 Ec(t)) 10 K(E E (t)) I MTTF 5 T C T = − = − = ① ② ③