¿Qué es una prueba de humo en software?