Improving Model-Driven Software Testing by using Formal Languages

cic.institucionOrigenLaboratorio de Investigación y Formación en Informática Avanzada (LIFIA)es
cic.isFulltexttruees
cic.isPeerReviewedtruees
cic.lugarDesarrolloLaboratorio de Investigación y Formación en Informática Avanzadaes
cic.versioninfo:eu-repo/semantics/publishedVersiones
dc.date.accessioned2020-08-05T12:15:41Z
dc.date.available2020-08-05T12:15:41Z
dc.identifier.urihttps://digital.cic.gba.gob.ar/handle/11746/10645
dc.titleImproving Model-Driven Software Testing by using Formal Languagesen
dc.typeArtículoes
dcterms.abstractModel-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.en
dcterms.abstractO 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.pt
dcterms.alternativeMelhorando o teste de software controlado por modelo usando idiomas formaispt
dcterms.creator.authorRosenfeld, Ilanes
dcterms.creator.authorPons, Claudia Fabianaes
dcterms.creator.authorBaum, Gabrieles
dcterms.extent2441-2457es
dcterms.isPartOf.issuevol. 5, no. 3es
dcterms.isPartOf.seriesBrazilian Journal of Developmentes
dcterms.issued2019-03
dcterms.languageIngléses
dcterms.licenseAttribution-NonCommercial-ShareAlike 4.0 International (BY-NC-SA 4.0)es
dcterms.subjectmodel driven testingen
dcterms.subjectUMLen
dcterms.subjectOCLen
dcterms.subjectJavaen
dcterms.subjecttestingen
dcterms.subjectformal languagesen
dcterms.subject.materiaCiencias de la Computación e Informaciónes

Archivos

Bloque original

Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
Improving Model-Driven Software Testing.pdf-PDFA.pdf
Tamaño:
1006.7 KB
Formato:
Adobe Portable Document Format
Descripción:
Documento completo