L9 - 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

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

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

Unformatted text preview: Software Testing, Quality Assurance and Maintenance Winter 2010 Lecture 9 January 22, 2010 Patrick Lam version 1 So far, weve seen a number of coverage criteria for graphs, but Ive been vague about how to actually construct graphs. For the most part, its fairly obvious, and youve done it on assignments. Graph Coverage for Source Code Lets see formal definitions. Remember that we first defined the structural criteria: NC, EC, EPC, PPC, SPC, CPC. (Why are ADC, AUC, ADUPC, CRTC, SRTC inapplicable?) Structural Graph Coverage for Source Code Fundamental graph for source code: Control-Flow Graph (CFG). CFG nodes: zero or more statements; CFG edges: an edge ( s 1 ,s 2 ) indicates that s 1 may be followed by s 2 in an execution. Basic Blocks. We can simplify a CFG by grouping together statements which always execute together (in sequential programs): x = 5 z = 2 l0 : i f ( z < 17) goto l1 z = z + 1 print (x) goto l0 l1 : nop We use the following definition: Definition 1...
View Full Document

Page1 / 2

L9 - 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