Abstract
In this paper, we present a model-based testing approach based on user provided testing scenarios. In this approach, when a software model is refined to add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The test cases, to be applied on the system under test, are generated from these scenarios. We use the Event-B formalism for software models, while user scenarios are represented as Communicating Sequential Process (CSP) expressions. The presented case study demonstrates how our approach can be used to test different features of a system such as incorporated fault-tolerance mechanisms.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cambridge Dictionary for English, http://dictionary.cambridge.org/
Software Testing Online Blog. http://testingsoftware.blogspot.com/2006/02/test-case.html
Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
Abrial, J.-R.: Event Driven Sequential Program Construction (2000), http://www.matisse.qinetiq.com
Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, p. 83. Springer, Heidelberg (1998)
Back, R.-J., von Wright, J.: Refinement calculus, part i: Sequential nondeterministic programs. In: REX Workshop, pp. 42–66 (1989)
Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: Gsm 11-11 standard case study. Softw. Pract. Exper. 34(10), 915–948 (2004)
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
Dalal, S.R., et al.: Model Based Testing in Practice. In: Proc. of the ICSE 1999, Los Angeles, pp. 285–294 (1999)
Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Inc., Englewood Cliffs (1985)
Laibinis, L., Troubitsyna, E., Iliasov, A., Romanovsky, A.: Rigorous development of fault-tolerant agent systems. In: RODIN Book, pp. 241–260 (2006)
Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003)
Naslavsky, L., Alspaugh, T.A., Richardson, D.J., Ziv, H.: Using Scenarios to support traceability. In: Proc. of 3rd int. workshop on Traceability in emerging forms of software engineering (2005)
Roscoe, A.W.: The theory and practice of concurrency. Prentice-Hall, Englewood Cliffs (1998)
Satpathy, M., Leuschel, M., Butler, M.J.: ProTest: An automatic test environment for B specifications. Electr. Notes Theor. Comput. Sci. 111, 113–136 (2005)
Satpathy, M., Malik, Q.A., Lilius, J.: Synthesis of scenario based test cases from b models. In: FATES/RV, pp. 133–147 (2006)
Utting, M., Legeard, B.: Practical Model-Based Testing. Morgan Kaufmann Publishers, San Francisco (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Malik, Q.A., Lilius, J., Laibinis, L. (2009). Model-Based Testing Using Scenarios and Event-B Refinements. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds) Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science, vol 5454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00867-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-00867-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00866-5
Online ISBN: 978-3-642-00867-2
eBook Packages: Computer ScienceComputer Science (R0)