Formation outils LDRA Partie statique


Formation outils LDRA Partie statique
  • Référence : 2.01.04.0010 (Intra-entreprise)
  • Durée : 2 jours

Mise en œuvre de la suite d’outils LDRA – Partie Statique

La vérification et la validation d'un logiciel représentent une des phases la plus importante du cycle de développement d’un logiciel. Définir une stratégie de revue de code, de test et de validation est la garantie d’une amélioration de la qualité des logiciels.


Objectifs de la formation

La vérification et la validation d'un logiciel représentent une des phases la plus importante du cycle de développement d’un logiciel. Définir une stratégie de revue de code, de test et de validation est la garantie d’une amélioration de la qualité des logiciels. Cette formation permet de mettre en œuvre différentes techniques de vérification à appliquer en fonction du processus et des caractéristiques du projet.

Au travers de cette formation, vous apprendrez :
  • Connaissance du vocabulaire associé au cycle de vérification & validation de logiciels.
  • Méthodologie de vérification :
  • Revue de codage
  • Revue de métrologie
  • Revue de conception

Durée de la formation

Public concerné

Prérequis

2 jours (14 heures)
Chefs de projet, Ingénieurs de développement, Ingénieurs de test, ...
La connaissance du langage C, C++, Ada ou Java (suivant le code client) est souhaitable pour suivre les ateliers.

Contact Service formation

Email : formation@isit.fr
Tél : 05 61 30 69 08

« Enregistré sous le numéro 73 31 04675 31. Cet enregistrement ne vaut pas agrément de l’Etat » Art.L6352-12 du Code du travail Circ. N°2006-10 du 16/03/06
I.S.I.T. est référencée au DATADOCK depuis le 28 juin 2017.

Formations associées

Analyse statique syntaxique de code LDRA TBvision Static / LDRArules

LDRA_static

L'analyse statique de LDRA TBvision Static (intégré à la LDRA tool suite®) et de LDRArules (outil stand-alone) permet de s'assurer qu'un ensemble de règles de codage et de normes de programmation uniformes est appliqué, que le code source C/C++/Java/Ada est correctement structuré, et enfin que  la qualité du logiciel est suffisante, au travers de mesures de la clarté, maintenabilité, testabilité, complexité du code source… LDRA TBvision Static  / LDRArules permettent donc de garantir un meilleur niveau de qualité du code sans impacter le temps de développement.


En savoir +

Outil d’automatisation de tests unitaires et d’intégration LDRA TBrun / LDRAunit

TBrun_LDRA

L’outil LDRA TBrun intégré à la suite d’outils LDRA, ainsi que l’outil stand-alone LDRAunit, bénéficient de l’analyse statique LDRA (analyse des appels de fonctions et du flux de données) permettant d’extraire les informations pertinentes à la création automatique de harnais de tests. Pour chaque test unitaire, TBrun/LDRAunit se charge d’indiquer les variables d’entrées, de sorties, les variables globales et pointeurs utilisés, et les fonctions à bouchonner ; ainsi, les testeurs n’ont plus qu’à indiquer les valeurs d’entrées souhaitées et de sorties attendues !


En savoir +

Formation outils LDRA - Version complète

Formation outils LDRA Version complète

La vérification et la validation d'un logiciel représentent une des phases la plus importante du cycle de développement d’un logiciel. Définir une stratégie de revue de code, de test et de validation est la garantie d’une amélioration de la qualité des logiciels.

 


En savoir +