Automatically identifying sufficient object builders from Module APIs

Ponzio, Pablo; Bengolea, Valeria; Politano, Mariano; Aguirre, Nazareno; Frías, Marcelo

ponencia en congreso.page.titleprefix
Automatically identifying sufficient object builders from Module APIs

dc.contributor.author	Ponzio, Pablo
dc.contributor.author	Bengolea, Valeria
dc.contributor.author	Politano, Mariano
dc.contributor.author	Aguirre, Nazareno
dc.contributor.author	Frías, Marcelo
dc.date.accessioned	2020-03-26T18:26:51Z
dc.date.available	2020-03-26T18:26:51Z
dc.date.issued	2019
dc.description.abstract	"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to be analyzed, engineers typically select a subset of its methods to be considered as object builders to define a so-called driver, that will be used to automatically build objects for analysis, e.g., combining them non-deterministically, randomly, etc. This requires a careful inspection of the module and its API, since both the relative exhaustiveness of the analysis (leaving important methods out may systematically avoid generating different objects), as well as its efficiency (the different bounded combinations of methods grows exponentially as the number of methods increases), are affected by the selection. We propose an approach for automatically selecting a set of builders from a module’s API, based on an evolutionary algorithm that favors sets of methods whose combinations lead to producing larger sets of objects. The algorithm also takes into account other characteristics of these sets of methods, trying to prioritize the selection of methods with less and simpler parameters. As the implementation of this evolutionary mechanism requires in principle handling and comparing large sets of objects, and this grows very quickly both in terms of space and running times, we employ an abstraction of sets of objects, called field extensions, that involves using the field values of the objects in the set instead of the actual objects, and enables us to effectively implement our mechanism. An experimental assessment on a benchmark of stateful classes shows that our approach can automatically identify sets of builders that are sufficient (can be used to create any instance of the module) and minimal (do not contain superfluous methods), in a reasonable time."	en
dc.identifier.isbn	978-3030-16-721-9
dc.identifier.issn	0302-9743
dc.identifier.uri	http://ri.itba.edu.ar/handle/123456789/1919
dc.language.iso	en	en
dc.relation	info:eu-repo/semantics/altIdentfier/doi/10.1007/978-3-030-16722-6_25
dc.subject	INTERFACES DE PROGRAMACION DE APLICACIONES	es
dc.subject	INGENIERIA DE SOFTWARE	es
dc.subject	ALGORITMOS EVOLUTIVOS	es
dc.subject	VERIFICACION DE SOFTWARE	es
dc.title	Automatically identifying sufficient object builders from Module APIs	en
dc.type	Ponencias en Congresos	es
dc.type	info:eu-repo/semantics/acceptedVersion
dspace.entity.type	Ponencia en Congreso
itba.description.filiation	Fil: Ponzio, Pablo. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Ponzio, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Bengolea, Valeria. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Politano, Mariano. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Politano, Mariano. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Aguirre, Nazareno. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.