Paper Info
Title
Testing from Structured Algebraic Specifications: The Veritas Case Study
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.
Year
DOI
Venue
2005
10.1016/j.entcs.2005.03.013
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
structured algebraic specifications,structured specification,specification-based testing,algebraic specification-based testing,structured algebraic specification,oracle problem,fundamental research,algebraic specification,veritas model checker,veritas case study,theoretical problem,test harness,veritas model-checker,test case,test oracle
Test harness,Algebraic specification,Algebraic number,Programming language,Model checking,Computer science,Oracle,Algorithm,Theoretical computer science,Specification based testing
Journal
Volume
ISSN
Citations 
130,
Electronic Notes in Theoretical Computer Science
1
PageRank 
References 
Authors
0.36
15
4
Name
Order
Citations
PageRank
Patrícia D. L. Machado129525.50
Elthon A. S. Oliveira261.58
Paulo E. S. Barbosa3235.14
Cássio L. Rodrigues473.83