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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/15931
Ver los metadatos del registro completo
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 |