Abstract
We report on a tool we have developed that implements conformance testing techniques to automatically derive symbolic tests cases from formal operational specifications. We demonstrate the application of the techniques and tools on a simple example and present case studies for the CEPS (Common Electronic Purse Specification) and for the file system of the 3GPP (Third Generation Partnership Project) card.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
3GPP. Third Generation Partnership Project (http://www.3gpp.org).
A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In International Workshop on the Testing of Communication Systems (IWTCS’99), pages 179–196, 1999.
CEPSCO. Common Electronic Purse Specifications, Technical Specification (http://www.cepsco.org), May 2000.
D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva. Automated test and oracle generation for smart-card applications. In Proceedings of the International Conference on Research in Smart Cards, volume 2140 of LNCS, pages 58–70, Cannes, France, September 2001.
E. R. Gansner and S. C. North. An open graph visualization system and its applications to software engineering. Software: Practice and Experience, 30(11):1203–1233, September 2000.
T. Jéron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification (CAV’ 99), volume 1633 of LNCS, pages 108–122, 1999.
W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpiesman, and D. Wonnacott. The Omega library interface guide. Available at http://www.cs.umd.edu/projects/omega.
V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In International Conference on Integrating Formal Methods, volume 1945 of LNCS, pages 338–357, Dagstuhl, Germany, November 2000. Springer-Verlag.
J. Tretmans. A formal approach to conformance testing. In The 6th International Workshop on Protocol Test Systems, number C-19 in IFIP Transactions, pages 257–276, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clarke, D., Jéron, T., Rusu, V., Zinovieva, E. (2002). STG: A Symbolic Test Generation Tool. In: Katoen, JP., Stevens, P. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2002. Lecture Notes in Computer Science, vol 2280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46002-0_34
Download citation
DOI: https://doi.org/10.1007/3-540-46002-0_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43419-1
Online ISBN: 978-3-540-46002-2
eBook Packages: Springer Book Archive