Testing the compiler and code coverage

[Nicolas Boulay]

2010/3/6 Mildred Ki'Lya <ml.mildred593 at gmail.com>:
> On 03/06/2010 03:27 PM, Nicolas Boulay wrote:
>> You work on "Couverture" ? Is it fonctionnal ?
>>
>> I'm looking for a tool coverage at object code level.
>>
>
> No, i'm not working on Couverture (this is an AdaCore project). But I
> shall use it for my project once it becomes usable/documented/whatever.
> I'm using gcov for the moment (+ lcov front end + handwritten perl scripts).
>
>
> I'm working on the exact equivalent of Cucumber, but for compiled
> languages, and especially Ada. I parse feature files, parse step
> definitions, and generate test packages that use the step packages. The
> generated tests can then output a report on a textual or HTML format.
>
>
> In the end, that tool should be open source (GPL I think, or CeCILL),
> and it can easily be extended to handle other languages (as C, C++ or
> even Lisaac).

Do you know when couverture will be usable ?

>
>>> >
>>> > Of course, tests must check the result is correct
>>> > But coverage is very good to notice special cases that were not included
>>> > in the test suite. I do that every day and I find it very useful.
>>> >
>>>
>> Sur it is.
>>
>> My point is only to say that it is very complexe to finish the job
>> that way. In a DO178b project, only 10% of the time is dedicated to
>> code. Lisaac it's almost 95% :)
>>
> I don't think we are targetting the DO178B for the Lisaac compiler yet ...
> That is waaay early.
>

Sur but we could be inspire by methodology::
- coverage tool DC, MC/DC
- some way to execute test.

> if we can just improve it for ourselves, that would be great.
>
>
>
> Mildred
>
>
> --
> Mildred Ki'Lya
> ╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
> │ Jabber, GoogleTalk: <mildred at jabber.fr>
> │ Website: <http://ki.lya.online.fr>           GPG ID: 9A7D 2E2B
> │ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B
>
>
>
> _______________________________________________
> Lisaac-devel mailing list
> Lisaac-devel at lists.alioth.debian.org
> http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel
>
>