Re: Is Aunit helpful?

[Midoan <midoan.ses@gmail.com>]

On Aug 14, 6:57 am, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
> "Yannick Duchêne (Hibou57)" <yannick_duch...@yahoo.fr> writes:
>
> > About AUnit: just seen about what it is, how it is set up and how it
> > works. Seems a question is still pending : “how to be sure the test
> > cover  all relevant case ?”. I do not see a way to be sure testing
> > cover all  cases.
>
> Correct, AUnit does not do that. gcov does, although I have not used it
> very much. It can be difficult to use the output of gcov.
>
> > That is the main limitation of this kind of approach.
>
> What alternative approaches provide coverage information?
>

FYI, note that with Mika (http://www.midoan.com/), the automatic test
data  generator for Ada, it is possible to take in your existing test
cases, check the coverage achieved, and automatically generate missing
test inputs and expected test result (which can be validated to form
new test cases automatically). This facility will be automated soon:
http://www.midoan.com/soon.html

This can be done to achieve branch, decision or MC/DC coverage as
desired.

regards,
the Midoan team