Las pruebas unitarias son importantes para disminuir las pruebas en las fases posteriores, pero son poco practicadas por el tiempo y costos que éstas representan, ya que los casos de pruebas se generan habitualmente de forma manual. En el caso de sistemas construidos bajo paradigma Orientado a Objetos, las pruebas unitarias se centran en la clase y una de las técnicas utilizada es la “técnica de McGregor y Sykes”. Basándose en ésta y además, en diseño por contrato y JML, se diseña y se construye un prototipo funcional de una herramienta que genere asistidamente casos de prueba unitarios, dirigiéndose al lenguaje de programación Java y utilizando JUnit para la ejecución de los mismos.