Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7 / Issue 11

available in:   HTML (54 kB) PDF (190 kB) PS (175 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-007-11-1050


ASM-Based Testing: Coverage Criteria and Automatic Test Sequence

Angelo Gargantini (C.E.A.­ Università di Catania Piazza Universita, Italy)

Elvinia Riccobene (Dipartimento di Matematica e Informatica ­ Universita di Catania, Italy)

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: Abstract State Machines, formal methods, test sequence generation, testing

Categories: D.2.2, D.2.5