South-East European Research Centre (SEERC)

JWalk is a lazy, systematic class unit tester. It performs bounded, exhaustive testing on an arbitrary compiled Java class, supplied by the programmer. It is qualified as "lazy" because the programmer may supply more or less information about the class's intended specification. As more information is supplied, the quality of the generated tests improves and manual inspection of the test report is gradually replaced by fully automated checking. It is also qualified as "systematic" because it generates test sequences corresponding to all possible interleavings of the class's methods (local and inherited) and eventually creates complete functional test sets, validating the class according to a state-based or algebraic model. However, the programmer does not have to develop a formal specification up front; rather, the tool infers the specification from hints supplied by the programmer during the testing process, and from smart assumptions made about the intended design of the code. JWalking is a supremely lazy way to do extremely thorough unit testing!