Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655932 | Electronic Notes in Theoretical Computer Science | 2005 | 27 Pages |
Abstract
The use of algebraic specification-based testing to validate applications implemented in SML is discussed, particularly the Veritas model-checker. Test case, oracle and data are generated from structured specifications in Casl with test oracles being responsible for driving and interpreting the results of tests according to fundamental research in the area. The objective of this work is twofold - to test conformance of the Veritas model checker with respect to a structured algebraic specification, and to contribute to further development in the area of specification-based testing by illustrating its application, focusing on theoretical problems and solutions anticipated.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
PatrÃcia D.L. Machado, Elthon A.S. Oliveira, Paulo E.S. Barbosa, Cássio L. Rodrigues,