International Conference on Software Engineering Advances (ICSEA 2007) Specification-based Testing Method Using Testing Flow Graphs Cap Esterel, France August 25-August 31 ISBN: 0-7695-2937-2
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.65
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||