Pour vérifier que votre standard de programmation est bien respecté, vous aurez besoin d'ajouter à l'ensemble des règles standard C vérifiées par IBM®Rational®Logiscope RuleChecker vos propres règles de programmation.
Cette formation vous aidera à démarrer le développement de nouvelles règles de programmation pour automatiser la vérification de vos standards de programmation.
Cette formation est organisée en modules. Les modules suivants sont disponibles :
M1 - Langage Tcl.
- Ce module est commun à tous les langages (C/C++/Ada/Java) pour le développement de règles utilisant le langage Tcl.
- Contenu: Bases du langage Tcl.
- Durée: 1 jour, dont 0,5 jour d'exercices.
M2 - Langage Perl.
- Ce module n'est requis que pour RuleChecker C.
- Contenu: Bases du langage Perl.
- Durée: 1 jour, dont 0,5 jour d'exrcices.
M3 - Adaptation de Logiscope RuleChecker C
- Contenu: Apprendre le modèle sousjascent du vérificateur Tcl, apprendre à l'utiliser pour développer de nouvelles règles, apprendre à utiliser le vérificateur Perl pour développer de nouvelles règles.
- Durée: 3 jours, dont 1,5 jours d'exercices.
M4 - Méthodologie de développement de règles.
- Contenu: Comment passer des exigences (le text de la règle) à une spécification automatiquement vérifiable avec l'outil. Comment choisir la technique à utiliser pour la vérification (Tcl, Perl, autre). Trouver le bon compromis entre précision des résultats et performance de la règle (utilisation mémoire, temps d'exécution). Exercices pratiques sur un exemple de règle du client.
- Durée: 0,5 jour.
M6 - Support à l'écriture de règles.
- Contenu: L'objectif de ce module est de fournir un support (par e-mail) pour aider les utilisateurs à faire leurs premiers pas dans le développement de règles.
- Note: Ce type de support n'est pas fourni par la hot-line IBM.
- Durée: La durée de ce module est défine au cas par cas en accord avec le client, elle dépend des besoins du client.
