Enabledness-based program abstractions for behavior validation

Autores
de Caso, Guido; Braberman, Victor Adrian; Garbervetsky, Diego David; Uchitel, Sebastian
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behavior when descriptions of this behavior are informal, partial, or nonexistent. The proposed approach addresses this problem by generating abstract behavior models which resemble typestates. These models are statically computed and encode all admissible sequences of method calls. The level of abstraction at which such models are constructed has shown to be useful for validating code artifacts and identifying findings which led to the discovery of bugs, adjustment of the requirements expected by the engineer to the requirements implicit in the code, and the improvement of available documentation.
Fil: de Caso, Guido. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Garbervetsky, Diego David. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Uchitel, Sebastian. Universidad de Buenos Aires; Argentina. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Software Engineering
Validation
Abstraction
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/15931

id CONICETDig_d95c424ebf99e1e446a871e9b6e5b76a
oai_identifier_str oai:ri.conicet.gov.ar:11336/15931
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Enabledness-based program abstractions for behavior validationde Caso, GuidoBraberman, Victor AdrianGarbervetsky, Diego DavidUchitel, SebastianSoftware EngineeringValidationAbstractionhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behavior when descriptions of this behavior are informal, partial, or nonexistent. The proposed approach addresses this problem by generating abstract behavior models which resemble typestates. These models are statically computed and encode all admissible sequences of method calls. The level of abstraction at which such models are constructed has shown to be useful for validating code artifacts and identifying findings which led to the discovery of bugs, adjustment of the requirements expected by the engineer to the requirements implicit in the code, and the improvement of available documentation.Fil: de Caso, Guido. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Braberman, Victor Adrian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Garbervetsky, Diego David. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Uchitel, Sebastian. Universidad de Buenos Aires; Argentina. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaAssoc Computing Machinery2013-07info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/15931de Caso, Guido; Braberman, Victor Adrian; Garbervetsky, Diego David; Uchitel, Sebastian; Enabledness-based program abstractions for behavior validation; Assoc Computing Machinery; Acm Transactions On Software Engineering And Methodology; 22; 3; 7-2013; 1-46; 251049-331Xenginfo:eu-repo/semantics/altIdentifier/doi/10.1145/2491509.2491519info:eu-repo/semantics/altIdentifier/url/http://dl.acm.org/citation.cfm?doid=2491509.2491519info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:33:05Zoai:ri.conicet.gov.ar:11336/15931instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:33:05.368CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Enabledness-based program abstractions for behavior validation
title Enabledness-based program abstractions for behavior validation
spellingShingle Enabledness-based program abstractions for behavior validation
de Caso, Guido
Software Engineering
Validation
Abstraction
title_short Enabledness-based program abstractions for behavior validation
title_full Enabledness-based program abstractions for behavior validation
title_fullStr Enabledness-based program abstractions for behavior validation
title_full_unstemmed Enabledness-based program abstractions for behavior validation
title_sort Enabledness-based program abstractions for behavior validation
dc.creator.none.fl_str_mv de Caso, Guido
Braberman, Victor Adrian
Garbervetsky, Diego David
Uchitel, Sebastian
author de Caso, Guido
author_facet de Caso, Guido
Braberman, Victor Adrian
Garbervetsky, Diego David
Uchitel, Sebastian
author_role author
author2 Braberman, Victor Adrian
Garbervetsky, Diego David
Uchitel, Sebastian
author2_role author
author
author
dc.subject.none.fl_str_mv Software Engineering
Validation
Abstraction
topic Software Engineering
Validation
Abstraction
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behavior when descriptions of this behavior are informal, partial, or nonexistent. The proposed approach addresses this problem by generating abstract behavior models which resemble typestates. These models are statically computed and encode all admissible sequences of method calls. The level of abstraction at which such models are constructed has shown to be useful for validating code artifacts and identifying findings which led to the discovery of bugs, adjustment of the requirements expected by the engineer to the requirements implicit in the code, and the improvement of available documentation.
Fil: de Caso, Guido. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Garbervetsky, Diego David. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Uchitel, Sebastian. Universidad de Buenos Aires; Argentina. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behavior when descriptions of this behavior are informal, partial, or nonexistent. The proposed approach addresses this problem by generating abstract behavior models which resemble typestates. These models are statically computed and encode all admissible sequences of method calls. The level of abstraction at which such models are constructed has shown to be useful for validating code artifacts and identifying findings which led to the discovery of bugs, adjustment of the requirements expected by the engineer to the requirements implicit in the code, and the improvement of available documentation.
publishDate 2013
dc.date.none.fl_str_mv 2013-07
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
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://hdl.handle.net/11336/15931
de Caso, Guido; Braberman, Victor Adrian; Garbervetsky, Diego David; Uchitel, Sebastian; Enabledness-based program abstractions for behavior validation; Assoc Computing Machinery; Acm Transactions On Software Engineering And Methodology; 22; 3; 7-2013; 1-46; 25
1049-331X
url http://hdl.handle.net/11336/15931
identifier_str_mv de Caso, Guido; Braberman, Victor Adrian; Garbervetsky, Diego David; Uchitel, Sebastian; Enabledness-based program abstractions for behavior validation; Assoc Computing Machinery; Acm Transactions On Software Engineering And Methodology; 22; 3; 7-2013; 1-46; 25
1049-331X
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1145/2491509.2491519
info:eu-repo/semantics/altIdentifier/url/http://dl.acm.org/citation.cfm?doid=2491509.2491519
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Assoc Computing Machinery
publisher.none.fl_str_mv Assoc Computing Machinery
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844613014009937920
score 13.070432