Automatic derivation of software test-cases code from formal models

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 every software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation proces...

Descripción completa

Detalles Bibliográficos
Autores principales: Rosenfeld, Ilan, Pons, Claudia Fabiana
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2017
Materias:
Ciencias Informáticas
Model-Driven Testing
Software testing
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/135643
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-135643
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
Software testing
spellingShingle Ciencias Informáticas
Model-Driven Testing
Software testing
Rosenfeld, Ilan
Pons, Claudia Fabiana
Automatic derivation of software test-cases code from formal models
topic_facet Ciencias Informáticas
Model-Driven Testing
Software testing
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 every software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this context, we developed a tool which allows developers to translate a data model with 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, such as OCL and Alloy. This tool gives a trustworthy and verifiable support with different techniques. In this way, the test-cases code generation process is improved and its quality enhanced.
format Objeto de conferencia
Objeto de conferencia
author Rosenfeld, Ilan
Pons, Claudia Fabiana
author_facet Rosenfeld, Ilan
Pons, Claudia Fabiana
author_sort Rosenfeld, Ilan
title Automatic derivation of software test-cases code from formal models
title_short Automatic derivation of software test-cases code from formal models
title_full Automatic derivation of software test-cases code from formal models
title_fullStr Automatic derivation of software test-cases code from formal models
title_full_unstemmed Automatic derivation of software test-cases code from formal models
title_sort automatic derivation of software test-cases code from formal models
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/135643
work_keys_str_mv AT rosenfeldilan automaticderivationofsoftwaretestcasescodefromformalmodels
AT ponsclaudiafabiana automaticderivationofsoftwaretestcasescodefromformalmodels
bdutipo_str Repositorios
_version_ 1764820455541178368

Ejemplares similares