|
Jcontract是一个新的Java开发工具，它在运行时检查DbC（Design by Contract
- 按契约设计）契约。您可以利用Jcontract在系统级验证类/部件是否正确工作并被正确使用。Jcontract是个独立工具，在功能上是Jtest的补充。您可以用Jcontract插装按DbC注解的Java代码。当您将类/部件组装成系统时，Jcontract在运行时监视并报告错用和功能性问题。Jcontract帮助每个开发人员有效地考核类/部件的系统级行为。
JContract的特性
· 在系统级验证功能性
· 在运行时检测部件/类的错用
JContract好处
·大量减少调试和维护时间
· 提高开发人员的生产力
· 改善应用的可靠性,增强产品信心
JContract支持的平台
· Windows NT/2000
|
