En teoría de pruebas , una rama de la lógica matemática , la minería de pruebas (o desenrollado de pruebas ) es un programa de investigación que estudia o analiza pruebas formalizadas, especialmente en análisis , para obtener límites explícitos, rangos o tasas de convergencia a partir de pruebas que, cuando se expresan en lenguaje natural, parecen no constructivas . [1] Esta investigación ha llevado a mejores resultados en el análisis obtenidos a partir del análisis de pruebas clásicas.