Improving Model-Driven Software Testing by using Formal Languages / Melhorando o teste de software controlado por modelo usando idiomas formais

Authors

  • Ilan Rosenfeld
  • Claudia Pons
  • Gabriel Baum

DOI:

https://doi.org/10.34117/bjdv5n3-1290

Keywords:

model driven testing, UML, OCL, Java, testing, formal languages.

Abstract

Model-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of a software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this paper, we describe a tool that allows developers to translate a software model written in UML with OCL formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in Java language but also in two formal languages, which are OCL and Alloy. This tool provides more reliable support by amalgamating different techniques, which strengthens the testing process.

 

 

References

M. Brambilla, J. Cabot and M. Wimmer (2012). “Model-Driven Software Engineering in Practice”.Morgan&ClaypoolPublishers ISBN: 9781608458820.

T. Stahl and M. Voelter (2006). “Model-Driven Software Development”.Technology, Engineering, Management.1st edition. Wiley..

D. Di Ruscio, R.F. Paige and A. PierantonioEditors (2014).Science of Computer Programming.Special issue on Success Stories in Model Driven Engineering. Vol. 89, pp. 69-222. Elsevier.

OMG (2015).OMG success stories.[Online]. Available: http://www.omg.org/mda/products_success.htm, last access.

UML (2017).Unified Modeling LanguageTM (UML) [Online]. Available: http://www.omg.org/spec/UML/

OCL (2017).The Object Constraint Language [Online]. Available: https://www.omg.org/spec/OCL/2.4/

M. Utting and B. Legeard (2007). Practical Model Based Testing: A tools approach. Morgan Kaufmann Publishers Inc. USA ©.

EMP (2017).Eclipse Modeling Project. [Online]. Available: https://eclipse.org/modeling

EMF (2017).Eclipse Modeling Framework EMF: [Online]. Available: http://eclipse.org/modeling/emf/

Papyrus: (2017). Papyrus: [Online]. Available: http://eclipse.org/papyrus

Acceleo (2017).Acceleo: [Online]. Available: https://projects.eclipse.org/projects/modeling.Acceleo

JUnit (2017).JUnit: [Online]. Available: http://junit.org/junit4/

Mockito (2017). Mockito: [Online]. Available: http://site.mockito.org/

Jackson, D. (2006): Software Abstractions: Logic, Language, and Analysis. MIT Press.

Alloy (2017). Alloy tool: [Online]. Available: http://alloytools.org/ "

A. Cunha, A. Garis, D.Riesco (2015):Translating between Alloy specifications and UML class diagrams annotated with OCL.Software and System Modeling 14(1): 5-25 AlloyMDA: [Online]. Available: http://sourceforge.net/p/alloymda/wiki/Home/

S.Khalek, G. Yank, L. Zhang, D.Marinovt, S. Khurshid(2011). TestEra: A tool for testing JavaPrograms using Alloy specifications. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Hilken, F., Niemann, P., Wille, R., Gogolla, M (2014): Towards a base model for UML and OCL verification. In: Boulanger, F., Famelis, M., Ratiu, D. (eds.) MoDeVVa@MODELS. pp. 59–68.

Kuhlmann, M., Hamann, L., Gogolla, M. (2011): Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290–306. Springer, Heidelberg.

M. Nabuco, Ana C.R. Paiva (2014). Model-based test case generation for Web Applications.In Proceeding of the 14th Int. Conf. on Computational Science and Its Applications — ICCSA 2014 – Vol. 8584.Springer-Verlag. New York, NY, USA.

A. Bucchiarone, H. Muccini, P. Pelliccione, and P. Pierini (2014). Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In Proc. Int.Workshop on Integration of Testing Methodologies,ITM ’04. LNCS n.3236.

M. Wendland, Andreas Homann, Ina Schieferdecker (2013). Fokus!MBT – A multi-paradigmatic test modeling environment. in: ACME '13 Proceedings of the workshop on ACadeMics Tooling with Eclipse, Montpellier, France. ACM New York, NY, USA.

Ilan Rosenfeld.(2016). “Lenguajesformales y derivaciónautomática de código de pruebas a partir de modelos de software con restricciones OCL”. Informatics thesis, UNLP. Argentina.

Published

2019-02-13

How to Cite

Rosenfeld, I., Pons, C., & Baum, G. (2019). Improving Model-Driven Software Testing by using Formal Languages / Melhorando o teste de software controlado por modelo usando idiomas formais. Brazilian Journal of Development, 5(3), 2441–2457. https://doi.org/10.34117/bjdv5n3-1290

Issue

Section

Original Papers