Découvrez quelle solution de test API est arrivée en tête dans le rapport GigaOm Radar. Obtenez votre rapport d'analyse gratuit >>

Découvrez quelle solution de test API est arrivée en tête dans le rapport GigaOm Radar. Obtenez votre rapport d'analyse gratuit >>
Aviation civile
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.
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é.
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.
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.
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++.
Réduisez le coût de développement de logiciels de haute qualité, sans sacrifier le temps de mise sur le marché.
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.
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.
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.
« Le test Parasoft C/C++ est devenu la base d'un test axé sur la sécurité
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
Atteignez à chaque fois vos objectifs en matière de qualité, de sûreté et de sécurité de vos logiciels.