Efñcient Test Generation Guided by Field Coverage Gritería
Field-exhaustive testing is a testing criterion that requires suites to contain enough test inputs to cover all feasible valúes for fields within a certain input-size bound. While previous work shows that field- exhaustive suites can be automatically generated, the generation tech- nique requires a...
| Autores principales: | , , , , |
|---|---|
| Formato: | Objeto de conferencia Resumen |
| Lenguaje: | Inglés |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/116440 http://49jaiio.sadio.org.ar/pdfs/asse/ASSE%2003.pdf |
| Aporte de: |
| id |
I19-R120-10915-116440 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas Field based testing Symbolic execution Transcoping |
| spellingShingle |
Ciencias Informáticas Field based testing Symbolic execution Transcoping Godio, Ariel Bengolea, Valeria Ponzio, Pablo Daniel Aguirre, Nazareno Matías Frias, Marcelo F. Efñcient Test Generation Guided by Field Coverage Gritería |
| topic_facet |
Ciencias Informáticas Field based testing Symbolic execution Transcoping |
| description |
Field-exhaustive testing is a testing criterion that requires suites to contain enough test inputs to cover all feasible valúes for fields within a certain input-size bound. While previous work shows that field- exhaustive suites can be automatically generated, the generation tech- nique requires a formal specification of the inputs that can be subject to SAT-based analysis. Moreover, this constraint together with the resfrie- tion of producing all feasible valúes for input fields makes test generation costly, and field-exhaustive testing difficult to generalize to further testing domains.
In this paper, we deal with field. coverage as testing criteria that measure the degree to which a program is tested by examining to what extent the valúes of inputs’ fields are covered. We show that this notion generalizes field-exhaustive testing, withdrawing the need for a SAT-analyzable formal specification, and thus can be combined with any test generation technique to produce smaller test suites, reducing testing time. In particular, we consider field coverage: (i) in combination with test generation based on symbolic execution, to produce underapproximations of all testing sequences; (ii) as a relaxation of bounded-exhaustive testing, producing smaller suites using the Korat tool; and (iii) in combination with random testing, producing smaller test suites and even serving as a termination criterion for generation. As we show, in all these cases field coverage helps producing significantly smaller suites, thus contributing to testing time, while retaining the effectiveness of the corresponding original techniques, in terms of test suite quality. |
| format |
Objeto de conferencia Resumen |
| author |
Godio, Ariel Bengolea, Valeria Ponzio, Pablo Daniel Aguirre, Nazareno Matías Frias, Marcelo F. |
| author_facet |
Godio, Ariel Bengolea, Valeria Ponzio, Pablo Daniel Aguirre, Nazareno Matías Frias, Marcelo F. |
| author_sort |
Godio, Ariel |
| title |
Efñcient Test Generation Guided by Field Coverage Gritería |
| title_short |
Efñcient Test Generation Guided by Field Coverage Gritería |
| title_full |
Efñcient Test Generation Guided by Field Coverage Gritería |
| title_fullStr |
Efñcient Test Generation Guided by Field Coverage Gritería |
| title_full_unstemmed |
Efñcient Test Generation Guided by Field Coverage Gritería |
| title_sort |
efñcient test generation guided by field coverage gritería |
| publishDate |
2020 |
| url |
http://sedici.unlp.edu.ar/handle/10915/116440 http://49jaiio.sadio.org.ar/pdfs/asse/ASSE%2003.pdf |
| work_keys_str_mv |
AT godioariel efncienttestgenerationguidedbyfieldcoveragegriteria AT bengoleavaleria efncienttestgenerationguidedbyfieldcoveragegriteria AT ponziopablodaniel efncienttestgenerationguidedbyfieldcoveragegriteria AT aguirrenazarenomatias efncienttestgenerationguidedbyfieldcoveragegriteria AT friasmarcelof efncienttestgenerationguidedbyfieldcoveragegriteria |
| bdutipo_str |
Repositorios |
| _version_ |
1764820447012061184 |