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, porque 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 esta técnica y en Diseño por Contrato con JML (Lenguaje de Modelamiento de Java), se diseña y construye un prototipo funcional de una herramienta que genera asistidamente casos de prueba unitarios para variables enteras, dirigiéndose al lenguaje de programación Java y utilizando JUnit para la ejecución de los mismos.
The unitary tests are important to diminish the tests in the later phases, but little the time and costs are practiced by that these represent, because the cases of tests are generated habitually of manual form. In the case of systems constructed under paradigm Object Oriented, the unitary tests are centered in the class and one of the techniques used is the technique of McGregor and Sykes. Being based on this technique and Design by Contract with JML (Java Modeling Language), a functional prototype of a tool is designed and constructed that semi-automatically generates unitary cases of test for integer variables, going to the programming language Java and using JUnit for the execution of such.