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

Improving Model-Driven Software Testing by using Formal Languages

Ejemplares similares