Transcription

1 La société et son offre 26/09/2008 1

2 Table des matières Asetechs L offre Logiciels KRIS Code Reviewer : inspection des codes, détection des défauts et qualimétrie KRIS Code Normalizer : normalisation automatique des codes (transformations) KRIS REpository : référentiel d entreprise de cartographie, analyses d impacts, lotissement et métrologie Services Conseil Transfert de Compétence : Aide à la mise en place d un dun Processus automatisé de contrôle qualité des codes Audit Qualité des codes : possibilité d abonnement annuel sur volume (unité de production spécialisée) économie d échellle Développement d automates d analyse et transformations de codes sources sur mesure Annexes Asetechs:

3 Présentation d Asetechs Asetechs (Usa) et (France), sociétés de haute technologie Créées en 2001, sièges en Californie et en France. Un nom commercial unique : Asetechs Actionnariat (salarié) privé identique pour les 2 sociétés Issue d anciens chercheurs du Watson Research Center (Usa) et du GMD (De) Deux activités Travaux de R&D commencés dès 1985!!. Sans cesse depuis. Spécialisés en génération automatique de codes et en analyse sémantique Logiciels : Cartographie et Métrologie // Normalisation et Rénovation 47 langages analysés (ADA, Fortran, C/C++, Java, Cobol, PL/1, etc ) Suite de logiciels KRIS KRIS REpository, KRIS Code Reviewer, KRIS Code Normalizer (inclus Dead Code Cleaner et Dead Data Cleaner) KRIS Audit Expert Services : Conseil : assistance à la mise en œuvre d un processus qualité logiciel automatisé Audit : réalisation i d audits di qualimétriques i ponctuels ou sur abonnements Ingéniérie : développement d automates spécifiques Une clientèle composée exclusivement de grands comptes : Caisse Epargne (Arpège), Air France, AXA France, PMU, Y.Rocher, UBS, Dresdner Bank, Siemens, Alsthom, France Telecom, Burlington Coat Asetechs:

4 Les offres en 2008 Logiciels Services KRIS Code Reviewer/Normalizer : inspection de code pour Cobol/C/Sql/CICS/IMS et Java/J2EE et en complément Normalisation automatique. 2 Automates complémentaires de revue de codes sources, de capture de mesures qualité et inspection, de normalisation automatique Fonctions Vérification du respect des normes et standards de programmation Métriques d Inspection Génération de listings de diagnostic en mode unitaire (programme par programme pour le développeur) Peuplement de la base de connaissance en mode lot (métriques d inspection) KRIS REpository Base de Connaissances SGBDR du client (DB2, Oracle ou MySql) Langages supportés actuellement: Cobol-PL/1, Natural, Java/J2EE, C, CICS, IMS, JCL, SQL, et L4G etc.. Fonctions Extraire la connaissance du SI automatiquement Présenter et distribuer la connaissance de façon intelligible Analyse des cross-references : inventaires, classifications, cross-références Lotissement t technique, calcul l des interfaces de coexistence Analyse d impacts par propagation Analyse des résultats de l inspection de code (par lots) Mesures qualité et rapports divers (49 mesures qualité pour Cobol, 23 pour Java/J2EE) Maintenir la documentation à jour Prise en compte de tout dialecte client (adaptation) Exporter les données de la Base de Connaissance vers d autres référentiels du client KRIS Audit Expert Interface utilisateur d exploitation du contenu des base de connaissances (Application ou Applet Java) Macro-Langage pour produire les rapports, charts, graphes de son choix 200 requêtes et fonctions prédéfinies fournies en standards KRIS Repository Generator pour Cobol/Sql/Cics/Ims-DC/ims-DB/DL1/JCL/Par/BMS et pour Java/J2EE Analyseur Batch de codes sources et peuplement automatique de la base de connaissances pour Cross-References et Metriques Performances élevées é et utilisation robuste pour les grands volumes Audit Qualimétrie et Assistance à la construction de la solution Qualimétrie Automatisée Amélioration des performances et de la qualité : conseil et mise en place des contrôles adaptés Bilan de qualification : conseil et assistance à la mise en place des rapports attendus Règles et Normes spécifiques du client : Conseil et Développements nécessaires spécifiques Intégration au système de gestion des configuration logiciels du client Asetechs:

5 ANNEXES Asetechs:

6 KRIS Architecture Technique schémas Asetechs:

