Webinaire en vedette : Dévoilement de Parasoft C/C++test CT pour l'excellence en matière de tests continus et de conformité | Voir le séminaire

Image d'un gros avion montant vers le coucher du soleil

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é

Suivre toutes les recommandations des normes réglementaires nécessite un cadre composé de plusieurs outils logiciels capables d'é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 prend un temps précieux qui pourrait être consacré au développement de produits de base, les organisations peuvent tirer parti des outils unifiés de Parasoft C/C++test et C/C++test CT, qui sont construits en gardant à l’esprit une vision plus large. Les solutions de tests Parasoft C/C++ sont prêtes à être déployées dans les projets les plus complexes.

Les solutions de Parasoft pour l'aviation civile

La conformité des logiciels pour les avions commence par les normes et les meilleures pratiques d'ingénierie logicielle, complétées par les spécifications de certification des avions. Parasoft C/C++test et C/C++test CT pour le développement et les tests C et C++ prennent en charge un large éventail de bonnes pratiques qui ont fait leurs preuves pour améliorer la sécurité et la fiabilité des logiciels dans l'avionique.

Les solutions de test Parasoft C/C++ automatisent l'analyse statique C et C++ et les tests unitaires/composants sur l'hôte et la cible avec une couverture complète du code 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, Parasoft C/C++test et C/C++test CT satisfont à plusieurs méthodologies de test logiciel requises par DO-178C, y compris la couverture du code objet. L'exhaustivité de la solution Parasoft se traduit par un effort d'apprentissage et de configuration réduit, dans lequel les développeurs n'ont pas besoin d'apprendre plusieurs outils et peuvent se concentrer sur leurs activités principales. Les intégrateurs ou architectes d'outils en bénéficient également, car ils gagnent du temps autrement nécessaire pour mettre en œuvre des interfaces entre les outils afin d'échanger des données ou de 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 qui est 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 automatisé d'assistance à la qualification de Parasoft guide les utilisateurs à travers toutes les étapes nécessaires pour qualifier l'outil et automatise la majorité. du travail manuel fastidieux nécessaire à la qualification de 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 requis pour documenter le processus de qualification. Le kit de qualification de Parasoft C/C++test CT est en cours de développement.

Vent d'avion sur fond de ciel au lever du soleil.
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