Developers make assumptions about how our code will behave when executed, but we’re not always right. Without certainty, it is challenging to write programs that work correctly at runtime. Java ...

Part 1 of this two-part series covered the mechanics of using the new assertion facility introduced in J2SE, (Java 2 Platform, Standard Edition) 1.4. This installment discusses the methodology behind ...