Ouvrir le menu Fermer le menu

Faciliter le test logiciel des systèmes modulaires complexes

trait de séparation
Temps de lecture : 5 minutes

L'intégration LDRA-YOCTO permet aux développeurs d’applications embarquées de passer à travers des couches d'abstraction dans des systèmes complexes pour extraire ce dont ils ont besoin pour l'analyse statique et dynamique et les tests unitaires.
LDRA a annoncé en Novembre dernier son partenariat avec Yocto, un projet collaboratif qui permet aux développeurs de s'appuyer sur des outils open source pour créer des systèmes embarqués complexes. Tirant parti de la fonction « Build import » de la suite d'outils LDRA, les développeurs d’applications embarquées utilisant Yocto peuvent dorénavant, grâce à cette fonctionnalité, passer très simplement à travers des couches d'abstraction dans des systèmes de build complexes pour en extraire rapidement les informations dont ils ont besoin pour configurer automatiquement l'analyse statique et dynamique, ainsi que de test unitaire dans la suite LDRA.
L'objectif de Yocto d'unifier et d'améliorer les pratiques logicielles dans les systèmes embarqués open source, est fortement complété par l'objectif de LDRA de faciliter la conception modulaire grâce à la réutilisation des composants dans des systèmes critiques pour la sécurité. Les constructeurs automobiles qui utilisent déjà cette fonction de LDRA pour tester les systèmes d’info-divertissement, les airbags et les ABS ont augmenté la sécurité de ces systèmes basés sur Yocto et notamment dans les projets de véhicules autonomes.

« Alors que les projets embarqués ont évolué vers des systèmes informatiques complexes qui s’appuie pour beaucoup sur l’intégration de modules différents et indépendants et qui entrainent que les exigences en matière de sûreté, de sécurité et de qualité deviennent de plus en plus difficiles à vérifier », a déclaré Ian Hennell, directeur des opérations, LDRA. « Personne ne peut savoir exactement comment chaque module est construit, ni comment le code interagit entre les modules. Notre fonction « Build Import » de LDRA permet de connaitre e comment le code est réellement implémenter par le compilateur, permettant de connaitre les informations exactes et nécessaires pour la conformité vis-à-vis des normes et la certification des applications. »

La fonction « Build Import » permet de garantir des logiciels « haute-fidélité »

Natif pour Linux, Windows et MacOS, cette nouvelle fonction « Build Import » de LDRA est une API entièrement configurable, ce qui facilite sa personnalisation. Utilisée en combinaison avec la suite d'outils LDRA, les utilisateurs peuvent passer directement à l'analyse statique et aux tests unitaires de leur application. Historiquement, les applications telles que les systèmes de freinage ABS étaient intégrées dans un microcontrôleur spécifique, développées et testées indépendamment du reste du système. Les systèmes automobiles, cependant, suivent la tendance de l’avionique et adopte l’architecture IMA (Integrated Modular Avionics ou Avionique Modulaire Intégrée), et l’intégration d’un contrôleur est désormais un module logiciel intégré à un système plus vaste. Lorsqu'il s'agit de tests de sécurité fonctionnelle dans cet environnement, la capacité à décomposer le système et à comprendre chaque module est essentielle, d'autant plus que des outils comme Yocto - tout en aidant à organiser structurellement un système - créent un manque de transparence qui augmente la complexité. Grâce au « Build Import » l'équipe de test a toujours à disposition « un expert en build » afin d’avoir les informations nécessaires pour la création des cas de test de sécurité adaptés.

Pour certifier correctement les systèmes complexes selon la norme ferroviaire CEI TC 9 , la norme automobile ISO 26262 ou encore la DO-178C pour l’avionique, normes pour lesquelles l’analyse statique, l’analyse dynamique rigoureuse et des tests unitaires sont obligatoires, les développeurs doivent être en mesure d'analyser pleinement comment les modules et les systèmes individuels sont réellement implémentés. Le « Build Import » de LDRA intégré à Yocto montre la puissance et la flexibilité offertes par la méthodologie d'importation automatique de build.

La suite d'outils LDRA reflète les meilleures pratiques de l'industrie

La suite d'outils LDRA aide les développeurs à intégrer la qualité dans le cycle de vie de leur développement logiciel. Il s'agit d'une suite d'outils de conformité, de test et de vérification vis-à-vis des normes logicielles et qui reflètent les meilleures pratiques de l'industrie pour faciliter le développement des systèmes critiques en matière de sûreté et de sécurité. Sa plate-forme ouverte et customisable est unique dans son intégration de la traçabilité du cycle de vie des logiciels, de l'analyse statique, de l’analyse dynamique et des tests unitaires.

Des informations supplémentaires sur la manière dont LDRA aide les équipes de développement de logiciels à intégrer la sécurité dans leurs systèmes sont disponibles sur https://ldra.com/automotive/  ou https://ldra.com/aerospace-defence/
0