Testing from Structured Algebraic Specifications: The Veritas Case Study | Zendy

Patrícia D. L. Machado | Zendy; Elthon A. S. Oliveira | Zendy; Paulo E. S. Barbosa | Zendy; Cássio L. Rodrigues | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Testing from Structured Algebraic Specifications: The Veritas Case Study

Author(s) -

Patrícia D. L. Machado,

Elthon A. S. Oliveira,

Paulo E. S. Barbosa,

Cássio L. Rodrigues

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.03.013

Subject(s) - computer science , programming language , algebraic specification , oracle , algebraic number , conformance testing , test (biology) , formal specification , mathematics , operating system , mathematical analysis , paleontology , standardization , biology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research