第九章软件测试.pptVIP

开始y0Tx←x+yReady结束Fx←yy0Tx←yReadyFx0TFx未赋初值就引用x变量未使用该路径永远不会执行结构性错误：第125页，共183页，星期日，2025年，2月5日功能性错误指程序功能与用户需求不相符合引起的错误。功能性错误主要靠动态测试来发现。发现错误的时间越早越好。接口错误调用函数和子程序时，实参和形参的类型、个数及顺序不一致。全局变量引用不当。集成测试的重点是检测接口错误。第126页，共183页，星期日，2025年，2月5日单元测试(UnitTesting)单元测试又称模块测试，是针对软件设计的最小单位─程序模块，进行正确性检验的测试工作。其目的在于发现各模块内部可能存在的各种差错。单元测试需要从程序的内部结构出发设计测试用例。多个模块可以平行地独立进行单元测试。第127页，共183页，星期日，2025年，2月5日1、测试内容模块模块接口测试局部数据结构测试重要路径测试错误处理测试边界条件测试I/O参数值的个数、类型、次序、格式是否正确，I/O文件属性、操作是否正确等。数据说明是否正确、一致，变量及其初值定义是否正确等。检查“错误处理程序”本身的错误。边界条件常包括循环边界，最大最小值、控制流中等于、大于、小于的比较值等。重要路径通常是指完成模块功能的主要路径，一般是控制结构。单元测试（unittesting)第128页，共183页，星期日，2025年，2月5日单元测试的步骤编译静态分析器检查代码评审动态测试编译编译程序检查代码中的语法错误。静态分析器以检查结构性错误为主，节省人力。代码评审办公桌检查走查代码会审第129页，共183页，星期日，2025年，2月5日测试用例设计白盒测试用例设计：学生成绩查询程序。存放100个学生的成绩，按学号排序。如果输入的学号在这批学生内，就输出该学生的成绩，否则便回答“学号没有找到”。①程序由内外两层循环嵌套而成②键入学号为“0”，结束查找③内层循环执行“折半查找”第93页，共183页，星期日，2025年，2月5日INTEGERfirst,last,middle,Studntno,numDIMENSIONstudntno(100),score(100)Read(*,*)kRead(*,*)(studntno(i),score(i),i=1,k)Read(*,*)numDo30,While(num.NE.0)First=1last=kmiddle=(first+last)/2IF(num.EQ.Studno(middle).OR.First.EQ.Last)GOTO2010IF(num.LT.Studntno(middle))Thenlast=middle第94页，共183页，星期日，2025年，2月5日Elsefirst=middle+1EndIFmiddle=(first+last)/2GOTO1020CONTINUEIF(num.EQ.Studntno(middle))ThenWrite(*,’(1X,’studentnumber’,I6,2X,’score=‘,I3)’)num,score(middle)ElseWrite(*,’(1X,’studentnumber’,I6,2X,’notfound,’)’)numEndIFRead(*,*)num30CONTINUEEND第95页，共183页，星期日，2025年，2月5日 调整first开始num()查找结束?在上半部分?TF调整last读入成绩表读入numFirst,last,Middle赋初值F内T重算middleTF123外第96页，共183页，星期日，2025年，2月5日 印出“未找到”结束找到所查学号?打印分数读入下一个numTF123第97页