loading...
Specification-based Testing Method Using Testing Flow Graphs
Cap Esterel, France August 25-August 31
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.65International Conference on Software ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ryan Voigt, Kareem Fazal, Hassan Reza, "Specification-based Testing Method Using Testing Flow Graphs," Software Engineering Advances, International Conference on, pp. 48, International Conference on Software Engineering Advances (ICSEA 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICSEA.2007.65,
author = {Ryan Voigt and Kareem Fazal and Hassan Reza},
title = {Specification-based Testing Method Using Testing Flow Graphs},
journal ={Software Engineering Advances, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2937-2},
pages = {48},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.65},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Advances, International Conference on
TI - Specification-based Testing Method Using Testing Flow Graphs
SN - 0-7695-2937-2
SP
EP
A1 - Ryan Voigt,
A1 - Kareem Fazal,
A1 - Hassan Reza,
PY - 2007
KW - null
VL - 0
JA - Software Engineering Advances, International Conference on
ER -
 
Ryan Voigt, University of North Dakota, Grand Forks, USA
Kareem Fazal, University of North Dakota, Grand Forks, USA
Hassan Reza, University of North Dakota, Grand Forks, USA
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.
Citation:
Ryan Voigt, Kareem Fazal, Hassan Reza, "Specification-based Testing Method Using Testing Flow Graphs," icsea, pp.48, International Conference on Software Engineering Advances (ICSEA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.