
Aérospatial et Défense
Les logiciels critiques dans les domaines de l'aérospatiale et de la défense doivent être développés avec la plus haute qualité. Les obligations concernant les normes pour la sûreté et la sécurité ne cessent d'augmenter. La norme DO-178C a des exigences strictes concernant la vérification et la validation des logiciels dans l'industrie aérospatial. Les normes de sécurité ont également été adoptées dans d'autres domaines critiques tels que la défense, même si les certifications ne sont pas encore obligatoires.Selon les niveaux de criticité, la norme DO-178 exige une couverture de code jusqu'à la couverture de Condition Modifiée/Décision Modifiée (MC/DC).
Le respect de la norme DO-178 implique de répondre à de nombreuses exigences. L'analyse statique peut être utilisée dans le cadre d'une garantie de compréhension globale.
Répondre aux exigences de couverture du code de la DO178-C avec Testwell CTC++ outil de couverture de code
Selon les conséquences possibles sur l'avion, l'équipage et les passagers, la DO-178C distingue différents niveaux de criticité des logiciels, également appelés "Design Assurance Level" (DAL) ou "Item Development Assurance Level" (IDAL).La norme DO-178C requiert l'atteinte des niveaux de couverture de code ci-dessous:
- DAL A: Couverture de Condition modifiée/Décision Modifiée (MC/DC)
- DAL B: Couverture de Décision/Couverture de Condition
- DAL C: Couverture d'Instructions
Il montre la Couverture d'Instructions, de Décision/Condition, de Condition Modifiée/Décision modifiée (MC/DC) et même de Couverture de Condition multiple (qui est d'un niveau supérieur à la couverture MC/DC).
Testwell CTC++ est un outil pour C, C++, Java et C# intuitif et facile à utiliser, qui délivre des rapports d'analyses clairs et simples.
L'outil a un coût d'instrumentation très bas. Il peut être utilisé avec tous les compilateurs et toutes les cibles embarquées, même les plus petites.
Testwell CTC++ est certifié par le TÜV Süd pour de nombreuses normes de sécurité. Avec le "safety package", nous offrons des documents supplémentaires tels qu'un manuel de sécurité et l'accès à la liste des bogues connus.
En ce qui concerne la norme DO-178C, notre équipe (en coopération avec des spécialistes externes) vous offre le soutien nécessaire pour une qualification réussie et efficace de l'outil.
En savoir plus sur Testwell CTC++
Analyse statique
Imagix 4D est un outil pour comprendre, documenter et améliorer un code source écrit en C, C++ ou Java, qu´il soit complexe, fourni par un tiers ou bien hérité. Imagix 4D automatise l´analyse des flux de contrôle et des dépendances requis dans le point 6.3.4. de la DO-178C "Respect de l'architecture logicielle" (Compliance with software architecture). De plus, Imagix 4D détecte les problèmes dans l´utilisation des données et les interactions des tâches.Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques.
L'un des objectifs mentionnés dans la DO-178C est de s'assurer que les normes du code logiciel, comme les restrictions de complexité, ont été suivies lors du développement du code.
Testwell CMT++ outil de mesure de complexité de code, analyse les métriques les plus importantes telles que le métriques de Lignes de code (LOC), les métriques d'Halstead, le nombre cyclomatique de McCabe v(G), l'index de maintenabilité et le Max ND/Maximum Nesting Depth. L'outil est très facile à utiliser, extrêmement rapide et analyse même de très grandes bases de code.
Webinaires et séminaires intra entreprise
Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.Verifysoft vous soutient avec ses webinaires et ses formations intra entreprise.
Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels grâce à nos outils de test
Les solutions de Verifysoft ont démontré leur succès dans le développement de logiciels critiques pour la sûreté et la sécurité dans les secteurs de l'aérospatiale et de la défense. Parmis nos clients satisfaits:
Agency for Defense Development (South-Korea)
Airbus Defense & Space
Airbus Helicopters
AOA Apparatebau Gauting (Germany)
Ariane Group
Avionik Straubing
Barco
Berner & Mattner Systemtechnik
DGA / Ministry of Defense (France)
DLR Deutsches Zentrum für Luft- u. Raumfahrt (German Aerospace Center)
Embedded Office Germany
Embraer (Brazil)
ESA European Space Agency
ESO European Southern Observatory
Exonetic (Canada)
Fokker Elmo B.V. (NL)
Honeywell
ICS AG Stuttgart (DE)
INTA Instituto National de Técnica Aerospacial (Spain)
Jenaoptronik (Germany)
Jet Propulsion Laboratory (JPL/NASA, USA)
Kayser-Threde GmbH
MBDA France
Monogram Systems
NavPos Systems
Northrop Grumman Systems
OHB System AG (Germany)
Raytheon Anschütz (Germany)
RST Rostock Systemstechnik (Airbus, Germany)
Safran Electronics & Defense (France)
Seeing Machines (Australia)
Silver Atena Electronic Systems
Singapore Technologies Kinetics
Software & Systeme GmbH Erfurt
Telespazio (Italy)
Thales
Thales Communications & Security
Thielert Aircraft Engines
TTTech Computertechnik AG
Zodiac Aerospace
Ce que nos clients dans les secteurs de l'aérospatial et de la défense disent au sujet de nos outils::

