ATGT: ASM Tests Generation Tool
ATGT is a tool for automatically generating test sequences from ASM specifications.
Versions
ATGT come in two flavours (follow the links for further information, download, documentation, examples and so on):
- atgt_gui: a tool with a graphical user interface. It supports several coverage criteria (structural, fault based and combinatorial) and two model checkers (Spin and SAL).
- atgt_smt_ccit: supports only constrained combinatorial interaction testing with SMT solvers (Yices) and it is a command line version. It is simpler to install and use.
Language
ATGT accepts two syntaxes:
- the AsmetaL format (see the asmeta project - suggested grammar) and
- a simpled asmgofer like syntax (see http://www.tydo.de/AsmGofer/). See the asmGofer grammar for ATGT here.</p>
Paper
If you want to cite ATGT, please use the paper:
Gargantini, Angelo, Riccobene, Elvinia, and Rinzivillo, Salvatore Using Spin to Generate Tests from ASM Specifications in ASM 2003 - Taormina, Italy, March 2003. Proceedings, LNCS 2589 (Eds. Boerger, Egon and Gargantini, Angelo and Riccobene, Elvinia) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 2589 (2003): 263-277 ISBN 978-3-540-00624-4 [abstract] [read the copyright and download the pdf file] [DOI] [url]
People
Several people have worked in this tool.
- Angelo Gargantini
- Elvinia Riccobene
- Paolo Arcaini
- Andrea Calvagna - helped with the combinatorial testing
- Salvo Rinzivillo - wrote the first release
- Sergio Galati - added the support for functions
News
- Jan 12: atgt_smt supports (limited) the dynamic library (z3 and yices.so)
- May 10: atgt command line version for Constrained Combinatorial Testing is available for download (with some examples)
- Nov 09: last version of ATGT supports the improvements presented @TAP 09
- June 08: ATGT now supports combinatorial testing: see our paper @TAP 08 and @ AFM 08
- Dec 06: ATGT now supports generation of fault detecting tests. See my new paper at TAP 07.