Specification-Based Testing for CoCasl's Modal Specifications

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.

• Type: Conference
• Year: 2007
• Where: CALCO
• Authors: Delphine Longuet, Marc Aiguier
• Keywords: Black-box Testing, CALCO 2007, Efficient Selection Method, Mathematics, Specification-based Testing