Crear pruebas de software es un proceso importante, pero también es costoso y propenso a errores, por lo que automatizar dicho proceso resulta de gran utilidad. Existen herramientas para automatizar varios tipos de pruebas distintos, pero este trabajo se va a centrar en crear casos de prueba. Para ello, vamos a utilizar herramientas como JavaParser, Alloy y JUnit. Estas herramientas están explicadas con brevedad en este texto, así como las decisiones principales de diseño y desarrollo del código. Para un mejor entendimiento del programa, se realiza una explicación paso a paso pero sin entrar en detalle del funcionamiento de este. Por último, se prueba que el programa funciona correctamente frente a varios códigos distintos y se plantean posibles mejoras que se pueden llevar a cabo en un futuro.