Retour d expérience de la mise en œuvre d une démarche MBT : Vérification d une bibliothèque cryptographique logicielle
|
|
- Clotilde Ratté
- il y a 6 ans
- Total affichages :
Transcription
1 Retour d expérience de la mise en œuvre d une démarche MBT : Vérification d une bibliothèque cryptographique logicielle Jean-François CAPURON département «Analyse et Développement de Logiciels de sécurité» 11 mars 2011 DIRECTION GENERALE POUR L ARMEMENT
2 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 2
3 Contexte Évaluation de sécurité CCSD Évaluation Critères Communs, niveau EAL5+ Composant cryptographique en environnement sûr Différentes versions à évaluer REI Securtest Smartesting Université de Franche Comté Telecom Bretagne Objectifs Pertinence des tests produits Economie due au processus de génération Facilité d utilisation et d intégration du MBT DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 3
4 Évaluations de sécurité : améliorer le processus de test Formaliser les spécifications Fonctionnelles (besoin fonctionnel) Spécifications Cibles de sécurité (besoin de sécurité) Formaliser les Propriétés Développement Binaire Composant matériel Composant / produit Documentation Code source (C, VHDL, etc.) Evaluation Outiller les phases de tests Exécution automatique des tests Génération automatique des tests Tests de conformité (fonct+sécu) Tests Tests de pénétration (sécu) Analyses Analyse de vulnérabilités Expertise Etat de l art DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 4
5 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 5
6 Présentation de CCSD Couche Cryptographique de Sécurité de Défense Développement DGA MI Bibliothèque cryptographique Génération de pseudo aléa Hachage Chiffrement symétrique Chiffrement asymétrique Signature Négociation de clef Déploiement d'igc: génération, certification Modulaire : une API et des modules cryptos Développée en C Environ 325 fonctions, lignes de code Complexité cyclomatique allant de 4 à 140 DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 6
7 LES CCSD Différents périmètres fonctionnels Différents algorithmes Différents systèmes d exploitation Windows, Linux, Solaris Différentes versions Nécessité d automatiser DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 7
8 L automate de CCSD CCSD intègre un contrôle de séquencement des appels Celui-ci est implémenté sous la forme de propriétés booléennes (état d une session) de pré et de post-conditions Les relations entre ces propriétés forment un automate de 1500 états Tester manuellement cet automate est trop couteux en temps Le MBT est une solution possible DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 8
9 Objectifs de la validation Vérifier que la CCSD se comporte conformément à la spécification Pour chacun des cas d erreurs identifiés En cas d apparition d erreurs simultanées (combinatoire) Vérifier que le contrôle de séquencement est correct Critère de couverture idéal: (MCDC, DO178B) Modified Condition Decision Coverage La décision doit avoir été vue dans ses 2 états Chaque condition doit avoir été vue dans ses 2 états Chaque condition seule influe sur le résultat exemple : A \/ B condition coverage : (1,0), (0,1) decision coverage : (1,0), (0,0) decision/condition : (1,1), (0,0) MC/DC : (1,0), (0,1), (0,0) Avoir un verdict automatique Analyse du code couvert DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 9
10 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 10
11 Concret Logique Modèle Formalisation Evolution de l environnement de test Modèle formel UML + OCL Test Designer Spécifications Spec. d Interface XML / XSD OUEST Scénarios logiques XML Abstraction CCSD Scénarios concrets Verdicts Appels à l API Couverture DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 11
12 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 12
13 Création du modèle de test Un modèle de test Un modèle UML «support» Diagramme de classes : les entités du système sous test (SUT) Diagramme d instances : les données de tests Diagramme d états-transitions : enchainements valides Une spécification des comportements Pré et post conditions (OCL) Tags (REQ, AIM, NAME, ) Points de contrôle et d observation Des fonctions de mise au point Éditeur de scénarios Simulateur DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 13
14 Génération des tests Calcul d objectifs de test à partir du modèle Un objectif de test = une branche dans l expression OCL, après son dépliage Pour chaque objectif de test: Calcul d une séquence d opérations valuées permettant d atteindre cet objectif Calcul des effets de chaque pas sur l état du système : l oracle Les séquences produites sont des séquences abstraites Concrétisation des données de test DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 14
15 Logique de dépliage de TestDesigner If (a+b) Then a b Else a. b If (a.b) Then Else a.b a b Normalisation des expressions Critère de couverture D/CC TestDesigner fusionne les cas de test quand il le peut ( a+ b) Pour s approcher de MCDC, il est nécessaire de diriger la génération par les tags If (a.b) Then a.b --@AIM:ab Else If ( a) --@AIM:nonA And If ( b) --@AIM:nonB DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 15
16 Modélisation des comportements On ignore le diagramme d états-transitions : on souhaite exhiber des séquences «illégales» Le comportement du SUT est défini uniquement sous forme de post-conditions OCL On distingue le cas passant des cas d erreurs Gestion des codes de retour de type avertissements Modification de l état interne du système On teste chaque cas d erreur indépendamment Gestion exhaustive de la combinatoire Positionnement des codes de retour attendus Chaque branche est tagguée Identification des tests DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 16
17 Structure de post-condition retenue Objectif : couvrir la combinatoire des cas d erreurs if (not errorcase1 and not errorcase2) then --@AIM:OK acceptederrorcodes.ok=true update sessionstate else --@AIM:ERROR if (errorcase1) then (acceptederrorcodes.errorcode1=true) --@AIM:1 else true and if (errorcase2) then (acceptederrorcodes.errorcode2=true) --@AIM:2 else true and DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 17
18 Configurabilité du modèle La génération des tests est un processus long Dans notre cas d étude, plusieurs jours Il est apparu utile de pouvoir maîtriser l explosion combinatoire: On introduit un paramètre de configuration (nwiselevel) qui définit le nombre d erreurs à activer simultanément On incrémente une variable à chaque cas d erreur activé Mais les variables sont calculées à la génération: Production d objectifs de tests inatteignables. La preuve d inatteignabilité reste beaucoup plus rapide dans ce cas DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 18
19 Quelques mesures MDT1: Modèle initial MDT2: Modèle avec dépliage forcé MDT3: Ajout de 4 fonctions MDT1 MDT2 MDT3 Nombre de Classes Nombre d instances (DT) Nombre de lignes de code OCL Hommes.Jours Temps de modélisation : 4 hommes.mois Nombre d objectifs de tests : environ 2500 Nombre moyen de pas de tests : 6,5 DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 19
20 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 20
21 Propriétés de sécurité Schémas de tests DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 21
22 Les schémas de tests Langage de haut niveau visant à exprimer: un besoin de test Atteindre un état, un comportement, Une séquence d appel Use then L utilisation d un certain nombre d objets at_least_once Les schémas sont interprétés par TestDesigner et produisent des cas de test Intérêts le besoin de test est exprimé en dehors du modèle, qui reste fonctionnel Les schémas peuvent être plus facilement réutilisés DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 22
23 Propriétés de sécurité, Schémas de tests Des propriétés Cloisonnement entre données Cycle de vie (état alarme, non initialisé, ) Invariants (effacement, intégrité, ) Un exemple de schéma: for_each $op from any_operation, use any_operation any_number_of_times then use modifierintegriteelementsecret then use observationperteintegrite then use $op DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 23
24 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 24
25 Expérimentation de mutation manuelle Objectif : qualifier les tests produits La mutation est tentante mais lourde à mettre en œuvre (nombre important de mutants) Solution retenue : injection de fautes par le développeur Contrainte: Pas d erreurs calculatoires Cas réel de boite noire Protocole: Exécution du jeu de test sur la cible originale Exécution du jeu de test sur la cible avec erreurs Comparaison des résultats et identification des erreurs DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 25
26 Bilan de l expérimentation Erreurs Insérées Détectées Détectables Séquencement : Arguments : Autres : Total: Causes de non détection : Erreur de spécification Erreur de modélisation Erreur de concrétisation (OUEST) Erreurs non détectables : Spécification incomplète Comportement volontairement non modélisé Après correction du banc de test et du modèle, toutes les erreurs détectables sont mises en évidence. DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 26
27 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 27
28 Résultats des travaux 2500 tests produits et exécutés (4 hommes.mois) Bonne couverture fonctionnelle Gestion de la combinatoire et partiellement de l indéterminisme Cas d erreurs, conditions de non satisfaction des pré-conditions Confirmation des erreurs identifiées par les tests manuels Efficacité des tests produits : mutation Injection d erreurs par le développeur 24 erreurs sur 34 localisées 10 non détectables car non spécifiées, non modélisées ou masquées par d autres erreurs Il faut tester les tests! Analyse de la couverture de code testé Gain au niveau instructions/branchements faible mais précieux Gain au niveau de l automate important DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 28
29 MBT vs test manuel Test Manuel MBT Nb de tests Couverture du code Couverture des comportements 80% 82% Fonction du temps Fonction du modèle Précision Excellente Fonction du modèle Evolutivité / Maintenabilité Faible, fonction de la conception Bonne Réutilisabilité Très faible? Temps de mise en œuvre / délais 6 mois 2 mois (en amont) + 1mois (concrétisation) DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 29
30 Conclusions L approche est validée, les objectifs atteints Gestion de la complexité, de la combinatoire Intégration dans le processus de test Des points durs restent à améliorer Gestion de la complexité (Temps de génération importants) Maîtrise de l effet papillon Validation / déboguage du modèle Des gains d ensemble Validation, formalisation des spécifications et du processus Un investissement en amont pour des gains croissants DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 30
31 L effort de test dans le temps Évaluation basée modèle Évaluation classique Spécif. Développement Évaluation Dev Reprise d évaluation Début conception Livraison Mise en Service Opérationnel DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 31
32 Plan Introduction / Contexte Présentation du cas d étude : CCSD Présentation de l'environnement de test Mise en œuvre du MBT Utilisation de schémas de tests Validation des tests produits Conclusions Perspectives DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 32
33 Poursuite des travaux Développer les stratégies de test (sécurité) Critères de couverture du modèle plus exigeants Schémas plus expressifs Invariants sur le modèle Test en ligne Génération automatique du code OCL à partir des spécifications! Au moins pour l automate de séquencement DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 33
34 Développement des approches complémentaires Analyse statique Source ou binaire Approche mixte boîte blanche, boîte noire Compléter la couverture du SUT par des tests générés à partir du code Génération de tests structurels Fuzzing Recherche et analyse automatique de vulnérabilités À partir du code source ou du binaire Approches mixtes : analyse statique et dynamique DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 34
35 Moyens Développement de partenariats Financement de projets de recherche ANR - Astrid RAPID PEA Conventions avec laboratoires de recherche Thèse DGA Création d un laboratoire «Automatisation» Des évaluations Des recherches et analyses de vulnérabilités DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 35
36 Concret Abstrait Modèle Formalisation Abstraction Questions? RSM (UML+OCL) Test Designer Ouest Scénarios abstraits Scénarios concrets Modèle formel UML + OCL Test Designer Exécution sur plate-forme de test Spécifications Schéma XML / XSD Génération OUEST Scénarios abstraits XML Exploitation des résultats Concrétisation Système sous test Scénarios concrets Appels à l API Verdicts Couverture DGA.MI/SSI/ADL - JF CAPURON 11/03/2011 Diapositive N 36
Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting)
Travaux soutenus par l ANR Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) 03 Avril 2012 1. Test de sécurité et génération de tests à partir de modèle 2. Le projet SecurTest à DGA Maîtrise de l
Plus en détailQualité du logiciel: Méthodes de test
Qualité du logiciel: Méthodes de test Matthieu Amiguet 2004 2005 Analyse statique de code Analyse statique de code Étudier le programme source sans exécution Généralement réalisée avant les tests d exécution
Plus en détailCycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailOCL - Object Constraint Language
OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object
Plus en détailDiagrammes de Package, de déploiement et de composants UML
labsticc.univ-brest.fr/pages_perso/babau/ Diagrammes de Package, de déploiement et de composants UML Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC 2 1 Plan Description
Plus en détailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailProjet Active Object
Projet Active Object TAO Livrable de conception et validation Romain GAIDIER Enseignant : M. Noël PLOUZEAU, ISTIC / IRISA Pierre-François LEFRANC Master 2 Informatique parcours MIAGE Méthodes Informatiques
Plus en détailVérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
Plus en détailopenarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l
Plus en détailProgramme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines)
Programme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines) Module 1 : Programmer une application informatique Durée
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailConception, architecture et urbanisation des systèmes d information
Conception, architecture et urbanisation des systèmes d information S. Servigne Maître de Conférences, LIRIS, INSA-Lyon, F-69621 Villeurbanne Cedex e-mail: sylvie.servigne@insa-lyon.fr 1. Introduction
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailSolution logicielle pour le pilotage et l ERM. Journées d études IARD 26 mars 2010 2 mars 2010
Présentation d ERMS Solution logicielle pour le pilotage et l ERM Journées d études IARD 26 mars 2010 2 mars 2010 Sommaire 1 Présentation d ACTUARIS 2 Les problématiques rencontrées 3 Présentation d ERMS
Plus en détailGénie logiciel (Un aperçu)
(Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de
Plus en détailUML Diagramme de communication (communication diagram) Emmanuel Pichon 2013
UML Diagramme de communication (communication diagram) 2013 Diagramme de communication (communication diagram) Utilisation / objectifs Sens Ce diagramme présente des objets, des acteurs, des liens et des
Plus en détailUniversité de Bangui. Modélisons en UML
Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailAnalyse statique de code dans un cycle de développement Web Retour d'expérience
Analyse statique de code dans un cycle de développement Web Retour d'expérience Laurent Butti et Olivier Moretti Orange France prenom.nom@orange.com Agenda Introduction Notre contexte L (in)sécurité des
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailPROJET 1 : BASE DE DONNÉES REPARTIES
PROJET 1 : BASE DE DONNÉES REPARTIES GESTION D UNE BANQUE Elèves : David Bréchet Frédéric Jacot Charles Secrétan DONNÉES DU PROJET SSC - Bases de Données II Laboratoire de Bases de Données BD réparties
Plus en détail11 Février 2014 Paris nidays.fr. ni.com
11 Février 2014 Paris nidays.fr 1 Choisir la bonne architecture logicielle pour automatiser les systèmes de test Jérémy Charavet Ingénieur d Applications, National Instruments France Une architecture logicielle
Plus en détailExpression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
Plus en détailIyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1
SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de
Plus en détailPrincipe, applications et limites
Principe, applications et limites Sujet commandité par Thomas Milon Encadré par Bruno Tisseyre Traité par Florence Laporte, Anne Meillet et Romain Rivière Veilles technologiques Mercredi 14 décembre 2011
Plus en détailChapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Plus en détailQuatrième partie IV. Test. Test 15 février 2008 1 / 71
Quatrième partie IV Test Test 15 février 2008 1 / 71 Outline Introduction 1 Introduction 2 Analyse statique 3 Test dynamique Test fonctionnel et structurel Test structurel Test fonctionnel 4 Conclusion
Plus en détailLa solution pour gérer vos connaissances techniques et scientifiques
La solution pour gérer vos connaissances techniques et scientifiques La solution pour gérer, sécuriser et réutiliser vos connaissances techniques et scientifiques TEEXMA est le premier outil collaboratif
Plus en détailD une part, elles ne peuvent faire table rase de la richesse contenue dans leur système d information.
PACBASE «Interrogez le passé, il répondra présent.». Le Module e-business Les entreprises doivent aujourd hui relever un triple défi. D une part, elles ne peuvent faire table rase de la richesse contenue
Plus en détailOlivier Deheurles Ingénieur conception et développement.net
Olivier Deheurles Ingénieur conception et développement.net MOTS CLES Maîtrise de la conception et du développement orientés Objet 6 ans d expérience sur les plateformes.net 1.1 et 2.0 (C# et VB.NET) MCAD
Plus en détailCours de Génie Logiciel
Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes
Plus en détailPatrons de Conception (Design Patterns)
Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques
Plus en détailArchitecture d'entreprise : Guide Pratique de l'architecture Logique
Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam
Plus en détailPrésentation de la plateforme Diagnostic RFID
Présentation de la plateforme Diagnostic RFID Responsables Philippe Pannier, professeur, Université de Provence Fabien Pellet, Ingénieur, ISEN Toulon Personnels impliqués Equipe Projet RFID Capteurs Ingénieurs
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailCatalogue des stages Ercom 2013
Catalogue des stages Ercom 2013 Optimisations sur Modem LTE Poste basé à : Caen (14) Analyse et optimisation des performances des traitements réalisés dans un modem LTE. - Profiling et détermination des
Plus en détailProcessus d Informatisation
Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue
Plus en détailLe Guide Pratique des Processus Métiers
Guides Pratiques Objecteering Le Guide Pratique des Processus Métiers Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam 21 avenue Victor Hugo 75016
Plus en détailLaboratoire de Haute Sécurité. Télescope réseau et sécurité des réseaux
Laboratoire de Haute Sécurité Télescope réseau et sécurité des réseaux Frédéric Beck (SED) & Olivier Festor (Madynes) CLUSIR Est - 15 Décembre 2011 Inria : Institut de recherche en sciences du numérique
Plus en détailTest et Validation du Logiciel
Test et Validation du Logiciel McInfo4_ASR Tests Janvier 2009 Patrick FELIX patrick.felix@labri.fr IUT Bordeaux 1 Plan Introduction : Pourquoi de la VVT? 1 Introduction au test de logiciels 2 Le test fonctionnel
Plus en détailLe Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer
Le Processus RUP Database Administrator Project Leader H. Kadima Performance Engineer Release Engineer Analyst Designer / Developer Tester Table des matières 1. De l artisanat à l industrialisation de
Plus en détailGouvernance des mesures de sécurité avec DCM-Manager. Présentation du 22 mai 2014
Gouvernance des mesures de sécurité avec DCM-Manager Présentation du 22 mai 2014 Gérer les actifs logiciels et leur répartition Maîtriser le durcissement des configurations Suivre l application des correctifs
Plus en détailANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT
école sciences industrielles & technologies de l information ANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT Crédit : 120 ECTS Code DIE20 Niveau d entrée : Bac Niveau de sortie : Bac + 2 EN VAE Diplômes accessibles
Plus en détailOutils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP
Outils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP Christophe Joubert Séminaire VASY 2002 30 Octobre 2002 Aix les Bains Contexte du projet
Plus en détailCQP ADMINISTRATEUR DE BASES DE DONNÉES (ABD) ----------------------------------------------------------------------------------------------------
ORGANISME REFERENCE STAGE : 26587 20 rue de l Arcade 75 008 PARIS CONTACT Couverture : M. Frédéric DIOLEZ Paris, Lyon, Bordeaux, Rouen, Toulouse, Marseille, Tél. : 09 88 66 17 40 Strasbourg, Nantes, Lille,
Plus en détailPrise en compte des ressources dans les composants logiciels parallèles
Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations
Plus en détailUML et les Bases de Données
CNAM UML et les Bases de Données UML et les Bases de Données. Diagramme de classes / diagramme d objets (UML)...2.. Premier niveau de modélisation des données d une application...2.2. Les éléments de modélisation...2.2..
Plus en détailSélection du contrôleur
Démo CoDeSys - 1 - 1. Configuration de l environnement de travail : Lancer le logiciel CoDeSys Fichier Nouveau Lors de la première utilisation, une boîte de dialogue apparaît permettant la sélection du
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailObjets et Programmation. origine des langages orientés-objet
Objets et Programmation origine des langages orientés-objet modularité, encapsulation objets, classes, messages exemples en Java héritage, liaison dynamique G. Falquet, Th. Estier CUI Université de Genève
Plus en détailIntégration de systèmes
Intégration de systèmes Préparé par: Marc Barassi, Michel Fraser, Louis Martin, Martin Simoneau Collaboration spéciale: François Boucher et Richard Boutin 3/18/14 Intégration de systèmes «L ensemble des
Plus en détailUrbanisation de système d'information. PLM 6 (Product Lifecycle Management) Collaboration et partage d'informations
Urbanisation de système d'information PLM 6 (Product Lifecycle Management) Collaboration et partage d'informations Gestion de données techniques et Gestion électronique de documents Diversité des modalités
Plus en détailCours de Java. Sciences-U Lyon. Java - Introduction Java - Fondamentaux Java Avancé. http://www.rzo.free.fr
Cours de Java Sciences-U Lyon Java - Introduction Java - Fondamentaux Java Avancé http://www.rzo.free.fr Pierre PARREND 1 Octobre 2004 Sommaire Java Introduction Java Fondamentaux Histoire de Java Machine
Plus en détail27/11/12 Nature. SDK Python et Java pour le développement de services ACCORD Module(s)
Propriétés du Document Source du Document SDK_accords.odt Titre du Document SDK Python et Java pour le développement de services ACCORD Module(s) PyaccordsSDK, JaccordsSDK Responsable Prologue Auteur(s)
Plus en détailTrustedBird, un client de messagerie de confiance
TrustedBird, un client de messagerie de confiance Ministère de la défense - DGA / CELAR Laurent CAILLEUX JRES 2009 - NANTES DGA/CELAR 2009 Diapositive N 1 Plan Pourquoi TrustedBird? Concepts de messagerie
Plus en détailMéthodes d évolution de modèle produit dans les systèmes du type PLM
Résumé de thèse étendu Méthodes d évolution de modèle produit dans les systèmes du type PLM Seyed Hamedreza IZADPANAH Table des matières 1. Introduction...2 2. Approche «Ingénierie Dirigée par les Modèles»
Plus en détailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailUne dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU
Une dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU Gabriel Antoine Louis Paillard Ce travail a eu le soutien de la CAPES, agence brésilienne pour
Plus en détailC est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.
1- RAD Quelle sont les avantages que apporte la méthode RAD à l entreprise? Une méthode RAD devrait, d après son auteur, apporter trois avantages compétitifs à l entreprise : Une rapidité de développement
Plus en détailMEMOIRE. Présenté à. L École Nationale d Ingénieurs de Sfax. en vue de l obtention du MASTERE
République Tunisienne Ministère de l Enseignement Supérieur, De la Recherche Scientifique et de la Technologie Université de Sfax École Nationale d Ingénieurs de Sfax Ecole Doctorale Sciences et Technologies
Plus en détailLa démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*
La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,
Plus en détailBruno Legeard Fabrice Bouquet Laboratoire d Informatique de l Université de Franche-Comté
Cours Test de Logiciels Bruno Legeard Fabrice Bouquet Laboratoire d Informatique de l Université de Franche-Comté Plan du cours Test de logiciels 1 - Introduction au test de logiciels Définition du test
Plus en détailSITE WEB E-COMMERCE ET VENTE A DISTANCE
Développement d une application JAVA EE SITE WEB E-COMMERCE ET VENTE A DISTANCE PLAN PROJET Binôme ou monôme (B/M): M Nom & Prénom : AIT NASSER Btissam Email : aitnasser.btissam123@gmail.com GSM : Organisme
Plus en détailUML (Diagramme de classes) Unified Modeling Language
UML (Diagramme de classes) Unified Modeling Language Sommaire Introduction Objectifs Diagramme de classes Classe (Nom, attribut, opération) Visibilité et portée des constituants d une classe Association
Plus en détailGL - 2 2.1 Le Génie Logiciel
GL - 2 2.1 Le Génie Logiciel Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, I. Parissis, Ph. Lalanda 1 Rappels La production logicielle est une activité complexe de façon
Plus en détailApplication 1- VBA : Test de comportements d'investissements
Application 1- VBA : Test de comportements d'investissements Notions mobilisées Chapitres 1 à 5 du cours - Exemple de récupération de cours en ligne 1ère approche des objets (feuilles et classeurs). Corps
Plus en détailRAPPORT DE CONCEPTION UML :
Carlo Abi Chahine Sylvain Archenault Yves Houpert Martine Wang RAPPORT DE CONCEPTION UML : Bamboo Ch@t Projet GM4 Juin 2006 Table des matières 1 Introduction 2 2 Présentation du logiciel 3 2.1 Précisions
Plus en détail2. Activités et Modèles de développement en Génie Logiciel
2. Activités et Modèles de développement en Génie Logiciel Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Les Activités du GL Analyse des besoins Spécification globale Conceptions architecturale
Plus en détailVérification et Validation
Vérification et Validation Génie Logiciel Master 1 II Mihaela Sighireanu Objectifs I. Introduire la vérification et la validation (V&V) du logiciel et comprendre leurs différences. II.Définir le plan de
Plus en détailMaster Informatique Aix-Marseille Université
Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes
Plus en détailBusiness & High Technology
UNIVERSITE DE TUNIS INSTITUT SUPERIEUR DE GESTION DE TUNIS Département : Informatique Business & High Technology Chapitre 3 : Progiciels de Gestion Intégrés Sommaire Définition... 2 ERP... 2 Objectifs
Plus en détailINTRODUCTION AUX SYSTEMES D EXPLOITATION. TD2 Exclusion mutuelle / Sémaphores
INTRODUCTION AUX SYSTEMES D EXPLOITATION TD2 Exclusion mutuelle / Sémaphores Exclusion mutuelle / Sémaphores - 0.1 - S O M M A I R E 1. GENERALITES SUR LES SEMAPHORES... 1 1.1. PRESENTATION... 1 1.2. UN
Plus en détailSommaire. G. Pujolle, F. Ravat, C. Soulé-Dupuy, G. Zurfluh
NOTATION UML AVEC RATIONAL ROSE G. Pujolle, F. Ravat, C. Soulé-Dupuy, G. Zurfluh Sommaire 1 GÉNÉRALITES...2 1.1 ENVIRONNEMENT LOGICIEL...2 1.2 LES VUES DU LOGICIEL ROSE...3 1.3 ORGANISATION RECOMMANDÉE...3
Plus en détailDéveloppement d un interpréteur OCL pour une machine virtuelle UML.
ObjeXion Software Prototyping made easy SA au capital de 500 000 F Siret 421 565 565 00015 APE 722Z Téléphone : 03 89 35 70 75 Télécopie : 03 89 35 70 76 L embarcadère 5, rue Gutemberg 68 800 Vieux-Thann,
Plus en détailEvaluation, Certification Axes de R&D en protection
2009 Evaluation, Certification Axes de R&D en protection Dr CEA/LETI Alain.merle@cea.fr 1 Evaluation, Certification, Axes de R&D en protection Evaluation / Certification Le Schéma Français de Certification
Plus en détailSystèmes d'informations historique et mutations
Systèmes d'informations historique et mutations Christophe Turbout SAIC-CERTIC Université de Caen Basse-Normandie Systèmes d'informations : Historique et mutations - Christophe Turbout SAIC-CERTIC UCBN
Plus en détailLangage et Concepts de ProgrammationOrientée-Objet 1 / 40
Déroulement du cours Introduction Concepts Java Remarques Langage et Concepts de Programmation Orientée-Objet Gauthier Picard École Nationale Supérieure des Mines de Saint-Étienne gauthier.picard@emse.fr
Plus en détailUML (Paquetage) Unified Modeling Language
UML (Paquetage) Unified Modeling Language Sommaire Introduction Objectifs Paquetage Espace de nommage d un paquetage Dépendances entre paquetages 2 Notion introduite véritablement par UML car superficiellement
Plus en détailCours Base de données relationnelles. M. Boughanem, IUP STRI
Cours Base de données relationnelles 1 Plan 1. Notions de base 2. Modèle relationnel 3. SQL 2 Notions de base (1) Définition intuitive : une base de données est un ensemble d informations, (fichiers),
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailASR1 TD7 : Un microprocesseur RISC 16 bits
{Â Ö Ñ º ØÖ Ý,È ØÖ ºÄÓ Ù,Æ ÓÐ ºÎ ÝÖ Ø¹ ÖÚ ÐÐÓÒ} Ò ¹ÐÝÓÒº Ö ØØÔ»»Ô Ö Óº Ò ¹ÐÝÓÒº Ö» Ö Ñ º ØÖ Ý»¼ Ö½» ASR1 TD7 : Un microprocesseur RISC 16 bits 13, 20 et 27 novembre 2006 Présentation générale On choisit
Plus en détailLogiciel Libre Cours 3 Fondements: Génie Logiciel
Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/
Plus en détailLANGAGUE JAVA. Public Développeurs souhaitant étendre leur panel de langages de programmation
ING 01 LANGAGUE JAVA Durée : 21 heures 1090 HT / jour Dates : à définir en 2012 Concevoir et développer des programmes en langage Java Comprendre le fonctionnement de la machine virtuelle S approprier
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailObjectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui
Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture
Plus en détailUtilisation du logiciel ModellingSpace
Utilisation du logiciel ModellingSpace 1. Pour ouvrir le logiciel, cliquer deux fois sur l icône de ModellingSpace se trouvant sur le bureau. N ouvrez pas d autres applications en même temps que ModellingSpace.
Plus en détailRoutage AODV. Languignon - Mathe - Palancher - Pierdet - Robache. 20 décembre 2007. Une implémentation de la RFC3561
20 décembre 2007 Une implémentation de la RFC3561 Présentation du groupe - plan Présentation Cahier des charges 1 CDC 2 Archi 3 Algorithme 4 Mini Appli de base Implémentation dans AODV 5 Difficultées rencontrées
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailApproche de modélisation des tests de logiciels complexes par un système multi-agents
Ministère de l Enseignement Supérieur et de la Recherche Scientifique Institut National de Formation en Informatique (INI) Oued Smar MEMOIRE Pour l'obtention du diplôme de MAGISTER EN INFORMATIQUE (Option
Plus en détailAlgorithmique & programmation
Algorithmique & programmation Type structuré Article, Enregistrement, Structure Définition de nouveaux types!! On a vu les types simples "! entier, booléen, caractère, chaîne de caractères!! Comment gérer
Plus en détailReconstruction de bâtiments en 3D à partir de nuages de points LIDAR
Reconstruction de bâtiments en 3D à partir de nuages de points LIDAR Mickaël Bergem 25 juin 2014 Maillages et applications 1 Table des matières Introduction 3 1 La modélisation numérique de milieux urbains
Plus en détailUFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018
UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique
Plus en détailINITIATION AU LANGAGE C SUR PIC DE MICROSHIP
COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par
Plus en détailUtilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008
Introduction Utilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008 Forms 10g permet l utilisation du JAVA côté client et côté application
Plus en détailCartographie des processus et urbanisation des SI
Cartographie des processus et urbanisation des SI Définitions Exemples Accostages Référentiels Cycle Web conférence AMUE 2013 : La cartographie des processus et l urbanisation des SI jean-philippe.auzelle@univ-lorraine.fr
Plus en détailIntroduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Plus en détailModerniser. le système d information et le portefeuille applicatif. www.bull.com
Moderniser le système d information et le portefeuille applicatif L évolution technologique des plates-formes, l ouverture du système d information et la modernisation du portefeuille applicatif sont des
Plus en détailAPIs de table pour SQL Server
2013 D - Pratique APIs de table pour SQL Server Établissement: HEG Arc Haute école Arc Gestion Réalisé par: M. Informaticien de gestion 2009-2013 S adresse à: M.Fabrice Camus Date de début et de fin du
Plus en détail