Title :
Specification-based Testing Method Using Testing Flow Graphs
Author :
Voigt, Ryan ; Fazal, Kareem ; Reza, Hassan
Author_Institution :
Univ. of North Dakota, Grand Forks
Abstract :
As the most formalizable UML diagram, statecharts make a natural basis for specification based test generation. In this paper we discuss a specification-based testing method that extends specification-based testing method known as Testing Flow Graphs (TFG). Our extended TFG method allows test sequences to be generated that also meet full predicate coverage. To show the effectiveness and efficiency of our approach relative to the original work, we carried out an empirical evaluation using mutation analysis.
Keywords :
Unified Modeling Language; flow graphs; formal specification; program testing; Unified Modeling Language diagram; flow graph testing; specification-based testing method; Aerodynamics; Aerospace testing; Automatic testing; Costs; Fault detection; Flow graphs; Genetic mutations; Software testing; System testing; Unified modeling language;
Conference_Titel :
Software Engineering Advances, 2007. ICSEA 2007. International Conference on
Conference_Location :
Cap Esterel
Print_ISBN :
0-7695-2937-2
Electronic_ISBN :
978-0-7695-2937-0
DOI :
10.1109/ICSEA.2007.65
