Using Design by Contract to Automate Java Software and Component Testing
Design by Contract (DbC) is a beneficial software development practice that, until now, was too cumbersome to actually incorporate into most development processes. Jtest and Jcontract make it possible for you to realistically implement DbC. Jtest helps you add specification information into your code using DbC contracts. This is beneficial because it ensures that the code and specification are always kept together. From the DbC contracts, Jtest automatically creates test cases that verify class/component functionality. Because this relieves you from having to create black-box test cases, you save a tremendous amount of time and resources. When the classes/components that contain DbC contracts are added to the system, Jcontract automatically verifies whether the system uses them correctly. A misused class/component might appear to perform fine, but might actually spur subtle errors that can trigger system-wide problems.View Entire Paper | Previous Page | White Papers Search
If you found this page useful, bookmark and share it on:
Custom Search
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.
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.
