Abstract:
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.
Registro:
| Documento: |
Conferencia
|
| Título: | Testing and validating end user programmed calculated fields |
| Autor: | Braberman, V.; Garbervetsky, D.; Godoy, J.; Uchitel, S.; De Caso, G.; Perez, I.; Perez, S.; Garci A.; Pasareanu C.S.; Leavens G.T. |
| Filiación: | ICC, UBA/CONICET, Argentina
Imperial College London, London, United Kingdom
Medallia Inc., United States
|
| Palabras clave: | 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 |
| Año: | 2018
|
| Página de inicio: | 827
|
| Página de fin: | 832
|
| DOI: |
http://dx.doi.org/10.1145/3236024.3275531 |
| Título revista: | 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018
|
| Título revista abreviado: | ESEC/FSE - Proc. ACM Jt. Meet. Eur. Softw. Eng. Conf. Symp. Found. Softw. Eng.
|
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p827_Braberman |
Referencias:
- https://docs.microsoft.com/en-us/visualstudio/test/intellitest-manual/, Visual Studio Intellitest; (2017) Mocha Javascript Test Framework, , https://mochajs.org/
- Cadar, C., Sen, K., Symbolic execution for software testing: Three decades later (2013) Commun, 56 (2), pp. 82-90. , ACM, Feb
- Ko, A.J., Abraham, R., Beckwith, L., Blackwell, A., Burnett, M., Erwig, M., Scaffidi, C., Wiedenbeck, S., The state of the art in end-user software engineering (2011) ACM Comput. Surv., 43 (3), pp. 21:1-21:44. , Apr
- Li, C., Csallner, C., Dynamic symbolic database application testing (2010) Proceedings of the Third International Workshop on Testing Database Systems, DBTest '10, pp. 7:1-7:6. , New York, NY, USA, ACM
- Pan, K., Wu, X., Xie, T., Program-input generation for testing database applications using existing database states (2015) Automated Software Engg., 22 (4), pp. 439-473. , Dec
- Pasareanu, C.S., Rungta, N., Symbolic pathfinder: Symbolic execution of Java bytecode (2010) ASE '10, pp. 179-180. , New York, NY, USA, ACM
- Schwartz, E.J., Avgerinos, T., Brumley, D., All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask). (2010) 31st IEEE Symposium on Security and Privacy, S&P 2010, pp. 317-331. , 16-19 May 2010, USA, IEEE CS
- Sen, K., Kalasapur, S., Brutch, T., Gibbs, S., Jalangi: A tool framework for concolic testing, selective record-replay, and dynamic analysis of Javascript (2013) ESEC/FSE 2013, pp. 615-618. , ACM
- Tillmann, N., De Halleux, J., (2008) Pex-white Box Test Generation For. Net. Tests and Proofs, pp. 134-153
- Tuya, J., Riva, C.D.L., Suarez-Cabal, M.J., Blanco, R., Coverage-aware test database reduction (2016) IEEE Trans. Softw. Eng., 42 (10), pp. 941-959. , Oct
- Xiao, X., Li, S., Xie, T., Tillmann, N., Characteristic studies of loop problems for structural test generation via symbolic execution (2013) 2013 28th IEEE/ACM, ASE 2013, pp. 246-256. , In E. Denney, T. Bultan, and A. Zeller, editors, Silicon Valley, CA, USA, November 11-15, 2013. IEEEA4 - ACM SIGSOFT
Citas:
---------- APA ----------
Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S.,..., Leavens G.T.
(2018)
. Testing and validating end user programmed calculated fields. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018, 827-832.
http://dx.doi.org/10.1145/3236024.3275531---------- CHICAGO ----------
Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., et al.
"Testing and validating end user programmed calculated fields"
. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018
(2018) : 827-832.
http://dx.doi.org/10.1145/3236024.3275531---------- MLA ----------
Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., et al.
"Testing and validating end user programmed calculated fields"
. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018, 2018, pp. 827-832.
http://dx.doi.org/10.1145/3236024.3275531---------- VANCOUVER ----------
Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., et al. Testing and validating end user programmed calculated fields. ESEC/FSE - Proc. ACM Jt. Meet. Eur. Softw. Eng. Conf. Symp. Found. Softw. Eng. 2018:827-832.
http://dx.doi.org/10.1145/3236024.3275531