A Test Generator for Model-Based Testing

Ella Roubtsova, Serguei Roubtsov

2014

Abstract

The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing. The models should be different from implementation and possess the observational consistency allowing preservation behaviour of parts in the behaviour of the whole. The models need to be built into a tool for preparation of the model and data for test generation. This paper proposes to use protocol models for model based testing. A protocol model presents the external behaviour. Unlike other modelling approaches, the Protocol Modelling semantics incorporates data into the model. This property gives us advantages for the choice of the strategy of test generation. The main contribution of the paper is a combination of algorithms for test generating from a protocol model. The preparation of a protocol model for test generation and the results of test generation are illustrated with an example.

References

  1. Aalst van der, W. and Weske, M. (2005). Case Handling: a new paradigm for business process support. Data & Knowledge Engineering, 52(2):129-162.
  2. Bracha, G. and Cook, W. (1990). Mixin-based inheritance. OOPSLA/ECOOP 7890 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pages 303-311.
  3. Davenport, T. and Nohria, N. (1994). Case Management and the Integration of Labor. Sloan Management Review.
  4. Greenyer, J., Rieke, J., Travkin, O., and Kindler, E. (2008). TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph Transformation Tools Contest. University of Paderborn,Technical Report tr-ri08-287.
  5. Hanenberg, S., Stein, D., and Unland, R. (2007). From aspect-oriented design to aspect-oriented programs: tool-supported translation of JPDDs into code. In AOSD, pages 49-62.
  6. Hoare, C. (1985). Communicating Sequential Processes. Prentice-Hall International.
  7. Kervinen, A., Maunumaa, M., Pääkkönen, T., and Katara, M. (2006). Model-Based Testing Through a GUI. volume 3997 of Lecture Notes in Computer Science, pages 16-31.
  8. McNeile, A. and Roubtsova, E. (2008). CSP parallel composition of aspect models. AOM'08, pages 13-18.
  9. McNeile, A. and Roubtsova, E. (2009). Composition Semantics for Executable and Evolvable Behavioural Modeling in MDA. BM-MDA'09,ACM DL:ISBN: 978-1-60558-503-1, pages 1-8.
  10. McNeile, A. and Roubtsova, E. (2012). Motivation and guaranteed completion in workflow. LNBIP, 142:16- 42.
  11. McNeile, A. and Simons, N. (2000). http://www.metamaxim.com/.
  12. McNeile, A. and Simons, N. (2006). Protocol Modelling. A Modelling Approach that Supports Reusable Behavioural Abstractions. Software and System Modeling, 5(1):91-107.
  13. Myers, G. (2004). The Art of Software Testing. Wiley.
  14. OMG (2003). Unified Modeling Language: Superstructure version 2.1.1 formal/2007-02-03.
  15. Petri, C. and Reisig, W. (2008). Petri net, volume 3. Scholarpedia: 3(4):6477.
  16. Roubtsova, E. and Kuiper, R. (2003). Process Semantics for UML Component Specifications to Assess Inheritance. Electr. Notes Theor. Comput. Sci., 72(3):145- 159.
  17. UML (2005). Testing profile. formal/05-07-07,Version 1.0.
  18. Watkins, J. and Simon, M. (2010). Testing IT. 2nd ed. Cambridge University Press.
Download


Paper Citation


in Harvard Style

Roubtsova E. and Roubtsov S. (2014). A Test Generator for Model-Based Testing . In Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-758-032-1, pages 103-112. DOI: 10.5220/0005424801030112


in Bibtex Style

@conference{bmsd14,
author={Ella Roubtsova and Serguei Roubtsov},
title={A Test Generator for Model-Based Testing},
booktitle={Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},
year={2014},
pages={103-112},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005424801030112},
isbn={978-989-758-032-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
TI - A Test Generator for Model-Based Testing
SN - 978-989-758-032-1
AU - Roubtsova E.
AU - Roubtsov S.
PY - 2014
SP - 103
EP - 112
DO - 10.5220/0005424801030112