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
Autores principales:	Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.
Formato:	CONF
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:	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	todo:paper_97814503_v_n_p827_Braberman
record_format	dspace
spelling	todo:paper_97814503_v_n_p827_Braberman2023-10-03T16:43:20Z Testing and validating end user programmed calculated fields Braberman, V. Garbervetsky, D. Godoy, J. Uchitel, S. De Caso, G. Perez, I. Perez, S. Garci A. Pasareanu C.S. Leavens G.T. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Braberman, V. Garbervetsky, D. Godoy, J. Uchitel, S. De Caso, G. Perez, I. Perez, S. Garci A. Pasareanu C.S. Leavens G.T. 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.
format	CONF
author	Braberman, V. Garbervetsky, D. Godoy, J. Uchitel, S. De Caso, G. Perez, I. Perez, S. Garci A. Pasareanu C.S. Leavens G.T.
author_facet	Braberman, V. Garbervetsky, D. Godoy, J. Uchitel, S. De Caso, G. Perez, I. Perez, S. Garci A. Pasareanu C.S. Leavens G.T.
author_sort	Braberman, V.
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
url	http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p827_Braberman
work_keys_str_mv	AT brabermanv testingandvalidatingenduserprogrammedcalculatedfields AT garbervetskyd testingandvalidatingenduserprogrammedcalculatedfields AT godoyj testingandvalidatingenduserprogrammedcalculatedfields AT uchitels testingandvalidatingenduserprogrammedcalculatedfields AT decasog testingandvalidatingenduserprogrammedcalculatedfields AT perezi testingandvalidatingenduserprogrammedcalculatedfields AT perezs testingandvalidatingenduserprogrammedcalculatedfields AT garcia testingandvalidatingenduserprogrammedcalculatedfields AT pasareanucs testingandvalidatingenduserprogrammedcalculatedfields AT leavensgt testingandvalidatingenduserprogrammedcalculatedfields
_version_	1807321123415654400

Testing and validating end user programmed calculated fields

Ejemplares similares