Slashdot Mirror

← Back to Stories (view on slashdot.org)

Google Brings Design-By-Contract To Java

Posted by Soulskill on from the putting-a-hit-out-on-bugs dept.

angry tapir writes "Google is developing a set of extensions for Java that should aid in better securing Java programs against buffer overflow attacks. Google has announced that it open sourced a project that its engineers were working on to add a new functionality into Java called Contracts, or Design-By-Contract. 'Contracts exist to check for programmer error, not for user error or environment failures. Any difference between execution with and without runtime contract checking (apart from performance) is by definition a bug. Contracts must never have side effects.'"

2 of 134 comments (clear)

  1. Trademarked by D+Ninja · · Score: 4, Interesting

    Actually, Google is bringing Programming by Contract to Java. Design by Contract is trademarked by Eiffel Software (and Bertrand Meyer).

  2. Too fragile by lehphyro · · Score: 3, Interesting

    Using strings instead of compiled code is too fragile. org.apache.commons.lang.Validate or com.google.common.base.Preconditions are much better for this kind of validation.