[覆盖分析.pptVIP

0C202 Software Testing 4-* 所有变量每个du-对 覆盖标准 变 量 x 变 量 y 变 量 max (def(x,v0), cuse(x,v1)) (def(x,v0), puse(x,v2,v3)) (def(x,v0), puse(x,v2,v4)) (def(y,v0), puse(y,v2,v3)) (def(y,v0), puse(y,v2,v4)) (def(y,v0), cuse(y, v3)) (def(max,v1), cuse(max,v4)) (def(max,v3), cuse(max,v4)) all-uses P1 ? ? ? ? ? P2 ? ? ? ? all-defs P1 ? ? ? ? ? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数据流覆盖一族标准 下面总结一下数据流覆盖已提出的路径选择的一族标准，包括all-paths, all-edges, all-nodes, all-defs, all-uses, all-puses, all-puses/some-cuses and all-du-pa