Re: Java tools: Design by Contract, 12 tools little time...
Re: Java tools: Design by Contract, 12 tools little time...
- Subject: Re: Java tools: Design by Contract, 12 tools little time...
- From: Chuck Hill <email@hidden>
- Date: Mon, 10 Dec 2007 21:39:49 -0800
On Dec 10, 2007, at 6:27 PM, Mr. G Brown wrote:
The wikipedia lists 12 DBC tools for Java:
"Java, using
1- iContract2,
I used the original iContract before it was abandoned. I'd pick
something more commonly used than iContact2. It also suffers from
being a code translator so you end up with two copies of Foo.java in
different places which can be a nuisance to manage.
2-Contract4J,
I've tried this, but found it was too slow for practical use. The
author is still working on it. I like the AOP implementation as it
avoids the duplicate Java file problem.
3-jContractor,
Not sure about that one, I've looked at it. IIRC it was not quite
solid enough for production use.
4-Jcontract,
I think that Parasoft has discontinued this. I could not find any
direct references to it on their site when I looked recently.
5-C4J,
6-CodePro Analytix,
7-STclass,
8-Jass preprocessor,
This is the one that I currently use.
9-OVal with AspectJ,
10-Java Modeling Language (JML),
I have tried that but found that some of the semantics they have
added to the original DBC concepts made it impractical for use
outside of narrowly constrained academic examples (e.g. not usable in
the world). That was a couple of years ago and they were aware of
the issues. It may have changed.
11-SpringContracts from the Spring framework, or
12- Modern Jass. "
I have high hopes for this, but it needs Java 1.6 which is not yet
available for OS X / WO.
Chuck
--
Practical WebObjects - for developers who want to increase their
overall knowledge of WebObjects or who are trying to solve specific
problems.
http://www.global-village.net/products/practical_webobjects
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Webobjects-dev mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden