Especificación de módulos con ejemplos y casos de prueba

Se plantea cómo aprovechar la formación del programador para que construya, por lo menos parcialmente, la especificación de sus módulos, incorporando en cada implementación datos de prueba que sean ejemplos de uso de cada rutina, con el fin de mejorar la reutilización de los módulos.