Checking Java Programs By Ian F. Darwin Copyright © 2007 O'Reilly Media, Inc. ISBN: 978-0-596-51023-7 Released: March 30, 2007 Contents What It's Not About................................... 3 It Usually Begins with javac...................... 3 Making Your IDE Work Harder.............. 7 Source Code Checking with PMD...........11 Static (Class File) Checking with FindBugsTM................................................26 Dynamic Checking with NASA's Java PathFinder.................................................44 What's Next?.............................................56 This Short Cut tells you about tools that will improve the quality of your Java code, using checking above and beyond what the standard tools do, including: · Using javac options, JUnit and assertions · Making your IDE work harder · Checking your source code with PMD · Checking your compiled code (.class files) with FindBugs · Checking your program's run-time behavior with Java PathFinder Find more at shortcuts.oreilly.com