http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Mon, 06 Feb 2012 08:56:05 +0100 hourly 1 http://www.open-do.org/projects/couverture/comment-page-1/#comment-14382 Couverture product rewarded with an Electron d’Or! Fri, 17 Jun 2011 12:42:55 +0000 http://www.open-do.org/?page_id=732#comment-14382 [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceProject Hi-LiteHi-Lite PartnersHi-Lite ResourcesA [...] [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceProject Hi-LiteHi-Lite PartnersHi-Lite ResourcesA [...]

]]> http://www.open-do.org/projects/couverture/comment-page-1/#comment-12616 AdaCore - Home > AdaCore Releases New GNATcoverage Tool Tue, 01 Feb 2011 09:58:31 +0000 http://www.open-do.org/?page_id=732#comment-12616 [...] a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction [...] [...] a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction [...]

]]> http://www.open-do.org/projects/couverture/comment-page-1/#comment-12406 Couverture end of project event Mon, 10 Jan 2011 11:16:24 +0000 http://www.open-do.org/?page_id=732#comment-12406 [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceProject Hi-LiteHi-Lite PartnersHi-Lite ResourcesA [...] [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceProject Hi-LiteHi-Lite PartnersHi-Lite ResourcesA [...]

]]> http://www.open-do.org/projects/couverture/comment-page-1/#comment-10745 DO-178: Couverture and the “Source Code VS Object Code Coverage” debate Wed, 24 Feb 2010 09:43:58 +0000 http://www.open-do.org/?page_id=732#comment-10745 [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceOpen-DO conferenceOpen-DO Conference Abstracts [...] [...] Information ModelSolutions Provided by IP217DO-178B/C Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceOpen-DO conferenceOpen-DO Conference Abstracts [...]

]]>