Data Flow Coverage for Circus-Based Testing

Ana Cavalcanti (1) , Marie-Claude Gaudel (2)

1 University of York [York, UK]
2 LRI - Laboratoire de Recherche en Informatique

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.

Mots clés: software testing; formal specifications

Domaines: Autre [cs.OH]

Ana Cavalcanti, Marie-Claude Gaudel. Data Flow Coverage for Circus-Based Testing. LNCS, ETAPS, Apr 2014, Grenoble, France. pp.415-429, ⟨10.1007/978-3-642-54804-8_29⟩. ⟨hal-01126796⟩