On how characteristics that hinder test data generation using symbolic execution combine: An analysis of the SF100 benchmark

Página do item simplificado
dc.contributor.authorEler, Marcelo Medeiros
dc.contributor.authorEndo, Andre Takeshi
dc.contributor.authorDurelli, Vinicius H. S.
dc.contributor.authorEler, Danilo Medeiros [UNESP]
dc.contributor.institutionUniversidade de São Paulo (USP)
dc.contributor.institutionUTFPR
dc.contributor.institutionUniversidade Estadual Paulista (Unesp)
dc.date.accessioned2018-12-11T17:32:12Z
dc.date.available2018-12-11T17:32:12Z
dc.date.issued2017-01-27
dc.description.abstractSymbolic execution has made great strides in the last two decades. However, some characteristics of programs still pose significant challenges to test data generation techniques that use symbolic execution and constraint solving. These challenges present themselves in the form of path explosion, constraint complexity, dependency, and exception-dependent paths. The few studies conducted to date to examine the distribution of such characteristics only investigate them separately. We posit that understanding how the combination of these characteristics appear in real world software may provide a more in-depth knowledge of the limitations of current tools and test data generation techniques. Thus, we analyzed a benchmark comprising 100 open source Java programs to get some insight into the frequency of methods that have combinations of the studied characteristics and the distribution of methods whose path constraints share similar structures.en
dc.description.affiliationEACH/USP
dc.description.affiliationUTFPR
dc.description.affiliationUniversidade de São Paulo
dc.description.affiliationFCT/UNESP
dc.description.affiliationUnespFCT/UNESP
dc.identifierhttp://dx.doi.org/10.1109/SCCC.2016.7836011
dc.identifier.citationProceedings - International Conference of the Chilean Computer Science Society, SCCC.
dc.identifier.doi10.1109/SCCC.2016.7836011
dc.identifier.issn1522-4902
dc.identifier.scopus2-s2.0-85017644509
dc.identifier.urihttp://hdl.handle.net/11449/178809
dc.language.isoeng
dc.relation.ispartofProceedings - International Conference of the Chilean Computer Science Society, SCCC
dc.relation.ispartofsjr0,115
dc.rights.accessRightsAcesso aberto
dc.sourceScopus
dc.subjectanalysis
dc.subjectmetric
dc.subjectsymbolic execution
dc.subjecttest data generation
dc.subjectvisualization
dc.titleOn how characteristics that hinder test data generation using symbolic execution combine: An analysis of the SF100 benchmarken
dc.typeTrabalho apresentado em evento

Arquivos

Coleções

Artigos - Matemática e Computação - FCT