Generacion de archivo .fun con las obligaciones de prueba de un programa!