Improving Model-Driven Software Testing by using Formal Languages

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. I...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Rosenfeld, Ilan, Pons, Claudia Fabiana, Baum, Gabriel Alfredo
Formato: Articulo
Lenguaje:Inglés
Publicado: 2019
Materias:
Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/119060
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-119060
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
spellingShingle Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
Rosenfeld, Ilan
Pons, Claudia Fabiana
Baum, Gabriel Alfredo
Improving Model-Driven Software Testing by using Formal Languages
topic_facet Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
description 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.
format Articulo
Articulo
author Rosenfeld, Ilan
Pons, Claudia Fabiana
Baum, Gabriel Alfredo
author_facet Rosenfeld, Ilan
Pons, Claudia Fabiana
Baum, Gabriel Alfredo
author_sort Rosenfeld, Ilan
title Improving Model-Driven Software Testing by using Formal Languages
title_short Improving Model-Driven Software Testing by using Formal Languages
title_full Improving Model-Driven Software Testing by using Formal Languages
title_fullStr Improving Model-Driven Software Testing by using Formal Languages
title_full_unstemmed Improving Model-Driven Software Testing by using Formal Languages
title_sort improving model-driven software testing by using formal languages
publishDate 2019
url http://sedici.unlp.edu.ar/handle/10915/119060
work_keys_str_mv AT rosenfeldilan improvingmodeldrivensoftwaretestingbyusingformallanguages
AT ponsclaudiafabiana improvingmodeldrivensoftwaretestingbyusingformallanguages
AT baumgabrielalfredo improvingmodeldrivensoftwaretestingbyusingformallanguages
bdutipo_str Repositorios
_version_ 1764820447872942082

Ejemplares similares