第十章 数据流测试.ppt

第10章数据流测试、计算机软件测试、1、数据流测试是什么？数据流测试表示结构测试的形式，重点是变量接收值的位置以及使用(或引用)该值的点。数据流测试的重点是可用作路径测试的“可靠性检查”。数据流测试的两种基本方法：基本定义集和综合测试覆盖指标结构测试；基于“程序切片”概念的测试。定义引用计算机软件测试，2，定义/使用测试，拥有程序图G(P)的程序P和程序变量v集的程序P。P中的所有路径集都是PATHS(P)。计算机软件测试，3，节点定义，节点定义ng(p)是变量vv的定义节点，记录为DEF(v，n)，并且仅当变量v的值由该节点n的语句片段定义时。输入语句、赋值语句、循环控制语句和过程调用都是定义节点语句的示例。对应于语句的节点运行时，与该变量关联的存储单元的内容将发生变化。计算机软件测试，4，节点使用，节点定义ng(p)是变量vv的使用节点，如果变量v的值仅用于该节点n的语句段，则记录为使用(v，n)。语句、赋值语句、条件语句、循环控制语句和过程调用都是使用节点语句的示例。语句对应的节点运行时，与该变量关联的存储单元的内容保持不变。计算机软件测试，5，谓词使用和计算，定义使用节点USE(v，n)是谓词使用(以P-use记录)，仅当语句n是谓词语句时；否则，在计算中使用USE(v，n)(以C-use记录)。如果谓词中使用的节点始终具有外部=2，计算中使用的节点始终具有外部=1。计算机软件测试，6，定义-使用路径，变量v的定义使用路径定义(记录为du-path)是PATHS(P)的路径，v/v的节点DEF(v，m)和USE(m)，计算机软件测试，7，定义-清除路径，定义变量v的定义清除路径(记录为dc-path)，具有原始和最终节点DEF(v，m)和USE(v，n)的PATHS(P，计算机软件测试，8，佣金问题的程序图，8，9，10，11，12，7，13，14，15，16 13，sales的定义/使用路径，计算机软件测试，14，commission的定义/使用路径，15，完整定义标准，集t是所有变量v/v，t是v的每个定义节点到v之间使用的一个变量，t是具有变量集v的程序p的程序图G(p)中的路径集合。计算机软件测试，16，完整使用说明，集t仅在满足程序p的完整使用说明的情况下定义，其中所有变量v-72v，t包括v的每个定义节点到v的所有使用以及所有使用(v，n)后续节点的定义清除路径。计算机软件测试，17，使用完整谓词/部分计算的使用准则，定义集t满足程序p的完整谓词使用/部分计算的使用准则，定义所有变量v仅v，t包含所有谓词从v的每个定义节点到v使用的定义清除路径，如果X-v的定义之一没有谓词，则最小为删除路径定义，计算机软件测试，18，使用完整计算/部分谓词的使用准则，集定义t符合程序p的完整计算使用/部分谓词使用准则，所有变量v-725，v，t包含v的每个定义节点到v的所有计算使用的定义清除路径，如果v的任一定义没有使用计算，则至少使用一个谓词，因为删除路径定义。计算机软件测试，19，使用完整定义-路径标准，集合t定义程序p的完整定义使用路径标准。所有变量v/v，t包含从所有变量v/v到所有使用、所有使用(v，n)后续节点的删除定义路径。这些路径仅在回路通过一次或没有回路的情况下。计算机软件测试，20，数据流复盖指标Rapps/Weyuker层次，完整路径，使用完整定义-路径，使用完整计算/部分谓词，使用完整定义/部分计算，使用完整谓词，使用完整谓词，完整提供指定程序P以及语句和语句段编号的程序图G(P)、P的变量集V、变量集V是用语句段n的切片、S(V，n)记录的，是对n之前的V的变量值做出贡献的P的所有语句段编号的集合。计算机软件测试、22、节点使用和节点定义、USE关系以用于谓词(判断)的5种形式运行。计算用于计算。输出用于输出。定位用于位置(指针、下标)。迭代使用迭代(内部计数器，显示循环)。标识两个定义节点：输入定义通过输入定义。分配定义是通过分配定义的。计算机软件测试，23，首先，假设片S(V，n)是由单个变量V组成的变量上的片。如果门片段n是v的定义节点，则该片段包含n。如果门片段n是v的使用节点，则n不包含在此片段中。对其他变量使用谓词和使用计算(不是切片集v的v)包含可能影响变量v值扩展的执行。引导，无论是否包含语句片断，v的值都保持不变。除了语句片断外，胶片通常不包含输出使用节点、位置使用节点和重复使用节点。，计算机软件测试，24，变量locks的切片，S1: s (locks，13)=13) S2: s (locks，14)=13，19 totalStocks和totalBarrels的切片，S9: s (total locks，10)=10 S10: s (total locks，16)=10，10 20 s17: s (total barrells，23)=12，13，14，15，18，19，20，计算机软件测试，27，分配27)=7，8，9，10，11，12，13，14，15，16，17，18，19，20，24，25，26 27 s28: s (sales，34)=7，8，9，10，11，12，13，14，15，16，17，18，11 s31:s(commission，31)=31 s32: s (commission，32)=31，32 s33: s (commission，32) 27、29、34、38 s37: s (commission，41)=7、8、9、10、11、12、13、14、15 绝对不要在V的变量V中创建切片S(V，n)，该变量不会出现在语句段n中。2.在一个变量中创建切片。切片S(V，n)的组件V可以包含多个变量，有时这些切片也很有用。3.系统会为所有分配定义节点生成片。4.在谓词中使用节点生成片。5.考虑让您编译片段。计算机软件测试、33、指令和观察、数据流测试显然适用于计算密集型程序。即可从workspace页面中移除物件。如果要在控制密度较高的程序中计算控制变量(由谓词使用)