7 KRIS :Architecture Technique KRIS Code Reviewer maj QARP dans Tables Inspection du référentiel. Kris REpository MVS Linux Ou Unix Et KRIS Code Normalizer Référentiel d Entreprise SGDB Relationnel (DB2, Oracle ou MySql) Génération des listing/alertes Sous forme de PDS Linux Unix KRIS REpository Generator Générateur de Cartographie Disponible Sur Linux/Unix KRIS Query V3 Client du Référentiel Application (ou Applet) Java Fonctionne avec la VM Java. poste de travail Asetechs:

8 KRIS : architecture fonctionnelle code source : Cobol Copyboooks KRIS Code Reviewer/Normlizer Inspection des Codes Règles d Inspection Mesures Qualité et d Inspection Alertes et Seuils et Configurateur Analyse QARP Ecriture des résultats QARP dans Tables Inspection du référentiel. Affichage listing/alertes sur écran3270 développeurs Kris Repository Référentiel d Entreprise QARP et Cartographie (Modèle de Données fourni) code source : Cobol Copybooks JCL Parms SQL SqlParms CICS IMS IMS/DL1 BMS/MFS Etc KRIS Repository Generator Calcul de la cartographie et Peuplement Automatique du Référentiel Analyse Cartographique KRIS Query Client du Référentiel Avec 200 requêtes éditables et fonctions prédéfinies 1- Analyse des Cross References 2- Analyses d impacts par propagation 3- Lotissements techniques 4- Analyse des mesures Inspection des Codes 5- Analyse des mesures Qualité 6- Macro-Langage de développement de requêtes Asetechs:

9 KRIS : couverture par rapport au modèle Quality ISO/EC 9126 Suitability Accuracy Kris Code Reviewer QU UALITY ISO/EC Functionality Reliability Efficiency Maintainability Portability Security Interoperability Compliance Time Behavior Resource Behavior Compliance Adaptability Install-abilityability Co-existence Maturity Fault Tolerance Recoverability Compliance Analyzability Change-ability Stability Testability Compliance Règles d Inspection, 95 Pour Cobol 121 pour Java/J2EE Le corpus le plus complet et évolutif Kris Code Reviewer Cbl Cobol Qualité : 47 mesures Java/J2EE Qualité :23 mesures Usability Replace-ability Compliance Understandability Learn-ability Operability Kris Code Reviewer Cobol et Java/J2EE Complexity measures Attractiveness 6 facteurs Compliance 27 critères Quality & Rule Checking Asetechs:

10 KRIS CR Cobol : les 49 mesures qualité + disponibles en mars 08 Portability : Tab characters Portability : ALTER statements Portability : Identifier too long Portability : EXEC statements Portability : Nested copy files Reliability : Data element in main program file used but not set or initialized Reliability : Data element declared in copy file used but not set or initialized Reliability : File is opened, but never closed Reliability : Signed data used in operation expecting unsigned data Reliability : Numeric data used in operation expecting alphabetic data Reliability : Alphanumeric data used in operation expecting numeric data Reliability : Alphabetic data used in operation expecting numeric data Reliability : Alphanumeric data used in operation expecting alphabetic data Reliability : Data moved to lower-precision field Anomalies : Syntax error Anomalies : Parse repair Anomalies : Ambiguous data name Anomalies : Reference to undeclared data element Anomalies : Multiply-declared py data element Anomalies : Rename of later data element Anomalies : Data element has both picture clause and subentries Anomalies : Unnamed data element with neither children nor PIC clause Anomalies : Ambiguous procedure name Anomalies : Reference to undefined paragraph or section name Anomalies : ALTER statements not analyzed Maintainability : Initialized linkage section data element declared in main program file Maintainability : Initialized linkage section data element declared in copy file Maintainability : Data element declared in main program file neither set nor used Maintainability i : Data element declared d in a copy file is neither set nor used Maintainability : Data element declared in main program file set but not used Maintainability : Data element declared in a copy file is set but not used Maintainability : Declared condition name in main program file is not used Maintainability : Declared condition name in a copy file is not used Maintainability : Literal in procedure division Maintainability : Unused file Maintainability : Paragraph contains no statements Maintainability : Section contains no paragraphs Maintainability : Perform range uses inconsistent aliases Maintainability : Overlapping perform ranges Maintainability : Unreachable paragraph Maintainability : Perform range end precedes beginning Maintainability : GOTO jumps out of perform range Maintainability : GOTO jumps into perform range Maintainability : Perform range has beginning and ending paragraphs in different sections Maintainability : Backward GOTO Maintainability : Forward GOTO Maintainability : Control can fall through to the next paragraph Test-ability : Cyclomatic complexity (McCabe specification procedure level) Test-ability : Cyclomatic complexity (program average) Dead Components Accounting Dead Code Dead Data Useless Copybooks Various accounting Number of Line of Code, Blank lines, Comments, Statements in comments etc.. Number of certain Programming Patterns (to be modelized) Etc Asetechs:

