Table of Contents
ISRN Software Engineering
Volume 2013 (2013), Article ID 432021, 12 pages
http://dx.doi.org/10.1155/2013/432021
Research Article

Decision Graphs and Their Application to Software Testing

Faculty of Electrical Engineering and Computer Science, Ingolstadt University of Applied Sciences, Esplanade 10, 85049 Ingolstadt, Germany

Received 20 December 2012; Accepted 17 February 2013

Academic Editors: C. Rolland and S. Sutton

Copyright © 2013 Robert Gold. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Control flow graphs are a well-known graphical representation of programs that capture the control flow but abstract from program details. In this paper, we derive decision graphs that reduce control flow graphs but preserve the branching structure of programs. As an application to software engineering, we use decision graphs to compare and clarify different definitions of branch covering in software testing.