Longuet, Delphine; Aiguier, Marc 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]. Cited in 1 Document MSC: 68Q65 Abstract data types; algebraic specification 03B45 Modal logic (including the logic of norms) Keywords:specification-based testing; axiom unfolding; coalgebraic specifications; modal logic; CoCasl Software:CoCasl PDF BibTeX XML Cite \textit{D. Longuet} and \textit{M. Aiguier}, Lect. Notes Comput. Sci. 4624, 356--371 (2007; Zbl 1214.68231) Full Text: DOI