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, G., Braberman, V., Garbervetsky, D., Uchitel, S.
Formato:	JOUR
Materias:	Enabledness abstractions Source-code validation
Acceso en línea:	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	todo:paper_1049331X_v22_n3_p_DeCaso
record_format	dspace
spelling	todo:paper_1049331X_v22_n3_p_DeCaso2023-10-03T15:58:38Z Enabledness-based program abstractions for behavior validation De Caso, G. Braberman, V. Garbervetsky, D. Uchitel, S. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, G. Braberman, V. Garbervetsky, D. Uchitel, S. 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.
format	JOUR
author	De Caso, G. Braberman, V. Garbervetsky, D. Uchitel, S.
author_facet	De Caso, G. Braberman, V. Garbervetsky, D. Uchitel, S.
author_sort	De Caso, G.
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
url	http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n3_p_DeCaso
work_keys_str_mv	AT decasog enablednessbasedprogramabstractionsforbehaviorvalidation AT brabermanv enablednessbasedprogramabstractionsforbehaviorvalidation AT garbervetskyd enablednessbasedprogramabstractionsforbehaviorvalidation AT uchitels enablednessbasedprogramabstractionsforbehaviorvalidation
_version_	1807321553564598272

Enabledness-based program abstractions for behavior validation

Ejemplares similares