Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

Aviation civile

Développement et test de logiciels pour l'aviation civile

Outils de test de logiciels de l'aviation civile Parasoft,
Confiance depuis plus de 30 ans

Les logiciels d'avionique nécessitent une sécurité et une fiabilité absolues. Depuis plus de 30 ans, Parasoft aide les organisations à respecter des normes rigoureuses grâce aux meilleures pratiques requises telles que les tests unitaires, la couverture du code structurel, la couverture du code objet, les mesures logicielles, l'analyse de code statique et les rapports de traçabilité des exigences. Dans l'aviation civile, les organisations s'appuient sur DO-178C (pour les systèmes aérospatiaux commerciaux basés sur des logiciels) et DO-278 (pour les systèmes basés sur des logiciels de communication, de navigation, de surveillance et de gestion du trafic aérien). Dans les industries militaires et de défense, où il n'y a pas de spécifications de certification strictes, certaines organisations se portent volontaires pour adapter les normes DO-178/278 comme une voie éprouvée vers une sûreté et une sécurité suffisantes pour les logiciels créés. Parasoft fournit une solution intégrée pour aider les organisations à se conformer à des Normes DO-178.

Aborder le développement logiciel moderne d'aujourd'hui
Défis de l'aviation civile

Protégez-vous contre les risques de sécurité

La sécurité devient un problème sérieux pour l'aérospatiale et l'avionique de défense. La menace d'interférence malveillante dans le logiciel d'un avion volant est un véritable scénario, que les équipes de développement doivent prévoir et prévenir à une époque marquée par le terrorisme. La solution axée sur la sécurité de Parasoft permet aux équipes d'obtenir les commentaires critiques nécessaires pour garantir la mise sur le marché d'un logiciel robuste et sécurisé.

Suivez les meilleures pratiques de développement et de test recommandées par l'industrie

Face à la complexité croissante des systèmes avioniques, les organisations peuvent utiliser des normes de codage pour garantir la création d'un code sûr et sécurisé, ainsi que des pratiques de développement et de test de logiciels supplémentaires imposées par les normes réglementaires utilisées dans l'aérospatiale et la défense. Parasoft aide les équipes avec ces techniques requises, telles que le développement basé sur des modèles, les tests basés sur les exigences, les tests unitaires et d'intégration, et la surveillance de la couverture de code ou d'assemblage / objet.

Réduisez la complexité en utilisant un outil unifié

Le respect de toutes les recommandations des normes réglementaires nécessite un cadre composé de plusieurs outils logiciels qui peuvent échanger des informations, par exemple pour préparer des rapports et de la documentation. Au lieu d'essayer d'intégrer divers outils logiciels indépendants, ce qui devient souvent un cauchemar et consomme un temps précieux qui pourrait être consacré au développement de produits de base, les organisations peuvent tirer parti de l'outillage unifié du test Parasoft C / C ++, qui a été construit avec une vue d'ensemble en esprit. Le test Parasoft C / C ++ est prêt à être déployé dans les projets les plus complexes.

Les solutions de Parasoft pour l'aviation civile

La conformité logicielle des aéronefs commence par les normes de génie logiciel et les meilleures pratiques, complétées par des spécifications pour la certification des avions. Le test Parasoft C / C ++ est une boîte à outils intégrée pour le développement et les tests C et C ++ qui prend en charge un large éventail de bonnes pratiques éprouvées pour améliorer la sécurité et la fiabilité des logiciels en avionique.

Le test Parasoft C / C ++ automatise l'analyse statique C et C ++ et les tests unitaires / composants sur l'hôte et la cible avec une couverture de code complète prenant en charge plusieurs niveaux de DO-178B / C. L'analyse statique comprend une prise en charge intégrée de toutes les normes populaires utilisées dans les logiciels aéronautiques, comme MISRA C/C++ et JSF AV C++.

Bénéficiez de l'approche Parasoft

Réduisez le coût de développement de logiciels de haute qualité, sans sacrifier le temps de mise sur le marché.

Plusieurs méthodologies de test intégrées dans un seul outil

Au lieu de plusieurs solutions fragmentées, le test Parasoft C / C ++ satisfait plusieurs méthodologies de test logiciel requises par DO-178C, y compris la couverture du code objet. L'exhaustivité de la solution de Parasoft se traduit par un effort d'apprentissage et de configuration réduit, dans lequel les développeurs n'ont pas à apprendre plusieurs outils et peuvent se concentrer sur leurs activités principales. Les intégrateurs d'outils ou les architectes en bénéficient également, ce qui permet de gagner du temps autrement nécessaire pour implémenter des interfaces entre les outils pour échanger des données ou générer des rapports uniformes.

Rapports avancés et
analytique

Le système sophistiqué de reporting et d'analyse de Parasoft s'intègre à l'ensemble de la boîte à outils de test pour une intégration des données à l'échelle de l'équipe, des rapports pratiques et des analyses avancées. Le Process Intelligence Engine de Parasoft regroupe les informations pertinentes provenant de différentes sources, telles que le code source, les systèmes de gestion des exigences, les outils de test et les ALM, pour fournir une analyse de données supérieure qui aide les équipes à concentrer leurs efforts de la manière la plus productive et à augmenter la productivité en surveillant les tendances du développement. traiter.

Kit de qualification dédié
pour DO-178C

Le test Parasoft C / C ++ est pris en charge avec un kit de qualification dédié DO-178C conforme aux spécifications standard pour le processus de qualification des outils. Au lieu de simplement fournir une assistance à la qualification sous la forme d'une collection de cas de test et de modèles pour les scripts et les rapports, qui nécessitent beaucoup de personnalisation, l'outil de support de qualification automatisé de Parasoft guide les utilisateurs à travers toutes les étapes nécessaires pour qualifier l'outil et automatise la majorité. du travail manuel fastidieux requis pour qualifier l'outil. Cela comprend l'exécution des cas de test à partir de la suite de tests exhaustive fournie ainsi que la génération des rapports finaux nécessaires pour documenter le processus de qualification.

stars

"Le test Parasoft C / C ++ est devenu la base d'une
développement de logiciels chez Schaeffler Technologies AG et a
facilitait un développement et une maintenance efficaces dans le temps
d'une portée et d'une complexité toujours croissantes. "

- Schaeffler Technologies SA