Testing the compiler and code coverage

[Mildred Ki'Lya]

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).

>> >
>> > 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.

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/lisaac-devel/attachments/20100306/60aa7d1d/attachment.pgp>