A-A+
检查控制武器系统的计算机程序 显示有54个“if”语句(其中23个带有“else”子句) 4
问题详情
检查控制武器系统的计算机程序，显示有54个“if”语句(其中23个带有“else”子句)、4个“switch”语句(分别带有5、7、4和8个“case”)，以及17个“for”或“while”循环，它们具有参数化的循环边界。如何穷尽测试这样一个程序，以证明其安全？
请帮忙给出正确答案和分析，谢谢！
参考答案
正确答案：要穷尽测试所有的可能性将不得不测试经过程序的所有路径：31*2(if语句)*23*3(if else)*5*7*4*8(switch)*17(循环)*4(每个循环的循环测试情况)≈3．25亿次测试
要穷尽测试所有的可能性,将不得不测试经过程序的所有路径：31*2(if语句)*23*3(ifelse)*5*7*4*8(switch)*17(循环)*4(每个循环的循环测试情况)≈3．25亿次测试
