Le Projet Couverture
Jamie Ayre <[email protected]>
| Newsgroups | gmane.comp.lang.ada.france |
|---|---|
| Message-ID | <[email protected]> |
Bonjour, Le projet Couverture (http://www.open-do.org/projects/couverture/), issu du groupe thématique logiciel libre du pôle de compétitivité Systematic, vient de se conclure. Le projet visait à développer, sous licence Libre, des outils logiciels permettant l'analyse de la couverture structurelle d'un programme Ada par ses tests fonctionnels. Il prévoyait également la production d’éléments permettant la qualification des outils développés selon les normes de certification applicables au logiciel embarqué critique. Si vous souhaitez davantage d'informations sur le projet et ses résultats, vous êtes cordialement invités à participer à l'évènement qui se déroulera dans les locaux d'AdaCore le 27 janvier 2011 à 17h30. Inscriptions par courriel sur [email protected]. Cordialement, Jamie AdaCore _______________________________________________ Site WWW de l'association Ada-France: http://www.ada-france.org/ [email protected] http://www.ada-france.org/mailman/listinfo/ada-france