L10 - Software Testing, Quality Assurance and Maintenance...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Software Testing, Quality Assurance and Maintenance Winter 2010 Lecture 10 — January 25, 2010 Patrick Lam version 1 Dataflow Graph Coverage for Source Code Last time, we saw how to construct graphs which summarized a control-flow graph’s structure. Let’s enrich our CFGs with definitions and uses to enable the use of our dataflow criteria. Definitions. Here are some Java statements which correspond to definitions. x = 5 : x occurs on the left-hand side of an assignment statement; foo(T x) { ... } : implicit definition for x at the start of a method; bar(x) : during a call to bar , x might be defined if x is a C++ reference parameter. (subsumed by others): x is an input to the program. Examples: Uses. The book lists a number of cases of uses, but it boils down to “ x occurs in an expression that the program evaluates.” Examples: RHS of an assignment, or as part of a method parameter, or in a conditional. Complications.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

L10 - Software Testing, Quality Assurance and Maintenance...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online