We are working on an existing project that has already been developed. We've been asked to use Parasoft's Jtest software to do coding standards as well as unit testing.
A)We are adding essentially a bunch of preconditions and postconditions that check if any of the inputs/outputs are null. Is there any benefit to this? Does anyone know a better/more useful approach to this?
B)We realize that DbC is best used during the development phase, but since this is already developed, is there any value to our efforts? Can any good come about from adding DbC comments post-development?
Thanks for all your time and help!
C.J.