BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Conferência

Tipo de Documento
Artigo Completo

Título
Testing Java implementations of algebraic specifications.

Participantes na publicação
Nunes I (Author)
Dep. Informática
 BioISI
 Luis F (Author)

Resumo
In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the creation of tests that are based on those specification-compliant structures, and to the interpretation of those tests' results leading to the discovery of the method responsible for an eventual test failure. Results of comparative experiments with a tool implementing this approach are presented.

Editor
Alexander K. Petrenko and Holger Schlingloff

Data de Publicação
2013

Evento
8th Workshop on Model-Based Testing (MBT 2013)

Identificadores da Publicação
ISSN - 2075-2180

Local
Rome (Italy

Editora
Electronic Proceedings in Theoretical Computer Science

Fascículo
111

Página Inicial
35
Página Final
50

Identificadores do Documento
DOI - https://doi.org/10.4204/EPTCS.111

Identificadores de Qualidade
SCIMAGO - (2019) - 0.327 - Software
SCOPUS Q4 (2019) - 1.2 - Software


Exportar referência

APA
Nunes I, Luis F, (2013). Testing Java implementations of algebraic specifications. . 8th Workshop on Model-Based Testing (MBT 2013), 35-50

IEEE
Nunes I, Luis F, "Testing Java implementations of algebraic specifications. " in 8th Workshop on Model-Based Testing (MBT 2013), Rome (Italy, 2013, pp. 35-50, doi: 10.4204/EPTCS.111

BIBTEX
@InProceedings{31530, author = {Nunes I and Luis F}, title = {Testing Java implementations of algebraic specifications. }, booktitle = { 8th Workshop on Model-Based Testing (MBT 2013)}, year = 2013, pages = {35-50}, address = {Rome (Italy}, publisher = {Electronic Proceedings in Theoretical Computer Science} }