Les logiciels critiques de l'aérospatiale et de la défense doivent être développés au plus haut niveau de qualité, et les obligations normatives ne cessent de se renforcer. La DO-178C impose des exigences strictes de vérification et de validation ; ces mêmes exigences gagnent la défense, où la certification n'est pourtant pas encore obligatoire.
Selon les conséquences possibles d'une défaillance sur l'avion, l'équipage et les passagers, la DO-178C distingue plusieurs niveaux de criticité — les Design Assurance Levels (DAL), également appelés IDAL. À chaque niveau correspond une exigence de couverture de code.
Le respect de la norme suppose de satisfaire de nombreuses exigences ; l'analyse statique y contribue, dans le cadre d'une démarche de compréhension globale du logiciel.
| Niveau | Couverture exigée |
|---|---|
| DAL A | Condition Modifiée / Décision Modifiée (MC/DC) |
| DAL B | Couverture de décision et de condition |
| DAL C | Couverture d'instructions |
L'outil mesure la couverture d'instructions, de décision et de condition, la couverture MC/DC, et même la couverture de condition multiple — d'un niveau supérieur à ce qu'exige la DO-178C.
Il s'utilise avec tous les compilateurs et toutes les cibles embarquées, jusqu'aux plus petites, grâce à un coût d'instrumentation très faible. Les rapports d'analyse sont clairs et directement exploitables.
Testwell CTC++ est certifié par le TÜV SÜD pour de nombreuses normes de sécurité. Le Safety Package fournit les documents complémentaires — manuel de sécurité, accès à la liste des anomalies connues. Pour la DO-178C, notre équipe, en coopération avec des spécialistes externes, vous accompagne dans la qualification de l'outil.
En savoir plus sur Testwell CTC++ → Demander une évaluation gratuite
TiCS supervise la qualité du code source dans les environnements multi-technologies, multi-projets et multi-sites. Il permet de :
Dans l'aérospatiale et la défense, nos solutions accompagnent le développement de logiciels critiques pour la sûreté et la sécurité. Parmi elles :
Agency for Defense Development (Corée du Sud) · Airbus Defence & Space · Airbus Helicopters · AOA Apparatebau Gauting · Ariane Group · Avionik Straubing · Barco · Berner & Mattner Systemtechnik · DGA / Ministère des Armées (France) · DLR (centre aérospatial allemand) · Embedded Office · Embraer (Brésil) · ESA · ESO · Exonetic (Canada) · Fokker Elmo (Pays-Bas) · Honeywell · ICS AG Stuttgart · INTA (Espagne) · Jenaoptronik · Jet Propulsion Laboratory (JPL/NASA) · Kayser-Threde · MBDA France · Monogram Systems · NavPos Systems · Northrop Grumman Systems · OHB System · Raytheon Anschütz · RST Rostock Systemtechnik · Safran Electronics & Defense · Seeing Machines (Australie) · Silver Atena · Singapore Technologies Kinetics · Software & Systeme Erfurt · Telespazio (Italie) · Thales · Thales Communications & Security · Thielert Aircraft Engines · TTTech Computertechnik · Zodiac Aerospace
« Nous utilisons régulièrement Testwell CTC++ pour mesurer la couverture de code sur cibles embarquées pour l'industrie aérospatiale. L'outil nous aide à satisfaire les exigences de test de la DO-178C. L'intégration est facile et le support client est excellent. »
« L'installation de Testwell CTC++ est simple, et l'outil est facile à utiliser comme à intégrer. Les rapports sont visuels et facilement compréhensibles : le code couleur permet d'identifier immédiatement les lacunes, là où les tests doivent être renforcés. »
« Nous utilisons largement Testwell CTC++ pour accompagner nos développements et nos tests de logiciels de sécurité critique sur cibles embarquées. L'outil nous permet de suivre la couverture de plusieurs fragments de notre logiciel, afin d'ajuster précisément nos tests pour couvrir toutes les branches. Cela sert de confirmation auprès de l'autorité de certification. »
« Nous utilisons Testwell CTC++ de manière intensive pour les tests de couverture MC/DC de nos logiciels d'application militaires et de nos systèmes de sécurité critiques. Il nous permet de répondre aux exigences des normes de sécurité, et les rapports générés sont faciles à lire tout en contenant les informations essentielles. Le support client est également excellent. »
Développer et livrer un logiciel critique exige des connaissances à jour. Nos webinaires et nos formations intra-entreprise accompagnent développeurs et responsables qualité sur les exigences normatives et les pratiques de test associées.
L'évaluation est gratuite et accompagnée : installation, configuration, intégration à votre chaîne de build et lecture des rapports de couverture.
