软件测试基础测试方法.pptVIP

（４）判定／条件覆盖选取足够多的测试数据，使得判定表达式中的每个条件中都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。（５）条件组合覆盖选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。（６）路径覆盖选取足够多的测试数据，使程序的每条可能路径都至少执行一次。*第29页，共79页，星期日，2025年，2月5日4）测试覆盖准则错误敏感测试用例分析（ESTCA）准则例子:if(l≥0)theni=j…错写成：if(l＞0)theni=j…Foster通过大量的实验确定了程序中谓词最容易出错的部分，得到了一套错误敏感测试用例分析ESTCA(ErrorSensitiveTestCasesAnalysis)规则：*第30页，共79页，星期日，2025年，2月5日规则１：对于ArelB（其中rel可以是＂＜＂，＂＝＂和＂＞＂）型的分支谓词，应适当地选择A与B的值，使得测试执行到该分支语句时，AB、A=B和AB的情况分别出现一次。规则2：对于Arelc（其中rel可以是＂＜＂，或＂＞＂，A是变量，c是常量）型的分支谓词，当rel是＂＜＂时，应适当地选择A的值，使得：A=c-M其中，M是距c最小的机器容许的整数，若A和c均为整形时，M＝１。同样当rel是＂＞＂时，应适当地选择A的值，使得：A=c＋M其中，M是距c最小的机器容许的整数，若A和c均为整形时，M＝１。规则３：对外部输入变量赋值，使其在每一测试用例中具有不同的值与符号，并与同一组测试用例中其他变量的值与符号不一致。*第31页，共79页，星期日，2025年，2月5日5）基本路径测试法概念：在程序控制流图的基础上，通过分析控制构造的环路复杂性导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。包括５个方面：程序流程图计算程序环境复杂性导出测试用例准备测试用例图形矩阵*第32页，共79页，星期日，2025年，2月5日6)其它白盒测试法（1）域测试是一种基于程序结构的测试方法。Howden对程序错误分类：域错误、计算错误和丢失错误。域错误：每条执行路径对应于输入域的一类情况，若程序的控制流有错误，对应某一特定输入可能执行的是一条错误路径，这种错误称为路径错误，也叫域错误。计算错误：如果对于特定输入执行的是正确路径，但由于赋值语句的错误致使输出结果不正确，则称为计算型错误。丢失错误：程序中某处少了一个判定谓词而引起的丢失路径错误。*第33页，共79页，星期日，2025年，2月5日(2)符号测试符号测试的基本思想：允许程序不仅仅输入具体的数值数据，也可以输入符号值。所谓的符号值可以是基本符号变量值，也可以是这些符号变量值的一个表达式。（3）Z路径覆盖概念：简化循环意义下的路径覆盖为Z路径覆盖。所谓的循环简化是指限制循环的次数。无论循环的形式和实际执行循环的次数是多少，只考虑循环一次和零次两种情况。（4）程序变异程序变异是一种错误驱动测试。*第34页，共79页，星期日，2025年，2月5日7）循环测试循环测试是一种白盒测试技术，注重于循环构造的有效性。循环结构测试用例的设计循环可以划分为以下几种模式：*第35页，共79页，星期日，2025年，2月5日简单循环的测试用例设计：下列测试集用于简单循环，其中n是允许通过循环的最大次数。整个跳过循环；只有一次通过循环；两次通过循环；m次通过循环，其中mn；n-1，n+1次通过循环。*第36页，共79页，星期日，2025年，2月5日例子有这样一个子程序，其中包含一个如下程序流程图所示的循环，请给出对该程序中循环过程进行测试的测试用例。i10i=1YNi=i+2测试内容测试用例备注整个跳过循环只有一次通过循环两次通过循环m次通过循环，其中m5n-1次通过循环n+1次通过循环i=11i=10i=7i=5i=3i=03次通过循环4次通过循环*第37页，共79页，星期日，2025年，2月5日嵌套循环的测试用例设计：如果将简单循环的测试方法用于嵌套循环，可能的测试数就会随嵌套层数成几何级增加，这会导致不实际的测试数目，下面是一种减少测试数的方法：从最内层循环开