×

zbMATH — the first resource for mathematics

Specification-based testing for CoCasl’s modal specifications. (English) Zbl 1214.68231
Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 356-371 (2007).
Summary: Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specification language.
For the entire collection see [Zbl 1123.68007].

MSC:
68Q65 Abstract data types; algebraic specification
03B45 Modal logic (including the logic of norms)
Software:
CoCasl
PDF BibTeX XML Cite
Full Text: DOI