ASM-Based Testing: Coverage Criteria and Automatic Test Sequence

@article{Gargantini2001ASMBasedTC,
  title={ASM-Based Testing: Coverage Criteria and Automatic Test Sequence},
  author={Angelo Gargantini and Elvinia Riccobene},
  journal={J. UCS},
  year={2001},
  volume={7},
  pages={1050-1067}
}
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… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS