Contenu
Autour de Logiscope
Les consultants Kalimetrix ont acquis une expérience inégalée autour du produit d'évaluation de logiciels Logiscope tant au travers du developpement proprement dit de l'outil que de sa mise en oeuvre concrète dans le cadre de prestations d'audit de logiciels ou de la mise en place d'atelier de vérification de code source.
Depuis 2003, Kalimetrix assure la maintenance corrective et évolutive de Logiscope pour Telelogic AB.
Fort de cette expertise, Kalimetrix propose un ensemble de prestations et de formations visant à intégrer au mieux Logiscope dans les processus de revue, de vérification et validation ou de recette des logiciels de ses clients :
Prestations
- Support au déploiement de Logiscope
- Prise en main de Logiscope
- Développement de règles spécifiques pour RuleChecker
- Adaptation de TestChecker pour le test embarqué
- Adaptation des rapports HTML
- Plug-in Logiscope
Formations
- Formation "La vérification des logiciels avec Logiscope"
- Formation "Développement de règles pour RuleChecker"
Support au déploiement de Logiscope
Description
Cette prestation standard est destinée à garantir et accélérer le deploiement de l'outil Telelogic Logiscope au sein de votre organisation.
Programme
Dans sa version complète, cette prestation s'articule autour d'une démarche formelle en 10 étapes incluant :
- l'analyse d'applications logicielles représentatives des développements de l'organisation pour la création d'un premier référentiel ;
- le paramétrage de Logiscope :
- choix des métriques et seuils associés ;
- définition des catégories de composants selon leur complexité ;
- détermination du jeu de règles de codage applicables ;
- la spécification de l'intégration de Logiscope dans l'environnement de production ("makefile", ...) ;
- la production et la présentation formelle d'un premier rapport de vérification sur un cas concret ;
- la rédaction de "modules d'évaluation" : véritables procédures normalisées définissant précisément les "Qui-Quoi-Quand-Comment" de l'utilisation de Logiscope dans les processus de revue, de vérification, d'audit ou de recette ;
- une session d'une journée de formation d'un premier panel d'utilisateurs ;
- un support méthodologique dédié pendant une période préalablement fixée (environ 2 mois).
Tarifs
Dans sa version complète, le support au déploiement de Logiscope est proposé au tarif forfaitaire de 7500 Euros.
Ce tarif n'inclue pas les frais de déplacements sur le site du client.
Selon le contexte, Kalimetrix pourra proposer une version allégée adaptée à vos besoins en matière de déploiement de Logiscope au sein de votre organisation.
Prise en main de Logiscope
Description
Sous-ensemble du support au déploiement de Logiscope, le consultant Kalimetrix assiste un petit groupe d'utilisateurs lors d'un premier contact avec Logiscope. Il s'agit principalement de les guider au travers d'une première analyse d'applications logicielles, le diagnostic et la génération d'un rapport de vérification. Cette prestation peut s'inscrire dans le cadre d'une évaluation de Logiscope
Programme
- Installation du produit ;
- Analyse du code source d'une ou plusieurs applications logicielles représentatives ;
- Elaboration de diagnostics ;
- Présentation formelle des résultats d'analyse.
La présentation formelle des résultats d'analyse constitue un point clé. En effet, elle positionne clairement les techniques d'analyse supportées par Logiscope au regard des caractéristiques de qualité d'un logiciel. Illustrée d'exemples concrets issues des analyses préalablement menées sur le code source de l'organisation, elle constitue le plus souvent une véritable sensibilisation à la qualité des logiciels. Aussi, il est souhaitable que le plus grand nombre y assiste.
Tarifs
- 2 jours : 1550 Euros.
- 3 jours : 2300 Euros.
- 4 jours : 2900 Euros.
Ces tarifs n'incluent pas les frais de déplacement sur le site du client.
Développement de règles spécifiques pour RuleChecker
Description
Les règles vérifiées en standard par Logiscope RuleChecker ne couvrent pas l'intégralité de votre guide de programmation ADA, C, C++ ou Java.
Maitrisant parfaitement les modèles de données implementés dans Logiscope RuleChecker, les experts TCL et Perl de Kalimetrix sont les mieux placés pour développer raidement et à moindre coût de nouveaux scripts pour l'automatisation du contrôle de règles spécifiques.
Tarifs
Le coût du développement de scripts dépend de la nature des règles à vérifier. Un devis est établi sur une base forfaitaire après analyse du jeu de règles de codage concerné.
Adaptation de TestChecker pour le test embarqué
Description
Vous voulez vérifier et démontrer la complétude de votre plan de test en mesurant la couverture structurelle du code source. Mais votre environnement cible de test est très contraint (test embarqué, systeme temps réel, ...) et requiert probablement une adaptation de Logiscope TestChecker.
Nous disposons des meilleurs experts pour développer la bibliothèque de procédures de collecte des traces d'exécution des tests parfaitement adaptée à votre environnement de test et vous assister dans sa mise en oeuvre.
Tarifs
Le coût de l'adaptation dépend de la plateforme concernée. Un devis est établi sur une base forfaitaire.
Formation "La vérification de logiciels avec Logiscope"
Description
Cette formation standard introduit les concepts des techniques d'évaluation de la qualité des logiciels supportées par Logiscope et présente leur mise en oeuvre dans l'outil au travers de travaux pratiques réalisés sur des exemples concrets généralement issus d'applications logicielles de l'organisation des participants.
Au delà d'une simple présentation de Logiscope, cette formation rappelle le cadre méthodologique et normatif d'une évaluation de produit logiciel et permet aux participants de mieux situer Logiscope et la vérification du code source dans les différents processus de cycle de vie des logiciels
Programme
- Les caractéristiques de qualité d'un logiciel : introduction à la norme internationale ISO/CEI 9126-1 Modèle de qualité
- Le processus d'évaluation des Logiciels : introduction à la norme internationale ISO/CEI 14598
- Les techniques d'évaluation supportées par Logiscope :
- Analyse du couplage entre composants : concepts de graphe d'appel, graphe d'héritage, graphe de dépendances
- Analyse du flôt de contrôle : concept de graphe de contrôle
- Métriques du logiciel : concept de Modèle Qualité
- Vérification des règles de codage
- Mesure de la couverture structurelle des tests (optionel)
- Les différents outils Logiscope :
- Logiscope Studio
- Logiscope Viewer
- Logiscope TestChecker (optionel)
- Exercices d'application
Tarifs
- Formation 2 jours : 2500 Euros.
- Option TestChecker : 1 jour : 1000 Euros.
Ces tarifs n'incluent pas les frais de déplacement sur le site du client.
Formation "Développement de règles pour RuleChecker"
Description
Pour vérifier que votre standard de programmation est bien respecté, vous aurez besoin d'ajouter à l'ensemble des règles standard Ada, C, C++ ou Java vérifiées par 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.
Programme
Cette formation est organisée en module. 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 - Adaptation de Logiscope RuleChecker C++/Ada/Java
- Contenu: apprendre à paramétrer les règles standards du produit. Apprendre le modèle sousjascent 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 supllémentaire.
- M5 - 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 Telelogic.
- 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.
Prix
Le client construit le cours (liste des modules) qui répond le mieux à ses attentes.
Le prix d'une journée de cours est de 1000 Euros.
Exemple de cours:
- Développement de nouvelles règles de programmation pour les langages C++ et Java. Les modules requis sont M1 (1 jour) , M4 pour 2 langages (2,5 jours) et M5 (0,5 jour)
- 4 jours de formation = 4000 Euros
Ces tarifs n'incluent pas les frais de déplacement sur le site du client.
Le prix pour le module M6 dépend de l'accord passé entre Kalimetrix et le client.