Java PathFinder, un software de la NASA para chequear código Java

Java PathFinder es una mýquina virtual Java con licencia libre que actúa como un testador de software de estado explýcito. Cuando esta mýquina virtual desarrollada por la NASA ejecuta nuestro código no lo ejecuta solamente una vez, sino que lo ejecuta a lo largo que todos los posibles caminos de ejecucrión buscando errores que puedan suceder a lo largo de estos caminos.



En la actualidad los ýnicos errores que se queda son puntos muertos en la ejecucrión de aplicaciones multihilo y excepciones sin gestionar, pero es por su diseño Java PathFinder puede ser extendido para buscar muchos otros tipos de errores.



La principal pera que tiene es que no soporta ni java.awt ni java.net y sýlo soporta parcialmente java.io.