Hacia una generación de pruebas más robusta: superando limitaciones de KLEE

Abstract

La prueba de software tiene un gran peso en la transformación de la industria; tanto es así que se destinan cantidades significativas del presupuesto total del desarrollo de software a esta etapa. La Ejecución Simbólica Dinámica (DSE, Dynamic Symbolic Execution) es una técnica de generación automática de casos de prueba que, aunque propuesta hace años, ha alcanzado su madurez práctica gracias a los recientes avances en hardware y software. Sin embargo, el motor de ejecución simbólica KLEE sigue presentando limitaciones que, en ocasiones, impiden que se generen correctamente algunos casos de pruebas. En este trabajo, se presenta una guía para superar algunas limitaciones inherentes al propio motor con el fin de lograr una generación de casos de prueba más robusta.