Assurance qualité Logiciel

ChapeauxAQL

Notre offre Assurance Qualité Logiciel

Le département Assurance Qualité Logiciel accompagne ses clients dans leur démarche de perfectionnement de leurs méthodologies de développement, d’amélioration de la qualité, de la sûreté et de la cybersécurité de leurs logiciels, ainsi que dans leur réponse aux exigences des normes de sûreté de fonctionnement électronique et logiciel (DO-178, DO-254, IEC 61508, IEC 62304 / IEC 82304, ISO 26262, EN 50128, …).

Véritable spécificité de l’approche ISIT, le département Assurance Qualité Logiciel  combine une offre intégrée d’outils et de services :
Outils Assurance Qualité Logiciel :
Services Assurance Qualité Logiciel :
Retrouvez le détail de notre offre Assurance Qualité Logiciel :

Analyse Statique de code

L’analyse statique de code est une technique de test indispensable à toute stratégie d’Assurance Qualité Logiciel. Elle permet l’étude d’un code source ou binaire sans l’exécuter, en analysant rapidement et automatiquement son contenu par rapport à des règles ou des propriétés précises. Dans la BU d’Assurance Qualité Logiciel, nous distinguons deux types d’outils d’analyse statique de code :
• L’outil d’analyses statiques syntaxiques comme LDRA TBvision Statique / LDRArules , permettant la vérification de règles de codage et de métriques qualité
• Les outils d’analyses statiques avancés comme CodeSonar de GrammaTech , assurant la détection de bugs, d’erreurs « Runtime » et de vulnérabilités logicielles.

Couverture de code, Analyse dynamique

L’analyse dynamique d’un logiciel permet de le tester en l’exécutant, que ce soit en simulation ou sur la machine cible. Au-delà des simples tests fonctionnels, l’analyse dynamique est aussi utilisée pour mesurer la couverture structurelle des tests, c’est-à-dire le pourcentage de code source (ou binaire) réellement exécuté par les tests, déterminé au travers d’un outil comme LDRA TBvision Dynamique / LDRAcover.

Tests Unitaires et d'Intégration

Les Tests Unitaires (test d’une seule fonction de code séparée du reste de l’application) et les Tests d’Intégration (test d’un module logiciel) sont des étapes essentielles dans un cycle de développement logiciel. L’outil LDRA TBrun génère automatiquement les harnais de tests (code source complémentaire pour le test), permettant une économie significative.

Gestion, traçabilité et suivi des exigences

• La gestion des exigences a pour but de hiérarchiser l’ensemble des éléments ou besoins d’un projet (les « exigences »), notamment au travers des différentes étapes d’un cycle de vie produit.
• La traçabilité des exigences permet ensuite de créer un lien entre plusieurs exigences de différentes étapes du cycle, afin de s’assurer que l’ensemble des fonctionnalités du projet ont bien été implémentées et testées, ainsi que pour automatiser les analyses d’impacts d’un changement.
Dans la BU d’Assurance Qualité Logiciel, deux types d’outils permettent d’automatiser la vérification de la traçabilité des exigences : les outils centralisés de gestion des exigences et d’analyse de leur qualité, comme Visure.