• Products
• Ada Answers
• Developers
• Academia
• Company

Home > Coverage Project

• 
• 
• 

More Resources

Recent Papers

• Towards Certification of Object-Oriented Code with the GNAT Compiler
  
• Couverture paper presented at ERTS² 2010
  
• A principled approach to software engineering
  
• Coverage and Free Software
  
• Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
  

Browse by Technology

• Ada / Ada 2005 / Ada 2012
• AJIS
• ASIS
• AWS
• CodePeer
• GNAT Compilation System
• GNATbench
• GNATcoverage
• GPS
• GtkAda
• PolyORB
• SPARK
• XML/Ada

Dev Log Archives

• February 2012
• January 2012
• December 2011
• November 2011
• October 2011
• September 2011
• August 2011
• July 2011
• June 2011
• May 2011
• April 2011
• March 2011
• February 2011
• January 2011
• December 2010
• November 2010
• October 2010
• September 2010
• August 2010
• July 2010
• June 2010
• May 2010
• April 2010
• March 2010
• February 2010
• January 2010
• December 2009
• November 2009
• October 2009
• September 2009
• August 2009
• July 2009
• June 2009
• May 2009
• April 2009
• March 2009
• February 2009
• January 2009
• December 2008
• November 2008
• October 2008
• September 2008
• August 2008
• July 2008
• June 2008
• May 2008
• April 2008
• March 2008
• February 2008
• January 2008
• December 2007
• November 2007
• October 2007
• September 2007
• August 2007
• July 2007
• June 2007
• May 2007
• April 2007
• March 2007
• February 2007
• January 2007
• December 2006
• November 2006
• October 2006
• September 2006
• August 2006
• July 2006
• June 2006
• May 2006
• April 2006
• March 2006
• February 2006
• January 2006
• December 2005
• November 2005
• October 2005
• September 2005
• August 2005
• July 2005
• June 2005
• May 2005
• April 2005
• March 2005
• February 2005
• January 2005
• December 2004
• November 2004
• October 2004
• September 2004
• August 2004
• July 2004
• June 2004
• May 2004
• April 2004
• March 2004
• February 2004
• January 2004

Coverage Project

Wednesday June 4, 2008

Thanks to French public funds, the next generation of Free Software code coverage tools is on its way. “Project Coverage” will produce a Free Software coverage analysis toolset together with the ability to generate artifacts that allow the tools to be used for safety-critical software projects undergoing a DO-178B software audit process for all levels of criticality.

While an important target use of the coverage toolset is safety-critical embedded applications, the design of the tools allows its use in non safety-critical projects.

Beyond the production of useful tools and certification material for industrial users, an important goal is to raise awareness and interest about safety-critical and certification issues in the Free Software/Open Source community.

The key insight of “Project Coverage” is as follows: code coverage can greatly benefit from recent advances in hardware virtualization technology as promoted, for instance, by QEMU.

The attached slides give a presentation of the technical scope of the project.

341.1Kb

Posted in Development Log, GNAT Compilation System