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
Descripción
Sumario: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.

Ejemplares similares