Testing and validating end user programmed calculated fields

This paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2018
Materias:
Program Analysis
Query Generation
Symbolic Execution
Model checking
Query languages
Query processing
Database queries
End users
Path condition
Program analysis
Query generation
Smt solvers
Symbolic execution
Test data
Software testing
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p827_Braberman
http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p827_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_97814503_v_n_p827_Braberman
record_format dspace
spelling paper:paper_97814503_v_n_p827_Braberman2023-06-08T16:37:33Z Testing and validating end user programmed calculated fields Program Analysis Query Generation Symbolic Execution Model checking Query languages Query processing Database queries End users Path condition Program analysis Query generation Smt solvers Symbolic execution Test data Software testing This paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic execution and shows how database queries can help complement some of symbolic execution's weaknesses, namely in the treatment of loops and also of path conditions that exceed SMT solver capabilities. © 2018 Association for Computing Machinery. 2018 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p827_Braberman http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p827_Braberman
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Program Analysis
Query Generation
Symbolic Execution
Model checking
Query languages
Query processing
Database queries
End users
Path condition
Program analysis
Query generation
Smt solvers
Symbolic execution
Test data
Software testing
spellingShingle Program Analysis
Query Generation
Symbolic Execution
Model checking
Query languages
Query processing
Database queries
End users
Path condition
Program analysis
Query generation
Smt solvers
Symbolic execution
Test data
Software testing
Testing and validating end user programmed calculated fields
topic_facet Program Analysis
Query Generation
Symbolic Execution
Model checking
Query languages
Query processing
Database queries
End users
Path condition
Program analysis
Query generation
Smt solvers
Symbolic execution
Test data
Software testing
description This paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic execution and shows how database queries can help complement some of symbolic execution's weaknesses, namely in the treatment of loops and also of path conditions that exceed SMT solver capabilities. © 2018 Association for Computing Machinery.
title Testing and validating end user programmed calculated fields
title_short Testing and validating end user programmed calculated fields
title_full Testing and validating end user programmed calculated fields
title_fullStr Testing and validating end user programmed calculated fields
title_full_unstemmed Testing and validating end user programmed calculated fields
title_sort testing and validating end user programmed calculated fields
publishDate 2018
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p827_Braberman
http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p827_Braberman
_version_ 1768542104636620800

Ejemplares similares