Estas características son utilizadas por los programadores para hacer un análisis de lo esperado del programa antes y después de su ejecución.