Mostrar el registro sencillo del ítem
dc.contributor.author
Godoy, Javier Ignacio
dc.contributor.author
Galeotti, Juan Pablo
dc.contributor.author
Garbervetsky, Diego David
dc.contributor.author
Uchitel, Sebastian
dc.date.available
2022-10-17T17:14:42Z
dc.date.issued
2021-03
dc.identifier.citation
Godoy, Javier Ignacio; Galeotti, Juan Pablo; Garbervetsky, Diego David; Uchitel, Sebastian; Enabledness-based Testing of Object Protocols; Association for Computing Machinery; ACM Transactions on Software Engineering and Methodology; 30; 2; 3-2021; 1-36
dc.identifier.issn
1049-331X
dc.identifier.uri
http://hdl.handle.net/11336/173574
dc.description.abstract
A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This article studies search-based test generation techniques that aim to exploit a particular abstraction of object protocols (enabledness preserving abstractions (EPAs)) to find failures. We define coverage criteria over an extension of EPAs that includes abnormal method termination and define a search-based test case generation technique aimed at achieving high coverage. Results suggest that the proposed case generation technique with a fitness function that aims at combined structural and extended EPA coverage can provide better failure-detection capabilities not only for protocol failures but also for general failures when compared to random testing and search-based test generation for standard structural coverage.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Association for Computing Machinery
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
AUTOMATIC TEST GENERATION
dc.subject
ENABLEDNESS-PRESERVING ABSTRACTIONS
dc.subject
GENETIC ALGORITHMS
dc.subject.classification
Ciencias de la Computación
dc.subject.classification
Ciencias de la Computación e Información
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Enabledness-based Testing of Object Protocols
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2022-09-22T16:16:18Z
dc.journal.volume
30
dc.journal.number
2
dc.journal.pagination
1-36
dc.journal.pais
Estados Unidos
dc.description.fil
Fil: Godoy, Javier Ignacio. Universidad Nacional de General Sarmiento; Argentina
dc.description.fil
Fil: Galeotti, Juan Pablo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: Garbervetsky, Diego David. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: Uchitel, Sebastian. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación; Argentina
dc.journal.title
ACM Transactions on Software Engineering and Methodology
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1145/3415153
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://dl.acm.org/doi/10.1145/3415153
Archivos asociados