Secuencias de métodos de síntesis para pruebas de alta cobertura

Las pruebas de alta cobertura son desafiantes. Los programas modernos orientados a objetos presentan desafíos adicionales para las pruebas. Una dificultad clave es la generación de secuencias de métodos adecuadas para construir objetos deseados como parámetros de métodos. En este artículo, planteamos el problema como una instancia de síntesis de programas que genera automáticamente programas candidatos para satisfacer una intención especificada por el usuario. En nuestro contexto, los programas candidatos son secuencias de métodos, y los estados de objeto deseados especifican una intención. La generación automática de secuencias de métodos deseadas es difícil debido a su gran espacio de búsqueda: las secuencias a menudo implican métodos de múltiples clases y requieren valores primitivos específicos. Este artículo introduce un enfoque novedoso, llamado Seeker, para navegar inteligentemente el gran espacio de búsqueda. Seeker combina de manera sinérgica análisis estático y dinámico: (1) el análisis dinámico genera secuencias de métodos para cubrir ramas; (2) el análisis estático utiliza información del análisis dinámico para ramas no cubiertas para generar secuencias candidatas; y (3) el análisis dinámico explora y elimina secuencias generadas estáticamente. Para la evaluación, hemos implementado Seeker y demostramos su efectividad en cuatro aplicaciones sujetas que suman 28K LOC. Mostramos que Seeker logra una mayor cobertura de ramas y una cobertura def-use que los enfoques existentes de última generación. También mostramos que Seeker detecta 34 nuevos defectos que fueron pasados por alto por herramientas existentes.