Paper Info
Title
Specification coverage for testing in circus
Abstract
The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing for Circus; it gives a symbolic characterisation of tests. Each symbolic test specifies constraints that capture the effect of the possibly nondeterministic state operations, and their interaction. This is a sound basis for testing techniques based on constraint solving for generation of concrete tests, but does not support well selection criteria based on the structure of the specification. We present here a labelled transition system that captures information about a Circus model and its structure. It is useful for testing techniques based on specification coverage. The soundness argument for the new transition system follows the UTP style, but relates the new transition relation to the Circus relational model and its operational semantics.
Year
DOI
Venue
2010
10.1007/978-3-642-16690-7_1
UTP
Keywords
Field
DocType
symbolic test,specification coverage,utp style,new transition system,new transition relation,unifying theories,labelled transition system,circus model,symbolic characterisation,circus relational model
Transition system,Operational semantics,Nondeterministic algorithm,Computer science,Algorithm,Theoretical computer science,Selection rule,Soundness,Relational model,Process calculus
Conference
Volume
ISSN
ISBN
6445
0302-9743
3-642-16689-X
Citations 
PageRank 
References 
1
0.36
28
Authors
2
Name
Order
Citations
PageRank
Ana Cavalcanti11407.68
Marie-Claude Gaudel269871.49