Program abstractions for behaviour validation

Code artefacts that have non-trivial 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 the...

Descripción completa

Detalles Bibliográficos
Autores principales:	De Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S.
Formato:	CONF
Materias:	automated abstraction behaviour model synthesis source code validation Admissible sequences Behaviour models Level of abstraction Non-trivial Source codes Software engineering Abstracting
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p381_DeCaso
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_02705257_v_n_p381_DeCaso
record_format	dspace
spelling	todo:paper_02705257_v_n_p381_DeCaso2023-10-03T15:14:30Z Program abstractions for behaviour validation De Caso, G. Braberman, V. Garbervetsky, D. Uchitel, S. automated abstraction behaviour model synthesis source code validation Admissible sequences automated abstraction Behaviour models Level of abstraction Non-trivial Source codes Software engineering Abstracting Code artefacts that have non-trivial 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 behaviour when descriptions of this behaviour are informal, partial or non-existent. The proposed approach addresses this problem by generating abstract behaviour 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 artefacts 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. © 2011 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p381_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	automated abstraction behaviour model synthesis source code validation Admissible sequences automated abstraction Behaviour models Level of abstraction Non-trivial Source codes Software engineering Abstracting
spellingShingle	automated abstraction behaviour model synthesis source code validation Admissible sequences automated abstraction Behaviour models Level of abstraction Non-trivial Source codes Software engineering Abstracting De Caso, G. Braberman, V. Garbervetsky, D. Uchitel, S. Program abstractions for behaviour validation
topic_facet	automated abstraction behaviour model synthesis source code validation Admissible sequences automated abstraction Behaviour models Level of abstraction Non-trivial Source codes Software engineering Abstracting
description	Code artefacts that have non-trivial 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 behaviour when descriptions of this behaviour are informal, partial or non-existent. The proposed approach addresses this problem by generating abstract behaviour 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 artefacts 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. © 2011 ACM.
format	CONF
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	Program abstractions for behaviour validation
title_short	Program abstractions for behaviour validation
title_full	Program abstractions for behaviour validation
title_fullStr	Program abstractions for behaviour validation
title_full_unstemmed	Program abstractions for behaviour validation
title_sort	program abstractions for behaviour validation
url	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p381_DeCaso
work_keys_str_mv	AT decasog programabstractionsforbehaviourvalidation AT brabermanv programabstractionsforbehaviourvalidation AT garbervetskyd programabstractionsforbehaviourvalidation AT uchitels programabstractionsforbehaviourvalidation
_version_	1807316009010331648

Program abstractions for behaviour validation

Ejemplares similares