Circus is a state-rich process algebra based on Z and CSP that can be used for testing. In this paper, we consider data-flow coverage. In adapting the classical results on coverage of programs to Circus models, we define a notion of specification traces, consider models with data-flow anomalies, and cater for the internal nature of state. Our results are a framework for data-flow coverage of such abstract models, a novel data-flow criterion suited to state-rich process models, and the conversion of specification traces into symbolic traces. © 2014 Springer-Verlag.
CITATION STYLE
Cavalcanti, A., & Gaudel, M. C. (2014). Data flow coverage for Circus-based testing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8411 LNCS, pp. 415–429). Springer Verlag. https://doi.org/10.1007/978-3-642-54804-8_29
Mendeley helps you to discover research relevant for your work.