On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Outros Autores: | , , , |
Tipo de documento: | Artigo de conferência |
Idioma: | eng |
Título da fonte: | Repositório Institucional da UNESP |
Texto Completo: | http://hdl.handle.net/11449/165611 |
Resumo: | Symbolic 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. |
id |
UNSP_8e5d423a2118251a5a3bead3cb40ae20 |
---|---|
oai_identifier_str |
oai:repositorio.unesp.br:11449/165611 |
network_acronym_str |
UNSP |
network_name_str |
Repositório Institucional da UNESP |
repository_id_str |
2946 |
spelling |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmarksymbolic executiontest data generationvisualizationmetricanalysisSymbolic 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.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)EACH USP, Sao Paulo, SP, BrazilUTFPR, Cornelio Procopio, PR, BrazilUniv Sao Paulo, Sao Carlos, SP, BrazilFCT UNESP, Presidente Prudente, SP, BrazilFCT UNESP, Presidente Prudente, SP, BrazilFAPESP: 2014/08713-9FAPESP: 2013/03452-0CNPq: 445958/2014-6IeeeUniversidade de São Paulo (USP)UTFPRUniversidade Estadual Paulista (Unesp)Eler, Marcelo MedeirosEndo, Andre TakeshiDurelli, Vinicius H. S.Eler, Danilo Medeiros [UNESP]IEEE2018-11-28T12:27:36Z2018-11-28T12:27:36Z2016-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObject6Proceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc). New York: Ieee, 6 p., 2016.1522-4902http://hdl.handle.net/11449/165611WOS:000401662600018Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengProceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc)info:eu-repo/semantics/openAccess2024-06-19T14:32:17Zoai:repositorio.unesp.br:11449/165611Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-06-19T14:32:17Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false |
dc.title.none.fl_str_mv |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
title |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
spellingShingle |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark Eler, Marcelo Medeiros symbolic execution test data generation visualization metric analysis |
title_short |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
title_full |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
title_fullStr |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
title_full_unstemmed |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
title_sort |
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark |
author |
Eler, Marcelo Medeiros |
author_facet |
Eler, Marcelo Medeiros Endo, Andre Takeshi Durelli, Vinicius H. S. Eler, Danilo Medeiros [UNESP] IEEE |
author_role |
author |
author2 |
Endo, Andre Takeshi Durelli, Vinicius H. S. Eler, Danilo Medeiros [UNESP] IEEE |
author2_role |
author author author author |
dc.contributor.none.fl_str_mv |
Universidade de São Paulo (USP) UTFPR Universidade Estadual Paulista (Unesp) |
dc.contributor.author.fl_str_mv |
Eler, Marcelo Medeiros Endo, Andre Takeshi Durelli, Vinicius H. S. Eler, Danilo Medeiros [UNESP] IEEE |
dc.subject.por.fl_str_mv |
symbolic execution test data generation visualization metric analysis |
topic |
symbolic execution test data generation visualization metric analysis |
description |
Symbolic 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. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016-01-01 2018-11-28T12:27:36Z 2018-11-28T12:27:36Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
Proceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc). New York: Ieee, 6 p., 2016. 1522-4902 http://hdl.handle.net/11449/165611 WOS:000401662600018 |
identifier_str_mv |
Proceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc). New York: Ieee, 6 p., 2016. 1522-4902 WOS:000401662600018 |
url |
http://hdl.handle.net/11449/165611 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
Proceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc) |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
6 |
dc.publisher.none.fl_str_mv |
Ieee |
publisher.none.fl_str_mv |
Ieee |
dc.source.none.fl_str_mv |
Web of Science reponame:Repositório Institucional da UNESP instname:Universidade Estadual Paulista (UNESP) instacron:UNESP |
instname_str |
Universidade Estadual Paulista (UNESP) |
instacron_str |
UNESP |
institution |
UNESP |
reponame_str |
Repositório Institucional da UNESP |
collection |
Repositório Institucional da UNESP |
repository.name.fl_str_mv |
Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP) |
repository.mail.fl_str_mv |
|
_version_ |
1803045217392132096 |