Enabledness-based program abstractions for behavior validation

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 thei...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado: 2013
Materias:
Enabledness abstractions
Source-code validation
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v22_n3_p_DeCaso
http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n3_p_DeCaso
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_1049331X_v22_n3_p_DeCaso
record_format dspace
spelling paper:paper_1049331X_v22_n3_p_DeCaso2025-07-30T18:37:20Z Enabledness-based program abstractions for behavior validation de Caso, Guido Braberman, Víctor Adrián Garbervetsky, Diego Enabledness abstractions Source-code validation 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. © 2013 ACM. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2013 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v22_n3_p_DeCaso http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n3_p_DeCaso
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Enabledness abstractions
Source-code validation
spellingShingle Enabledness abstractions
Source-code validation
de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
Enabledness-based program abstractions for behavior validation
topic_facet Enabledness abstractions
Source-code validation
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. © 2013 ACM.
author de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
author_facet de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
author_sort de Caso, Guido
title Enabledness-based program abstractions for behavior validation
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
publishDate 2013
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v22_n3_p_DeCaso
http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n3_p_DeCaso
work_keys_str_mv AT decasoguido enablednessbasedprogramabstractionsforbehaviorvalidation
AT brabermanvictoradrian enablednessbasedprogramabstractionsforbehaviorvalidation
AT garbervetskydiego enablednessbasedprogramabstractionsforbehaviorvalidation
_version_ 1840321446026412032

Ejemplares similares