11 KRIS CR Java : mesures qualité disponibles en mars 2008 Lines of Code (LOC): Total lines of code in the selected scope. Only counts non-blank and non-comment lines inside method bodies. Number of Static Methods (NSM): Total number of static methods in the selected scope. Afferent Coupling (CA):The number of classes outside a package that t depend d on classes inside id the package. Normalized Distance (RMD): RMA + RMI - 1, this number should be small, close to zero for good packaging design. Number of Classes (NOC): Total number of classes in the selected scope Specialization Index (SIX): Average of the specialization index, defined as NORM * DIT / NOM. This is a class level metric Instability (RMI): CE / (CA + CE) Number of Attributes (NOF): Total number of attributes in the selected scope. Number of Packages (NOP): Total number of packages in the selected scope. Method Lines of Code (MLOC): Total number of lines of code inside method bodies, excluding blank lines and comments. Weighted Methods per Class (WMC): Sum of the McCabe Cyclomatic Complexity for all methods in a class. Number of Overridden Methods (NORM):Total number of methods in the selected scope that are overridden from an ancestor class. Number of Static Attributes (NSF): Total number of static attributes in the selected scope. Nested Block Depth (NBD): The depth of nested blocks of code. Number of Methods (NOM): Total number of methods defined in the selected scope. Lack of Cohesion of Methods (LCOM): A measure for the Cohesiveness of a class. Calculated with the Henderson-Sellers method: If m(a) is the number of methods accessing an attribute A, calculate the average of m(a) for all attributes, subtract the number of methods m and divide the result by (1-m). A low value indicates a cohesive class and a value close to 1 indicates a lack of cohesion and suggests the class might better be split into a number of (sub)classes. McCabe Cyclomatic Complexity y( (VG): Counts the number of flows through a piece of code. Each time a branch occurs (if, for, while, do, case, catch and the?: ternary operator, as well as the && and conditional logic operators in expressions) this metric is incremented by one. Calculated for methods only. For a full treatment of this metric see McCabe. Number of Parameters (PAR): Total number of parameters in the selected scope. Abstractness (RMA): The number of abstract classes (and interfaces) divided by the total number of types in a package. Number of Interfaces (NOI): Total number of interfaces in the selected scope. Efferent Coupling (CE): The number of classes inside a package that depend on classes outside the package. Number of Children (NSC): Total number of direct subclasses of a class. Depth of Inheritance Tree (DIT): Distance from class Object in inheritance hierarchy. Asetechs:

12 KRIS CR Java : règles d inspection disponibles en mars 2008 par catégories Les catégories suivantes sont décrites en détail dans les slides suivants. Finalizer Rules: These rules deal with different problems that can occur with finalizers. Basic JSP rules: Rules concerning basic JSP guidelines. Basic JSF rules: Rules concerning basic JSF guidelines. Unused Code Rules: The Unused Code Ruleset contains a collection of rules that find unused code. Controversial Rules: The Controversial Ruleset contains rules that, for whatever reason, are considered controversial. Coupling Rules: These are rules which find instances of high or inappropriate coupling between objects and packages. Optimization Rules: These rules deal with different optimizations that generally apply to performance best practices. J2EE Rules: Basic Rules: The Basic Ruleset contains a collection of good practices which everyone should follow. Design Rules: The Design Ruleset contains a collection of rules that find questionable designs. Security Code Guidelines: These rules check the security guidelines from Sun, published at Strict Exception Rules: These rules provide some strict guidelines about throwing and catching exceptions. JavaBean Rules: The JavaBeans Ruleset catches instances of bean rules not being followed. Type Resolution Rules: These are rules which resolve java Class files for comparisson, as opposed to a String String and StringBuffer Rules: These rules deal with different problems that can occur with manipulation of the class String or StringBuffer. Code Size Rules: The Code Size Ruleset contains a collection of rules that find code size related problems. Import Statement Rules: These rules deal with different problems that can occur with a class' import statements. Clone Implementation Rules: The Clone Implementation ruleset contains a collection of rules that find questionable usages of the clone() method. Jakarta Commons Logging Rules: The Jakarta Commons Logging ruleset contains a collection of rules that find questionable usages of that framework. Naming Rules: The Naming Ruleset contains a collection of rules about names - too long, too short, and so forth. JUnit Rules: These rules deal with different problems that can occur with JUnit tests. Java Logging Rules: The Java Logging ruleset contains a collection of rules that find questionable usages of the logger. Braces Rules: The Braces Ruleset contains a collection of braces rules. KRIS CodeReviewer pour Java/J2EE, assure l historisation de ces règles d inspection dans le Référentiel d entreprise (identique pour les langages Legacy) KRIS CodeReviewer pour Java/J2EE, classe ces règles par sévérité, par catégorie (identique pour les langages Legacy) KRIS CodeReviewer pour Java/J2EE, calcule des mesures d inspection permettant de classer rapidement les composants et les applications (identique pour les langages Legacy) KRIS QUERY V3, avec l option JAVA/J2EE, est augmenté de requêtes spécifiques (même architecture). Asetechs:

13 KRIS Code Reviewer Description des Fonctionnalités Asetechs:

14 Caractéristiques générales de KRIS Code Reviewer / Normalizer Fonctions Vérification du respect des normes et standards de programmation Evaluation de la maintenabilité, Conseil/config Mesures d inspection et mesures Qualité Normalisation automatique possible (pour certaines règles d inspection, 60% environ) Fourniture de tableaux de bord Conseil/config Bilan de qualification n/a sur commande Périmètre COBOL (7 dialectes), COBOL/CICS, COBOL/IMS, COBOL/SQL. JCL avec résolution dynamique des références REXX Assembleur, Clist Java/J2EE SAS, Peoplesoft, Siebel C, C/CICS, C/SQL C++, Pacbase (macros). Mise en œuvre et exploitation Sous IBM z/os ou Unix ou Windows. Asetechs:

15 KRIS Code Reviewer: Cobol et Java Le Code Reviewer permet de contrôler le respect des normes de programmation sur la base des règles du client et de normes standards: Fonctionnalités : traitement en mode lot pour valider la conformité d un lot de programmes, d une application traitement en mode unitaire en phase de précompilation plus de 95 règles d inpection disponibles ibl et 49 mesures qualité pour Cobol plus de 121 règles d inspection disponibles et 23 mesures qualité pour Java possibilité de paramétrer ou ajouter de nombreuses règles possibilité d activer ou de désactiver le contrôle de telle ou telle règle possibilité d associer un niveau de sévérité donné à chaque règle Alertes et gestion de seuils génération de mesures d Inspection de synthèse par lots. A la vitesse d un compilateur! D autres langages pouvant être supportés : C, PL/1, Natural, Fortran, ADA etc Asetechs:

16 Avantages de la solution KRIS Prise en compte automatique, des mises à jour des sources sur le mainframe avec la périodicité souhaitée Solution Les analyses des composants sont basées sur une technologie de compilateurs: elle permet les redocumentations, les analyses sémantiques et les transformations les plus complexes Les analyses sont rapides, complètes, robustes et fiables ROBUSTE Solution COMPLETE Tous les composants du système d information peuvent être pris en compte Inputs : Jcls, Pgm Cobol, PL/1, C, Java, Natural, BDD, CICS etc tous les dialectes Outputs : exportation des résultats dans tous les formats (selon contexte client) Solution EVOLUTIVE Les analyseurs de composants sont adaptables aux spécificités propres à chaque client (dialectes maison ) Chaque composant de la solution peut évoluer à son rythme Solution FACILE Consultation des bases de connaissances à l aide de browsers et d «applets» permettant un déploiement facile et peu coûteux. génération automatiquement de rapports édition facile et assistée de requêtes Asetechs:

17 Fonctionnalités de KRIS-RE à travers l interface html (optionnel, toutes les informations présentées ci-après sont contenues dans le référentiel seule la présentation diffère) Asetechs:

18 Fonctionnalités KRIS-RE : rapports hypertextes générés automatiquement Aide en ligne Accès à des rapports standard Requêteur en ligne Outil de recherche e c e de composants Accès spécialisés pour la maintenance Accès lotissement Accès via l organisation fonctionnelle des composants Asetechs:

19 Recherche d un composant Recherche d un composant : Recherche avec joker avec ou sans précision de la nature du composant recherché Recherche d une chaîne : Possibilité de recherche h une chaîne de caractères dans tous les composants de la base ou dans un groupe de composants (techniques ou fonctionnels) Asetechs:

20 Exemple de rapports générés automatiquement Aux formats choisis par le client Inventaires : Inventaire des types de composants Liste de tous les composants Liste des composants orphelins ou manquants Métriques Références croisées et dépendances systèmes: Liste des «copy» utilisées par les programmes Liste des programmes utilisant une «copy» Liste des composants utilisées par programme Liste des ressources utilisées (fichiers, tables, ) par programme avec leur mode d accès (CRUD) Description des transactions Asetechs:

21 Analyses d impacts interactives par problème Analyse des accès aux fichiers Quels programmes utilisent un fichier donné? Quels fichiers un programme utilise-t-il et comment? Analyse des Transactions Quelle est la structure cinématique de telle transaction? Quels sont les programmes présents dans une transaction? Représentation graphique de la transaction Analyse des Batches Quelle est la structure de tel Jcl? Quels sont les programmes et les fichiers physiques utilisés dans un Jcl? Représentation graphique du Jcl Asetechs:

22 Analyses d impacts par Type de problème (suite) Relations inter-programmes Quels programmes utilisent quels sous-programmes? Quels sont les sous programmes de tel programme? Analyse des Données Quelles sont les données utilisées par tel programmes? Et comment? Analyse des Bases de Données Quelles sont les définitions des différents composants DB2? Comment sont-ils utilisés par les programmes? Métriques Quelles sont les métriques associées à un programme ou un groupe programmes? Métriques élémentaires Métriques de complexité Etc.. Asetechs:

23 Accès direct à un composant Asetechs:

24 Description d un programme Jcls, Pgms, Transactions appelant ce pgm Vues complémentaires du pgm Classification du pgm Accès aux bases de données manipulées par ce pgm Copybooks utilisées par ce pgm Fichiers manipulés par ce pgm Pgms, Transactions appelés par ce pgm Asetechs:

25 KRIS-RE Présentation des vues complémentaires sur le composant Asetechs:

26 Graphe d appel des sous-programmes Asetechs:

27 Graphe d appels des procédures Asetechs:

28 Control Flow Asetechs:

29 Exemple de «Program Control Flow» Asetechs:

30 Métriques Définition de la métrique Valeurs des métriques calculées pour le pgm Ex : 27 cas d affectation de données avec perte de précision Asetechs:

31 Complexités cyclomatiques Asetechs:

32 Métriques - Détail Liste des 27 cas d affectation de données avec perte de précision L instruction en cause est accessible en cliquant sur le n de ligne Asetechs:

33 KRIS-RE: Accès «spécialisés» Asetechs:

34 Accès «spécialisés» Ces accès permettent de répondre aux questions les plus courantes File Analysis : Quels programmes utilisent un fichier donné? Quels fichiers tel programme utilise-t-il t et comment? Transaction Analysis Quelle est la structure de telle ou telle transaction? Quels sont les programmes présents dans une transaction? Représentation graphique de la transaction Jcl Analysis Quelle est la structure de tel ou tel Jcl? Quels sont les programmes et les fichiers physiques utilisés dans un Jl? Jcl Représentation graphique du Jcl Asetechs:

35 File Analysis Liste des Fichiers utilisés Où sont faites les manipulations? Manipulation : lecture ou écriture? Quels sont les fichiers manipulés par un programme? Comment sont manipulés les fichiers? en lecture, en écriture? Quelles sont les structures de données utilisées pour ces fichiers? A quelles lignes du programme ces manipulations sont-elles faites? Asetechs:

36 JCL Analysis Liste des Steps Quelles sont les différentes étapes du Jcl? Quels sont les programmes lancés? Quels sont les fichiers physiques utilisés? Quelles sont les dépendances entre chaque steps? Asetechs:

37 JCL Analysis Vue Graphique Asetechs:

38 Accès «spécialisés» - suite Inter-program relation analysis Quels programmes utilisent tel ou tel sous programme? Quels sont les sous programmes de tel ou tel programme? Data Analysis Quelles sont les données utilisées par tel ou tel programmes? Et comment? Database Analysis Quelles sont les définitions des différents composants DB2 et comment sont-ils utilisés dans les programmes? Metrics Quelles sont les métriques associées à un programme ou un groupe programmes? Asetechs:

39 Inter-Program relation Analysis Où sont faites les manipulations? Appel dynamique via la variable #DCVMV10 Appel via le lanceur MZ0W03 Liste des paramètres Inter-program relation analysis Quels sont les programmes appelés directement (call ) ou via les lanceurs spécifiques (MZ0V03, RVSILIS, RVSNATBA, RVSPBT01 ) Quels les paramètres utilisés pour chaque appel? A quelles lignes du programme sont effectués ces appels? Asetechs:

40 Data Analysis Usage Data use analysis Où est utilisée la donnée W-ATTENTE-TRAIT dans le programme BAV11300? Comment est-elle elle utilisée (lecture, mise à jour )? N ligne Asetechs:

41 Database Analysis DB2 Structure Database analysis DB2 Structure Quelles sont les colonnes de la table TAVAG03? Quels sont les formats de ces colonnes? Asetechs:

42 Database Analysis DB2 SQL Database analysis DB2 SQL Quels sont les programmes qui manipulent la table TAVAG03? Comment est-elle utilisée (lecture, mise à jour, création, suppression )? Quelles sont les colonnes utilisées? Asetechs:

43 Road Map Asetechs:

44 Plan d évolution de KRIS CR-CN en 2008 et après En 2008, support des standards : OMG CWM 1.1 CWM = Common Warehouse MetaModel specification OMG KDM 1.1 KDM = Knowledge Discovery Metamodel specification Objectif : To interchange Data Warehouse MetaModels Permettre le peuplement des référentiels d entreprise à partir des données issues de l inspection des codes Enrichissement du patrimoine de l entreprise KRIS devient un extractor Extractor = agent intelligent d extraction de connaissance En 2008/06: cobol, copybooks, jcl, psb, dbd, inventory OPERATIONNELS au standards: XMI 21 / CWM 1.1 / KDM 1.1 Asetechs:

45 Compléments Asetechs:

46 Syntax An nalyzer AST Con nstructor Architecture des automates Asetechs Program Reverse Engineering Functions Sources codes Source Code or Reports in any formats Lexical Analyzer Type checker Name analysis Semantic Analyzer Semantic Attri ibuted Tree Tree Pattern Matching Attributed Grammar Parser/Tree sub-system Reader Writers... IRP Manipulation Interface (in C) Pattern Definition Language Internal Permanent Representation TKB Control Flow Graph Control Flow Analysis Data Flow Analysis Constants Propagation Program Restructuration Functions System Redocumentation Functions Transaction analysis Batch analysis DB analysis Files Analysis Calls Analysis Data Analysis Metrics Analysis Attributed Tree Enhanced Analyzer/Co ode Translato or i.e.; html, xml/dtd-xmi, graphics, excel, etc Publisher Customers Plans Analysis Asetechs:

47 Processus de Rénovation et automatismes Asetechs Analyze the legacy system DOCUMENT Re-documentation automata Application Management / Ch hange Manageme ent Supportive Ta sks Classify Data Reconstruct documentations DOCUMENT Measure Quality and Process Re-Design Data Restore Legacy Components Re-documentation automata Equivalence Tests Migrate Data DATA Data Migration automata TESTS Components Inspection / Normalisation Reviewer/Normalizer automata Reengineering Procedures Equivalence Tests Empty/Remove Residual Coexistance Data Bases Clean Meta-Data PROGRAMS PROCEDURES Transformational automata DATA TESTS Asetechs:

48 Références Asetechs:

49 Références Asetechs Arpège (Caisse Epargne) (2006): PacBase/Cobol, Re-documentation et Analyses d Impacts Code Caisse BNP Assurances (2006), Cobol/Nomad Re-documentation et Analyses d Impacts Données à Risques Air France (2003 et 2004): Kris-Re, Kris-Lotissement, Kris-Métriques, automates de rénovation Yves Rocher (2003): automates de transformation de zones par expansion PMU ( ): Kris Code Reviewer pour Cobol et C, Kris Normalizer avec Dead Code/Data Cleaner CIBC (Canadian Imperial Bank of Commerce), (2002): Automate génération de jeux d essais Union des Banques Suisses ( ): 2005) automates t de migration Unisys vers IBM Dresdner Bank (depuis 2001): automates de re-documentation, de transformations AXA France ( ): automates de re-documentation, de transformations An2000 et Euro France Télécom: ( ): automates de transformations An2000 Burlington Coat : migration Mainframe vers architecure Unix/Oracle/Tuxedo/C-SQL-Perl Et diverses références dans l industrie: Alsthom: générateur de compilateurs et parsers/trees (atelier) Siemens: générateur de compilateurs et parsers/trees (atelier) Télélogic: générateur de compilateurs et parsers/trees (atelier) Etc Asetechs: