Improving Model-Driven Software Testing by using Formal Languages

Autores
Rosenfeld, Ilan; Pons, Claudia Fabiana; Baum, Gabriel Alfredo
Año de publicación
2019
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
O Model-DrivenTesting ou MDT é uma nova e promissora abordagem para automação de testes de software que pode reduzir significativamente os esforços no ciclo de testes de um desenvolvimento de software. Consiste em um teste de caixa preta que utiliza modelos estruturais e comportamentais para automatizar o processo de geração de testes. Neste artigo, descrevemos uma ferramenta que permite aos desenvolvedores traduzir um modelo de software escrito em UML com restrições formais OCL para seu código Java correspondente, automatizando a geração de códigos de casos de teste e especificando-os não apenas na linguagem Java, mas também em dois linguagens formais, que são OCL e Alloy. Esta ferramenta fornece suporte mais confiável, combinando diferentes técnicas, o que fortalece o processo de teste.
Laboratorio de Investigación y Formación en Informática Avanzada
Materia
Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/119060
Acceder
id SEDICI_8cd7779973ef0d9e9646efbb8c281e69
oai_identifier_str oai:sedici.unlp.edu.ar:10915/119060
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Improving Model-Driven Software Testing by using Formal LanguagesRosenfeld, IlanPons, Claudia FabianaBaum, Gabriel AlfredoCiencias InformáticasModel driven testingUMLOCLJavaTestingFormal languagesModel-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.O Model-DrivenTesting ou MDT é uma nova e promissora abordagem para automação de testes de software que pode reduzir significativamente os esforços no ciclo de testes de um desenvolvimento de software. Consiste em um teste de caixa preta que utiliza modelos estruturais e comportamentais para automatizar o processo de geração de testes. Neste artigo, descrevemos uma ferramenta que permite aos desenvolvedores traduzir um modelo de software escrito em UML com restrições formais OCL para seu código Java correspondente, automatizando a geração de códigos de casos de teste e especificando-os não apenas na linguagem Java, mas também em dois linguagens formais, que são OCL e Alloy. Esta ferramenta fornece suporte mais confiável, combinando diferentes técnicas, o que fortalece o processo de teste.Laboratorio de Investigación y Formación en Informática Avanzada2019-03info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf2441-2457http://sedici.unlp.edu.ar/handle/10915/119060enginfo:eu-repo/semantics/altIdentifier/issn/2525-8761info:eu-repo/semantics/altIdentifier/hdl/11746/10645info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T11:19:55Zoai:sedici.unlp.edu.ar:10915/119060Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 11:19:55.61SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Improving Model-Driven Software Testing by using Formal Languages
title Improving Model-Driven Software Testing by using Formal Languages
spellingShingle Improving Model-Driven Software Testing by using Formal Languages
Rosenfeld, Ilan
Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
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
dc.creator.none.fl_str_mv Rosenfeld, Ilan
Pons, Claudia Fabiana
Baum, Gabriel Alfredo
author Rosenfeld, Ilan
author_facet Rosenfeld, Ilan
Pons, Claudia Fabiana
Baum, Gabriel Alfredo
author_role author
author2 Pons, Claudia Fabiana
Baum, Gabriel Alfredo
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
topic Ciencias Informáticas
Model driven testing
UML
OCL
Java
Testing
Formal languages
dc.description.none.fl_txt_mv 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.
O Model-DrivenTesting ou MDT é uma nova e promissora abordagem para automação de testes de software que pode reduzir significativamente os esforços no ciclo de testes de um desenvolvimento de software. Consiste em um teste de caixa preta que utiliza modelos estruturais e comportamentais para automatizar o processo de geração de testes. Neste artigo, descrevemos uma ferramenta que permite aos desenvolvedores traduzir um modelo de software escrito em UML com restrições formais OCL para seu código Java correspondente, automatizando a geração de códigos de casos de teste e especificando-os não apenas na linguagem Java, mas também em dois linguagens formais, que são OCL e Alloy. Esta ferramenta fornece suporte mais confiável, combinando diferentes técnicas, o que fortalece o processo de teste.
Laboratorio de Investigación y Formación en Informática Avanzada
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.
publishDate 2019
dc.date.none.fl_str_mv 2019-03
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/119060
url http://sedici.unlp.edu.ar/handle/10915/119060
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/issn/2525-8761
info:eu-repo/semantics/altIdentifier/hdl/11746/10645
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
2441-2457
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846064256545456128
score 13.22299

Publicaciones similares