《软件工程引论教学》第7章 软件测试

1、整理课件整理课件1234567891011121314用户要求用户要求用户用户: :我要什么我要什么? ?运行结果运行结果计算机计算机: :程序运行得程序运行得到的结果到的结果源程序源程序程序员程序员: :我要让计算我要让计算机做什么机做什么? ?设计说明书设计说明书设计员设计员: :我要让软件我要让软件做什么做什么? ?需求说明书需求说明书分析员分析员: :我要提我要提供什么供什么? ?理解正确性理解正确性表达正确性表达正确性表达正确性表达正确性理解正确性理解正确性设计正确性设计正确性理解正确性理解正确性编码正确性编码正确性输入正确性输入正确性运行正确性运行正确性相符吗相符吗? ?16171

2、8192022232425262728293031实际上这是不可能的。实际上这是不可能的。n对一个具有对一个具有多重选择和循环嵌套多重选择和循环嵌套的程序，的程序，不同的路径数目不同的路径数目可能是天文数字可能是天文数字。给出一个小程序的流程图，它包括了一。给出一个小程序的流程图，它包括了一个执行个执行20次的循环。次的循环。n包含的不同执行路径包含的不同执行路径数达数达520条，对每一条条，对每一条路径进行测试需要路径进行测试需要1毫毫秒，假定一年工作秒，假定一年工作365 24小时，要想把所小时，要想把所有路径测试完，需有路径测试完，需3170年。年。343536F373839404142

3、434445 46 47484950A1B=0A1B 0A 1B = 0A 1B 051A = 2X 1A = 2X A 2X 1A2X 525354 WHILEWHILE 循环结构循环结构 顺序结构顺序结构 UNTILUNTIL 循环结构循环结构 IFIF 选择结构选择结构 CASECASE 多分支结构多分支结构选择结构 55565758596061626364656667对对所有输入数据的各种可能值的排列组合都进所有输入数据的各种可能值的排列组合都进行测试行测试，来检查程序是否都能产生正确的输出，来检查程序是否都能产生正确的输出。实际上这是不可能的。实际上这是不可能的。n假设一个假设一个程

4、序程序P有有输入量输入量X和和Y及及输出量输出量Z。在字。在字长为长为32位的计算机上运行。若位的计算机上运行。若X、Y取整数，按黑取整数，按黑盒方法进行穷举测试：盒方法进行穷举测试：n可能采用的可能采用的 测试数据组：测试数据组： 232232 264 n如果测试一组数据需要如果测试一组数据需要1毫秒，一年工作毫秒，一年工作365 24小时，完成所有测试需小时，完成所有测试需5亿年。亿年。707172PXYZ73all inputsi1i4i2i374in rangegreater than rangeless than rangevaluegreater than valueless than value75not member of setmember of set76BooleanNon-Boolean7778798081828384ab85