Anticlue

NASA releases JavaPath Finder

NASA is entering into the Open Source movement by releasing a sweet testing application called Java Path Finder.

JPF is a Java virtual machine that executes your program not just once (like a normal VM), but theoretically in all possible ways, checking for property violations like deadlocks or unhandled exceptions along all potential execution paths. If it finds an error, JPF reports the whole execution that leads to it. Unlike a normal debugger, JPF keeps track of every step how it got to the defect.

A great way to test the mission critical app.