软件测试ST02-Graph-Coverage.pptxVIP

软件测试与质量保证;Paul Ammann Jeff Offutt ;Paul Ammann Jeff Offutt ;OUTLINE;大纲;Ch. 2 : Graph Coverage;第二章: 图覆盖;Covering Graphs(2.1);覆盖图s(2.1);Definition of a Graph;定义一个图;Three Example Graphs;三个示例图;Paths in Graphs;图中的路径;Test Paths and SESEs;测试路径和单入/单出图;Visiting and Touring;访问和游历;Tests and Test Paths;测试和测试路径;Tests and Test Paths;测试和测试路径;Testing and Covering Graphs (2.2);测试的图覆盖(2.2);Node and Edge Coverage;节点和边覆盖;Node and Edge Coverage;节点和边覆盖;Paths of Length 1 and 0;路径的长度1和0;Covering Multiple Edges;覆盖多个边缘;Structural Coverage Example;结构化覆盖的例子;Loops in Graphs;图中循环;Simple Paths and Prime Paths;简单路径和主路径;Prime Path Coverage;主路径覆盖;Round Trips;往返路径;Prime Path Example;主路径举例;Touring, Sidetrips and Detours;游历、侧访、绕路而行;Sidetrips and Detours Example;侧访和绕路举例;Infeasible Test Requirements;不可行的测试需求;Simple Prime Path Example;简单路径和主路径举例;Data Flow Criteria;数据流标准;DU Pairs and DU Paths;DU对和DU路径;Touring DU-Paths;游历DU-Paths;Data Flow Test Criteria;数据流测试标准;Data Flow Testing Example;数据流测试举例;Graph Coverage Criteria Subsumption ;图覆盖标准包含关系;OUTLINE;大纲;Overview;概述;Control Flow Graphs;控制流图CFG;CFG : The if Statement;控制流图: if 语句;CFG : The if-return Statement;控制流图 : if-return 语句;Loops;循环;CFG : while and for Loops;控制流图 : while 和 for 循环;CFG : do Loop, break and continue;控制流图: do Loop, break 和 continue;CFG : The Case (switch) Structure;控制流图 : The Case (switch) 结构;;;Control Flow Graph for Stats;Introduction to Software Testing (Ch 2), ;Control Flow TRs and Test Paths – EC;控制流和测试路径– 边覆盖;i;i;Control Flow TRs and Test Paths – PPC;控制流和测试路径– 主路径覆盖;Data Flow Coverage for Source;源代码数据流覆盖;Example Data Flow – Stats;数据流举例– 统计;;统计的控制流图;;统计的控制流图– 使用 Defs 和 Uses;Defs and Uses Tables for Stats ;统计的Defs 和 Uses 表 ;DU Pairs for Stats ;统计的DU 对;DU Paths for Stats;统计的DU路径;DU Paths for Stats – No Duplicates;统计DU路径–没有重复;Test Cases and Test Paths;测试用例和测试路径;Summary;小结;OUTLINE;大纲;OO Software and Designs;面向对象软件与设计;Call Graph;图调用;Call Graphs on Classes;在类上调用图;Inheritance Polymorphism;继承和多态性;Coverage on Inheritance Graph;继承图覆盖;Dat