软件测试的方法.pptVIP

3.2.6功能图法每个程序的功能通常由静态说明和动态说明组成静态说明描述了输入条件和输出条件之间的对应关系动态说明描述了输入数据的次序或者转移的次序。功能图法就是为了解决动态说明问题的一种测试用例的设计方法功能图由状态迁移图（statetransitiondiagram，STD）和逻辑功能模型（logicfunctionmodel，LFM）构成第61页，共86页，星期日，2025年，2月5日状态迁移图状态迁移图，描述系统状态变化的动态信息——动态说明，由状态和迁移来描述，状态指出数据输入的位置（或时间），而迁移则指明状态的改变第62页，共86页，星期日，2025年，2月5日确定线性独立的路径集合独立路径：至少引入一系列新的处理语句或条件的任何路径基本集：由独立路径构成的集合由基本集导出的测试用例，保证每行代码语句至少被执行一次基本集合不一定唯一第29页，共86页，星期日，2025年，2月5日Path1:1-2-3-6-7-9-10-1-11示例：基本路径测试用例Path2:1-2-3-6-8-9-10-1-11Path3:1-2-3-4-5-10-1-11Path4:1-111910112458736第30页，共86页，星期日，2025年，2月5日测试用例覆盖集合中每条路径基本路径测试并不是测试所有路径的组合，仅仅保证每条基本路径被执行一次不需要活动图,但最好绘制程序流程图计算每个逻辑测试，也就是布尔操作符数加1最好每个单元都进行基本路径测试，对关键组件则是必要的第31页，共86页，星期日，2025年，2月5日目标:在循环内部及边界上执行测试循环测试－11.简单循环(迭代次数n)完全跳过循环只经过循环一次经过循环两次经过循环m（mn）次分别经过循环n-1,n,n+1次第32页，共86页，星期日，2025年，2月5日循环测试－22.嵌套（Nested）循环在最里面的循环完成前面所述的简单循环测试，同时设定外部循环的最小迭代次数逐步向外循环进行直到所有循环被测试第33页，共86页，星期日，2025年，2月5日循环测试－3其它非结构循环重新设计!3.串行连接的循环独立循环?可以分别看着简单循环测试依赖性循环?可以看着是嵌套循环第34页，共86页，星期日，2025年，2月5日3.2黑盒测试方法3.2.1等价类划分法3.2.2边界值分析法3.2.3判定表方法3.2.4因果图法3.2.5正交试验法3.2.6功能图法3.2.7错误推测法第35页，共86页，星期日，2025年，2月5日3.2.1等价类划分方法将程序可能的输入数据分成若干个子集，从每个子集选取一个代表性的数据作为测试用例，等价类是某个输入域的子集，在该子集中每个输入数据的作用是等效的分为有效等价类和无效等价类。有效等价类是有意义的、合理的输入数据，可检查程序是否实现了规格说明中所规定的功能和性能。无效等价类与有效等价类的意义相反在分析需求规格说明的基础上划分等价类，列出等价类表设计测试用例时，要同时考虑这两种等价类。因为软件不仅要能接收合理的数据，也要能经受意外的考验。经过正反的测试才能确保软件具有更高的可靠性。allinputsi1i4i2i3第36页，共86页，星期日，2025年，2月5日确定等价类的方法在输入条件规定了取值范围或值的个数的情况下，则可以确立一个有效等价类和两个无效等价类inrangegreaterthanrangelessthanrangevaluegreaterthanvaluelessthanvalue第37页，共86页，星期日，2025年，2月5日在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类确定等价类的方法（2）notmemberofsetmemberofsetBooleanNon-Boolean第38页，共86页，星期日，2025年，2月5日确定等价类的方式(3)在规定了输入数据的一组值(假定n个)，并且程序要对每一个输入值分别处理的情况下，可确立n个有效等价类和一个无效等价类。在规定了输入数据必须遵守的规则的情况下，可确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。个人月收入-x税率