| || |
Jtest using Design By Contract
Can anyone please let me know that if we follow Design by Contract in Java code ,do we have to write unit tests in Junit and then supplement it with JTest or can Jtest generate the unit tests without JUnit?
Re: Jtest using Design By Contract
Jtest generates Junit automatically by analyzing your code.
If you use Design by Contract (DbC)in your java code, Jtest will perform more meaningful and realistic automated unit testing. Specifically, Jtest will
Automatically create functional test cases that verify the functionality described in your DbC contracts.
Report situations where DbC contracts are violated.
Not generate test cases with inputs that violate the @pre contracts of the methods under test.
Automatically ignore expected uncaught runtime exceptions that are documented using the @exception Javadoc tag.
In addition, Jcontract, an automated runtime and system-level monitoring product, can use the DbC information to verify whether the system parts interface correctly after integration.