Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Cavalcanti, A., Gaudel, M.-C.: Specification Coverage for Testing in Circus. In: Qin, S. (ed.) UTP 2010. LNCS, vol. 6445, pp. 1–45. Springer, Heidelberg (2010)
Cavalcanti, A.L.C., Gaudel, M.-C.: Testing for Refinement in Circus. Acta Informatica 48(2), 97–147 (2011)
Cavalcanti, A.L.C., Gaudel, M.-C.: Data Flow Coverage of Circus Specifications - extended version. RR 1567, LRI, Univ. Paris-Sud XI (December 2013), https://www.lri.fr/~bibli/Rapports-internes/2013/RR1567.pdf
Clarke, D., Jéron, T., Rusu, V., Zinovieva, E.: STG: A Symbolic Test Generation Tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 470–475. Springer, Heidelberg (2002)
Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: A Refinement Strategy for Circus. FACJ 15(2-3), 146–181 (2003)
Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A Comparison of Data Flow Path Selection Criteria. In: ICSE, pp. 244–251 (1985)
Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 40–54. Springer, Heidelberg (2006)
Hong, H.S., Ural, H.: Dependence testing: Extending data flow testing with control dependence. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 23–39. Springer, Heidelberg (2005)
Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service-oriented workflow applications. In: ICSE, pp. 371–380 (2008)
Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service choreography. In: ESEC/FSE, pp. 151–160 (2009)
Morgan, C.C.: Programming from Specifications, 2nd edn. Prentice-Hall (1994)
Oliveira, M.V.M., Cavalcanti, A.L.C., Woodcock, J.C.P.: A UTP Semantics for Circus. FACJ 21(1-2), 3–32 (2009)
Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE TSE 11(4), 367–375 (1985)
Roscoe, A.W.: Understanding Concurrent Systems. Springer (2011)
Schoot, H.V.D., Ural, H.: Data flow analysis of system specifications in LOTOS. Int. Journal of Software Engineering and Knowledge Engineering 7, 43–68 (1997)
Ural, H., Saleh, K., Williams, A.W.: Test generation based on control and data dependencies. Computer Communications 23(7), 609–627 (2000)
Woodcock, J.C.P., Davies, J.: Using Z—Specification, Refinement, and Proof. Prentice-Hall (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cavalcanti, A., Gaudel, MC. (2014). Data Flow Coverage for Circus-Based Testing. In: Gnesi, S., Rensink, A. (eds) Fundamental Approaches to Software Engineering. FASE 2014. Lecture Notes in Computer Science, vol 8411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54804-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-54804-8_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54803-1
Online ISBN: 978-3-642-54804-8
eBook Packages: Computer ScienceComputer Science (R0)