Checking Java Programs

Checking Java Programs

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


Author
Publisher "O'Reilly Media, Inc."
Release Date
ISBN 0596510233
Pages 54 pages
Rating 4/5 (37 users)

More Books:

Checking Java Programs
Language: en
Pages: 54
Authors: Ian F. Darwin
Categories: Computers
Type: BOOK - Published: 2007-03-30 - Publisher: "O'Reilly Media, Inc."

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: Usi
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 325
Authors: Bernhard Steffen
Categories: Computers
Type: BOOK - Published: 2003-12-19 - Publisher: Springer

This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice
SPIN Model Checking and Software Verification
Language: en
Pages: 346
Authors: Klaus Havelund
Categories: Computers
Type: BOOK - Published: 2006-12-31 - Publisher: Springer

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?c
Hardware and Software, Verification and Testing
Language: en
Pages: 270
Authors: Shmuel Ur
Categories: Computers
Type: BOOK - Published: 2006-03-03 - Publisher: Springer

This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in Novembe
Theoretical and Practical Aspects of SPIN Model Checking
Language: en
Pages: 282
Authors: Dennis Dams
Categories: Computers
Type: BOOK - Published: 2003-05-21 - Publisher: Springer

Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process fo
Model Checking Software
Language: en
Pages: 318
Authors: Matthew Dwyer
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the
Programming Languages and Systems
Language: en
Pages: 620
Authors: Matthias Felleisen
Categories: Computers
Type: BOOK - Published: 2013-03-02 - Publisher: Springer

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theor
Programming Languages and Systems
Language: en
Pages: 438
Authors: David Sands
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establ
Model Checking Software
Language: en
Pages: 314
Authors: Susanne Graf
Categories: Computers
Type: BOOK - Published: 2004-02-27 - Publisher: Springer

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr ́ eal (1995), New Brunswick (1996), Ensched
Concepts in Programming Languages
Language: en
Pages:
Authors: John C. Mitchell
Categories: Computers
Type: BOOK - Published: 2002-10-14 - Publisher: Cambridge University Press

For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functi