Specification-based testing for COCASL'S modal specifications

Authors:
Delphine Longuet;Marc Aiguier
Affiliations:
IBISC CNRS FRE, University of Évry Val d'Essonne, Évry;IBISC CNRS FRE, University of Évry Val d'Essonne, Évry
Venue:
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Year:
2007

Citing 16
Cited 0

Testing finite state machines

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Software testing based on formal specifications: a theory and a tool

Software Engineering Journal
Proof systems for structured specifications with observability operators

Theoretical Computer Science - Special issue: algebraic development techniques
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Dynamic Testing from Bounded Data Type Specifications

EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Formal Specifications and Test: Correctness and Oracle

Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Testing Can Be Formal, Too

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Testing Against Formal Specifications: A Theoretical View

TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Unit Testing for C88 ASL Architectural Specifications

MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Using a Model Checker to Test Safety Properties

ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Coalgebraic modal logic in COCASL

WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Test selection criteria for quantifier-free first-order specifications

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Symbolic execution techniques for test purpose definition

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Test generation based on symbolic specifications

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing from algebraic specifications: test data set selection by unfolding axioms

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.