Improving model-driven software testing by using formal languages
Improving model-driven software testing by using formal languages
| dc.contributor.author | Pons, Claudia Fabiana | |
| dc.contributor.author | Rosenfeld, Ilan | |
| dc.contributor.author | Baum, Gabriel | |
| dc.date.accessioned | 2023-10-17T21:40:50Z | |
| dc.date.available | 2023-10-17T21:40:50Z | |
| dc.date.issued | 2018-10 | |
| dc.description.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. | |
| dc.identifier.citation | Rosenfeld, I.; Pons, C.; Baum, G. (2018). Improving model-driven software testing by using formal languages. In: SABTIC 2018. Anales del VI Seminario Argentina-Brasil de Tecnologías de la Información y la Comunicación. p.:402-415 | |
| dc.identifier.uri | https://repositorio.uai.edu.ar/handle/123456789/1865 | |
| dc.language.iso | en | |
| dc.publisher | Universidad Tecnológica Nacional. Facultad Regional Concepción del Uruguay | |
| dc.subject | model driven testing | |
| dc.subject | Unified Modeling Language | |
| dc.subject | UML | |
| dc.subject | Object Constraint Language | |
| dc.subject | OCL | |
| dc.subject | Java | |
| dc.subject | testing | |
| dc.subject | formal languages | |
| dc.title | Improving model-driven software testing by using formal languages | |
| dc.type | DOCUMENTOCONF |