Select Language

AdaCore Releases New GNATcoverage Tool

AdaCore Releases First Non-Intrusive Coverage Tool to Fully Support All Levels of Safety Certification
New GNATcoverage tool provides advanced program coverage analysis on both object code and source code

PARIS and NEW YORK, February 1, 2011 - AdaCore, a leading supplier of Ada development tools and support services, today announced the release of GNATcoverage, 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 and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool provided by AdaCore. GNATcoverage helps software developers assess the breadth of a testing campaign and provides precise answers to the needs of safety-certification processes, such as the DO-178 avionics standard.

“Until recently, the relationship between source coverage and object coverage had never been studied in detail. The research part of the ‘Couverture’ project proved mathematically the exact perimeter in which complex source coverage metrics, such as MC/DC, could be deduced from object coverage information,” said Cyrille Comar, Managing Director of AdaCore. “It allowed us to build the first coverage tool, working on un-instrumented code and providing results sufficiently accurate for meeting the needs of the highest level of avionics certification. We are very proud of this achievement!”

Combines Agile concepts with ease-of-use
By automating testing and coverage analysis of embedded application code, GNATcoverage allows developers to use continuous integration techniques made popular by the Agile community. Many instances of the tool can be launched simultaneously, making it possible to parallelize coverage analysis. GNATcoverage can also be installed on individual developers’ desktops, allowing them to verify locally and easily the adequacy of their testing strategy.

Analyzes the final code that will run on the embedded target
GNATcoverage provides code coverage information directly on the embedded target application code. There is no instrumentation of the object code - the instrumentation is done directly at emulation level.

Aids in establishing certification requirements (DO-178B level A, EN 50128, IEC 61508, ECCS-E40B)
GNATcoverage provides source coverage information for all levels of safety certification (Statement Coverage, Decision Coverage and Modified Condition/Decision Coverage). Qualification material is available for DO-178 B up to level A. GNATcoverage can also provide object-level coverage metrics in term of binary instructions and which branches have been exercised.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.

Press Contacts
press@adacore.com

AdaCore publie le premier outil de test de couverture non intrusif supportant pleinement tous les niveaux de certification des standards de sûreté

GNATcoverage fournit une analyse de couverture à la fois sur le code source et le code objet.

PARIS et NEW YORK, 27 janvier 2011 - AdaCore, leader dans l’édition d'outils de développement pour Ada et l’offre de services de support, publie aujourd'hui GNATcoverage, un outil d'analyse de couverture de code. Issu du projet de recherche Couverture, GNATcoverage réalise une analyse de couverture à la fois sur le code objet — couverture des instructions objet et des branches — et sur le code source Ada ou C — couverture des instructions source, des décisions, et du « Modified Condition/Decision Coverage » (MC/DC). Contrairement à la plupart des technologies actuelles, cet outil ne nécessite pas d’instrumentation de l'exécutable à tester, mais fonctionne directement sur une version instrumentée de GNATemulator, un outil d'émulation léger et performant fourni par AdaCore. GNATcoverage aide les développeurs de logiciel à estimer l'exhaustivité d'une campagne de tests, et fournit des réponses précises aux exigences des processus de certification de sûreté comme le standard de certification avionique DO-178.

« Jusqu'à présent, la correspondance entre la couverture du code source et la couverture du code exécutable n'avait jamais été étudiée en détail. La recherche menée au sein du projet Couverture a permis de prouver mathématiquement le périmètre exact dans lequel des métriques complexes de couverture de code source comme MC/DC peuvent être déduites des informations de couverture de code exécutable », précise Cyrille Comar, directeur chez AdaCore. « Nous avons alors pu construire le premier outil de test de couverture fonctionnant sur du code non instrumenté qui fournit des résultats dont la précision répond aux exigences des niveaux les plus élevés de certification pour les composants avioniques. »

Concepts agiles et facilité d'utilisation
En automatisant l'analyse de couverture des codes applicatifs embarqués, GNATcoverage permet aux développeurs d'utiliser les techniques d'intégration continue popularisées par la communauté Agile. De nombreuses instances de l'outil peuvent fonctionner simultanément, ce qui permet de paralléliser les tests de couverture. GNATcoverage peut également être installé sur les postes de travail de chacun des développeurs afin de vérifier l'adéquation de leur stratégie de tests localement et facilement.

Analyse du code final tel qu'il fonctionnera sur la cible embarquée
GNATcoverage fournit les informations de couverture directement à partir du code applicatif compilé pour la cible embarquée. Le code objet reste inchangé, toute l'instrumentation étant prise en charge par la couche d'émulation.

Aide à répondre aux exigences de certification (DO-178B niveau A, EN 50128, IEC 61508, ECCS-E40B)
GNATcoverage fournit des informations de couverture pour tous les niveaux de certification : couverture des instructions source, des décisions, et couverture MD/DC (Modified Condition/Decision Coverage). L’outil est qualifié jusqu'au niveau A du standard DO-178 B. GNATcoverage peut aussi fournir des métriques de couverture portant sur les instructions binaires et sur les branches qui ont été parcourues.

Disponibilité
GNATcoverage est disponible dès aujourd'hui. Pour obtenir des détails sur les tarifs et les configurations supportées, contacter AdaCore (sales@adacore.com).

À propos d'AdaCore

AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d'AdaCore est l'environnement de développement GNAT Pro est disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.

L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications de haute intégrité ou certifiées pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.

Le siège social d’AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du Nord.

Contacts Presse
press@adacore.com