Improving Model-Driven Software Testing by using Formal Languages
Improving Model-Driven Software Testing by using Formal Languages
| cic.institucionOrigen | Laboratorio de Investigación y Formación en Informática Avanzada (LIFIA) | es |
| cic.isFulltext | true | es |
| cic.isPeerReviewed | true | es |
| cic.lugarDesarrollo | Laboratorio de Investigación y Formación en Informática Avanzada | es |
| cic.version | info:eu-repo/semantics/publishedVersion | es |
| dc.date.accessioned | 2020-08-05T12:15:41Z | |
| dc.date.available | 2020-08-05T12:15:41Z | |
| dc.identifier.uri | https://digital.cic.gba.gob.ar/handle/11746/10645 | |
| dc.title | Improving Model-Driven Software Testing by using Formal Languages | en |
| dc.type | Artículo | es |
| dcterms.abstract | 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. | en |
| dcterms.abstract | 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. | pt |
| dcterms.alternative | Melhorando o teste de software controlado por modelo usando idiomas formais | pt |
| dcterms.creator.author | Rosenfeld, Ilan | es |
| dcterms.creator.author | Pons, Claudia Fabiana | es |
| dcterms.creator.author | Baum, Gabriel | es |
| dcterms.extent | 2441-2457 | es |
| dcterms.isPartOf.issue | vol. 5, no. 3 | es |
| dcterms.isPartOf.series | Brazilian Journal of Development | es |
| dcterms.issued | 2019-03 | |
| dcterms.language | Inglés | es |
| dcterms.license | Attribution-NonCommercial-ShareAlike 4.0 International (BY-NC-SA 4.0) | es |
| dcterms.subject | model driven testing | en |
| dcterms.subject | UML | en |
| dcterms.subject | OCL | en |
| dcterms.subject | Java | en |
| dcterms.subject | testing | en |
| dcterms.subject | formal languages | en |
| dcterms.subject.materia | Ciencias de la Computación e Información | es |
Archivos
Paquete original
1 - 1 de 1
- Nombre:
- Improving Model-Driven Software Testing.pdf-PDFA.pdf
- Tamaño:
- 1006.7 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- Documento completo