JUCS - Journal of Universal Computer Science 7(11): 1050-1067, doi: 10.3217/jucs-007-11-1050
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
expand article infoAngelo Gargantini‡, Elvinia Riccobene§
‡ C.E.A.­ Università di Catania Piazza Universita, Catania, Italy§ Università di Catania, Dipartimento di Matematica e Informatica, Catania, Italy

Corresponding author: Angelo Gargantini ( a.gargantini@unict.it )

© Angelo Gargantini, Elvinia Riccobene.
This article is freely available under the J.UCS Open Content License.
Citation: Gargantini A, Riccobene E (2001) ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. JUCS - Journal of Universal Computer Science 7(11): 1050-1067. https://doi.org/10.3217/jucs-007-11-1050
Open Access
Abstract
This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for testing purposes. We define for ASM specifications a set of adequacy criteria measuring the coverage achieved by a test suite, and determining whether sufficient testing has been performed. We introduce a method to automatically generate from ASM specifications test sequences which accomplish a desired coverage. This method exploits the counter example generation of the model checker SMV. We use ASMs as test oracles to predict the expected outputs of units under test.
Keywords
testing, test sequence generation, formal methods, Abstract State Machines