ParaSoft Jcontract

Jcontract is a new Java development tool that checks Design by Contract (DbC) contracts at runtime. You can use Jcontract to verify that your class/component works correctly and is being used correctly at the system level. Jcontract is a stand-alone tool, but its capabilities are complementary to Jtest's. You can use Jcontract to instrument and compile your DbC-commented Java code. Once you integrate your class/component into the system, Jcontract monitors it at runtime and reports system-level misuse and functionality problems. Jcontract helps you achieve the satisfaction regarding system-level class behavior every developer craves.

Get Demo | Previous Page | Downloads Search

If you found this page useful, bookmark and share it on:

 
Embedded Star Newsletter
Don't have time to visit Embedded Star everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.

Enter your email address to sign up for our free newsletter:   

If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.