Pour vérifier que votre standard de programmation est bien respecté, vous aurez besoin d'ajouter à l'ensemble des règles standard Ada, C++ ou Java 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 - Adaptation de Logiscope RuleChecker C++/Ada/Java
- Contenu: apprendre à paramétrer les règles standards du produit. Apprendre le modèle sous-jascent du vérificateur Tcl, apprendre à l'utiliser pour développer de nouvelles règles.
- Durée: 2 jours, dont 1 jour d'exercices (pour un des langages C++ ou Ada ou Java) + 0,5 jour pour chaque langage supplémentaire.
M3 - 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.
M4 - 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.