"Nous utilisons régulièrement Testwell CTC++ pour mesurer la couverture de code sur cibles intégrées pour l'industrie aérospatiale. L'outil nous aide à satisfaire les exigences de test pour la DO-178C. L'intégration est facile et le support client est excellent"."
Dr. Martin Ettl, développement logiciel
Avionik Straubing Entwicklungs GmbH, Allemagne
Dr. Martin Ettl, développement logiciel
Avionik Straubing Entwicklungs GmbH, Allemagne

"Testwell CTC++ fulfills our purpose to comply with a given set of DO-178x requirements...
Only a few numbers of command cover all the essential software dynamic test in our case, which is more efficient than other fancy and complicated GUI based tools ...
Another strength of this tool is a well-organized online help and technical support team of Verifysoft.
They show not only customer-oriented mindset but also strong competency about tool itself as well as good test practices adopted in the industry.
They are highly empathetic towards frustrations and challenges that their customers might have faced during software testing.
The team was very grateful and made us confident that they were cheering up customer success.
We introduced Testwell CTC++ to an aircraft manufacturer with its capabilities and pricing, then they were so fascinated as they haven’t seen such a cost-effective tool before, and the outcome of the testing was also well aligned with their requirements.
Read full Customer Testimonial here
Thomas Chae, Team Lead, Aircraft Server Systems
Contromax Co. Ltd., South-Korea
We introduced Testwell CTC++ to an aircraft manufacturer with its capabilities and pricing, then they were so fascinated as they haven’t seen such a cost-effective tool before, and the outcome of the testing was also well aligned with their requirements.
Read full Customer Testimonial here
Thomas Chae, Team Lead, Aircraft Server Systems
Contromax Co. Ltd., South-Korea

Embraer, l'un des plus importants constructeurs d'avions commerciaux au monde, utilise Testwell CTC++ pour répondre à tous les objectifs du DAL A requis par la norme DO-178C. "L'installation de Testwell CTC++ est simple et l'utilisation de l'outil simple et facile à intégrer. Les résultats du rapport sont visuels et facilement compréhensibles. Le code couleur facilite l'identification des lacunes lorsque les tests doivent être améliorés."
Lire le témoignage client complet ici
Mateus Lucas Alves Ferreira, Product Development Engineer
João Carlos Davison, Software Specialist in R&D Projects
Embraer, Brésil
Lire le témoignage client complet ici
Mateus Lucas Alves Ferreira, Product Development Engineer
João Carlos Davison, Software Specialist in R&D Projects
Embraer, Brésil

"Nous utilisons Testwell CTC++ largement pour accompagner nos développements et nos tests de logiciels de sécurité critique sur nos cibles embarquées. Testwell CTC++ nous permet de traquer la couverture de plusieurs fragments de notre logiciel, afin que nous puissions ajuster nos tests décrits précisément pour couvrir toutes les fonctions de branches. Cela sert en tant que confirmation de certifications pour l´autorité de contrôle."
Michael Görsdorf, Département logiciel/R&D logiciel
Kappa optronics GmbH, Allemagne
Michael Görsdorf, Département logiciel/R&D logiciel
Kappa optronics GmbH, Allemagne

"Nous utilisons Testwell CTC++ de manière intensive pour effectuer des tests de couverture MC/DC sur nos logiciels d'application militaires et 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 et disposent de toutes les informations essentielles requises. Le support client est également excellent."
Nathan Wan, ingénieur logiciel
ST Kinetics, Singapour
Nathan Wan, ingénieur logiciel
ST Kinetics, Singapour
Opinion: Future Digitalization of the Aviation Industry Calls for Increased Testing by Svend Holme Sørensen (GateHouse SatCom) and Klaus Lambertz (Verifysoft Technology)











