Testing for Refinement in CSP

10 years 1 months ago
Testing for Refinement in CSP
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective tool have encouraged much work on algebraic reasoning and model checking. Testing techniques based on CSP models, however, have not been widely explored, and in this paper we take a first step by instantiating a long standing theory of formal testing to CSP. We identify the testability hypothesis that we consider necessary to make the use of CSP feasible, define test sets that we prove to be exhaustive with respect to traces and failures refinement, and consider optimisations, inputs and outputs, and selection strategies. All our results are proved in terms of the CSP denotational models. They are a sound foundation for the development of test-generation techniques.
Ana Cavalcanti, Marie-Claude Gaudel
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Authors Ana Cavalcanti, Marie-Claude Gaudel
Comments (0)