Abstract
This tool demonstration paper describes the AGATHA toolset, developed at CEA/LIST. It is an automated test generator for specifications of communicating concurrent units described using an EIOLTS (Extended Input Output Labeled Transition System) formalism which can be extracted, for example, from UML specification.
Chapter PDF
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
Rumbaugh, I. Jacobson, G. Booch, The Unified Modelling Language Reference Manual, Reading, MA: Addison-Wesley, 1998.
Union Internationale des TELECOMMUNICATION, Langage de programmation-Langage de description et de spécification du CCITT-Norme SDL, Recommandation UIT T Z.100, 03/93.
D. Lugato, Nicolas Rapin, J.-P. Gallois, Verification and tests generation for SDL industrial specifications with the AGATHA toolset, Proceeding of Workshop on Real-Time Tools, CONCUR’01.
D. Harel, Statecharts: a Visual Formalism for Complex Systems, Science of Computer Programming, vol. 8, pp. 231–274, 1987.
ISO, Information processing system, system interconnection, a formal description based on an extended state transition model, Geneva, 1997.
AIT-WOODDES Project N IST-1999-10069, http://wooddes.intranet.gr/.
L. A. Clarke. A system to generate test data and symbolically execute programs, IEEE Transactions on software Engineering, vol. SE-2, n°3, September 1976, pp 215–222.
J.C. Huang. An approach to program testing, ACM computing surveys.7(3): 113–128, September 1975.
J. C. King. Symbolic execution and program testing, Communication of the ACM,19(7). July 1976.
M. Ishisone, T. Sawada, Brute: brute force rewriting engine, GAIST, January 2001, http://www.theta.theta.ro/cafeobj.
W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, D. Wonnacott, The Omega Library version 1.1.0, University of Maryland, November 1996, http://www.cs.umd.edu/projects/omega.
R. Milner. Communication and concurrency, Prentice Hall International, 1989.
M. Worner, M. Frohlich, DaVinci Tool version 2.1, Bremen University, July 98, http://www.informatik.uni-bremen.de/davinci.
Objecteering Tool version 5, Softeam Paris, 2001, http://www.softeam.fr.
S. Gérard, N. S. Voros, C. Koulamas, Efficient system modeling of complex real-time industry; networks using the ACCORD/UML methodology, DIPES 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bigot, C. et al. (2003). Automatic Test Generation with AGATHA. In: Garavel, H., Hatcliff, J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2003. Lecture Notes in Computer Science, vol 2619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36577-X_43
Download citation
DOI: https://doi.org/10.1007/3-540-36577-X_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00898-9
Online ISBN: 978-3-540-36577-8
eBook Packages: Springer Book Archive