Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests

Dimension: px
Commencer à balayer dès la page:

Download "Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests"

Transcription

1 Test du logiciel, cours 3 Tests fonctionnels Critère d arrêt Plan Les tests fonctionnels Les phases de tests Couvertures de tests fonctionnels : On ne peut connaître a priori le nombre de tests nécessaires qualitatives. Se baser sur le seul élément dont on est sûr : la spécification. DESS DLS Test du logiciel 1/33 DESS DLS Test du logiciel 3/33 Tests fonctionnels Rappel : spécification du logiciel Aussi appelé tests boite noire Son but Une spécification doit décrire au minimum : les fonctions à réaliser par le logiciel, les interfaces de ce logiciel les contraintes fixées au développeur. Vérifier le comportement d un logiciel / spécification (fonctions non conformes ou manquantes, erreurs d initialisation ou de terminaison du logiciel) Vérifier le respect des contraintes (performances, espace mémoire, etc.) et des facteurs qualité associés au logiciel (portabilité, maintenabilité, etc.) Exemples de contraintes : performances temporelles performances spatiales contraintes matérielles critères de sécurité portabilité DESS DLS Test du logiciel 2/33 DESS DLS Test du logiciel 4/33

2 Le test fonctionnel : que teste-t-on et comment le teste-t-on? Tests nominaux, tests aux limites Que teste-t-on? : couvertures des tests Comment le teste-t-on? : analyse partitionnelle pour le test des fonctions de la spécification Tests nominaux : vérifier la conformité par rapport à la spécification pour un comportement normal du logiciel Tests aux limites : vérifier le comportement aux limites fonctionnelles du logiciel DESS DLS Test du logiciel 5/33 DESS DLS Test du logiciel 7/33 Que teste-t-on? : couvertures des tests fonctionnels Tests de robustesse Quatre grandes catégories Tous les tests permettant de valider la robustesse du logiciel vis-à-vis de son environnement. Tests nominaux Tests aux limites fonctionnels Tests de robustesse Tests de conformité test des fonctions du logiciel facteurs qualité de robustesse autres facteurs qualité et contraintes Par exemple les tests hors limites fonctionnelles les tests en charge les pannes des équipements externes DESS DLS Test du logiciel 6/33 DESS DLS Test du logiciel 8/33

3 Tests de conformité Analyse partitionnelle : la recette Vérifier les contraintes associées au logiciel Par exemple les tests de performance les tests d intrusion les tests d ergonomie (Interface Homme-Machine) les tests de portabilité (matériel, OS), d interchangeabilité Pour chaque fonction de la spécification à : déterminer les entrées de la fonction ainsi que leur domaine à partir de la partie contrôle de la spécification, découper le domaine des entrées en classes d équivalence pour chaque classe d équivalence : sélectionner un élément dans la classe à partir de la partie commande de la spécification, déterminer la valeur des sorties pour l élément sélectionné. DESS DLS Test du logiciel 9/33 DESS DLS Test du logiciel 11/33 Comment teste-t-on? : l analyse partitionnelle, une solution pour les jeux d entrées Valeurs de sortie ou à défaut propriétés de ces valeurs Première idée : force brutale (effectuer le produit cartésien des domaines des entrées du programme) Défaut : nombre de tests à réaliser astronomique (exemple : addition de 2 entiers de 32 bits jeux de tests) On se contenterait de valider chacun des comportements du logiciel pour une valeur particulière représentative. Seconde idée : partitionner ce produit cartésien en classes d équivalence des entrées (ensemble des entrées aboutissant au même comportement fonctionnel) Problème de l oracle algorithme trop complexe (régulation en automatisme) toutes les entrées nécessaires au calcul de la sortie ne sont pas accessibles au testeur (positionnées par le développeur, horloge système, etc). Sur notre exemple : 2 tests (1 sans débordement, 1 avec débordement) Méthode couramment utilisée pour écrire les jeux de tests fonctionnels, appelée : analyse partitionnelle. DESS DLS Test du logiciel 10/33 DESS DLS Test du logiciel 12/33

4 Classes d équivalence Détermination des classes d équivalence Soit un domaine. Les ensembles forment une partition de classes d équivalence sur si : Langage formalisé Automate, Réseau de Petri, Détermination des chemins de la spécification Parcours de l automate, Règle 1 (recouvrement) Règle 2 (exclusion mutuelle) Matrice causes/effets Langage naturel Parcours de la matrice Remodélisation de la spécification en langage formalisé ou automate DESS DLS Test du logiciel 13/33 DESS DLS Test du logiciel 15/33 Exemple Détermination des classes d équivalence sur une spécification trop informelle Dans ce cas, la spécification n est pas testable en l état. Il faut donc soit la refuser, soit : Programme calculant : 3 classes d équivalence : sur les entiers réaliser un modèle de cette spécification dans le formalisme le mieux adapté faire valider ce modèle par l équipe de développement et le client (est-ce bien cela que vous vouliez construire?) déterminer les classes d équivalence sur le modèle. Sur les 3 classes d équivalence, une seule est valide. Ce processus de remodélisation permet très souvent de trouver des anomalies dès la spécification : incohérence entre différentes parties de la spécification incomplétude des cas traités DESS DLS Test du logiciel 14/33 DESS DLS Test du logiciel 16/33

5 intelligente intelligent Tests nominaux Choix des valeurs dans les classes d équivalence Classes d équivalence pour toutes les entrées E1 E2 Sélection d une valeur dans la classe d équivalence [Min Int,-1] -734 [Min Int,-1] -525 Varier les valeurs à l intérieur d un même intervalle. [Min Int,-1] [0, Max Int] 3765 [0, Max Int] 7643 [Min Int,-1] -765 [0, Max Int] 9864 [0, Max Int] 3783 DESS DLS Test du logiciel 17/33 DESS DLS Test du logiciel 19/33 Exemple de classes d équivalence Tests aux et hors limites fonctionnelles Fonction : Produit_valeurs_absolues Entrées : E1, E2 Sorties : S Traitement : Cette fonction calcule la valeur absolue du produit des entrées E1 et E2. Classes d équivalence pour chaque entrée E1 E2 Tests aux limites fonctionnelles : sélection de valeurs aux bornes de chaque classe d équivalence fonctionnelles Tests hors limites fonctionnelles : sélection de valeurs hors bornes de chaque classe d équivalence fonctionnelles [Min Int,-1] [Min Int,-1] [0, Max Int] [0, Max Int] DESS DLS Test du logiciel 18/33 DESS DLS Test du logiciel 20/33

6 Tests aux et hors limites fonctionnelles pour l exemple précédent Tests en charge Si les entrées E1 et E2 ont un domaine fonctionnel de : [-100, 100] Tests aux limites fonctionnelles E1 E2 [-100,-1] -100 [-100,-1] -57 [-100,-1] -1 [0, +100] 64 [0, +100] 0 [-100,-1] -5 [0, +100] 100 [0, +100] 98 [-100,-1] -59 [-100,-1] -1 [0, +100] 48 [-100,-1] -100 [-100,-1] -63 [0, +100] 0 [0, +100] 75 [0, +100] 100 Tests hors limites fonctionnelles E1 E2 [-100,-1] -234 [-100,-1] -42 [0, +100] 174 [0, +100] 39 [-100,-1] -84 [Min Int, -1] -115 [0, +100] 48 [0, +100] 120 Vérifier le comportement du logiciel en cas de stress du logiciel tel que : avalanche d alarmes saturation des réseaux saturation des requêtes Exemple : la saturation de Yahoo fin DESS DLS Test du logiciel 21/33 DESS DLS Test du logiciel 23/33 Tests de robustesse Tests de pannes des équipements externes Vérifier le comportement du logiciel face à des événements non spécifiés ou dans des situations dégradées. Tests en charge Tests des pannes des équipements externes etc. Simuler des pannes sur les équipements en interface avec le logiciel afin de vérifier son comportement. Par exemple : arrêt inopiné de l équipement débranchement brutal de l équipement changement brusque de valeurs DESS DLS Test du logiciel 22/33 DESS DLS Test du logiciel 24/33

7 Tests de pannes des équipements externes, connaissances requises Conclusion pour les tests fonctionnels Ces tests nécessitent une bonne connaissance du hardware afin de spécifier les bons modes de défaillance des équipements. Par exemple, connaître les cas de défaillance d un interrupteur : collage à 1 ou à 0 bagottements intempestifs parasitage à différentes fréquences. Ce ne sont que des exemples pour le test de robustesse et le tests de pannes des équipements externes, cela dépend énormément du métier pour lequel le logiciel est développé. DESS DLS Test du logiciel 25/33 DESS DLS Test du logiciel 27/33 Tests des interfaces Les phases de tests DÉVELOPPEMENT Spécification du logiciel Plan de Tests de Validation TEST Tests de validation Rapport de Tests de Validation Le but des tests des interfaces est double : vérifier les interfaces logicielles entre les composants un sous-système logiciel Conception du logiciel Plan de Tests d Intégration Tests d intégration Rapport de Tests d Intégration vérifier les interfaces physiques entre le logiciel et la machine cible (carte sur laquelle tourne le logiciel) Conception détaillée Plan de Tests Unitaires Tests Unitaires Rapport de Tests Unitaires Codage DESS DLS Test du logiciel 26/33 DESS DLS Test du logiciel 28/33

8 Durant les phases de descente du cycle Les Tests Unitaires (TU) Durant les phases de descente du cycle, le testeur élabore les Plans de Tests du Logiciel et fabrique les bancs de tests. Les plans de tests décrivent essentiellement : la stratégie de tests mise en place les moyens mis en oeuvre (matériel, logiciel et humain) l ensemble des fiches de tests. Validation de chaque composant logiciel pris unitairement par rapport à sa spécification détaillée. Quand Dès qu une pièce de code a été codée et compilée correctement Types de tests Les tests structurels DESS DLS Test du logiciel 29/33 DESS DLS Test du logiciel 31/33 Durant les phases de remontée du cycle Les Tests d Intégration (TI) Durant les phases de remontée du cycle, le testeur exécute les fiches de tests décrites dans les plans et produit les rapport de tests associés. Ces rapports contiennent essentiellement : la synthèse des résultats de tests les résultats de tests détaillés la trace d exécution des tests. Validation des sous-systèmes logiciels entre eux Tests d Intégration Logiciel/Logiciel (interface entre composants logiciels) Tests d Intégration Logiciel/Matériel (interface entre le logiciel et le matériel) Quand Dès qu un sous-système fonctionnel (module, objet) est entièrement testé unitairement Types de tests Tests des interfaces DESS DLS Test du logiciel 30/33 DESS DLS Test du logiciel 32/33

9 Les Tests de Validation (TV) Vérifier la conformité du logiciel aux Spécifications du logiciel Quand Dès que l ensemble des sous-systèmes fonctionnels ont été testé et intégré Types de tests Tests fonctionnels Tests de robustesse DESS DLS Test du logiciel 33/33

Introduction aux tests du logiciel

Introduction aux tests du logiciel Introduction aux tests du logiciel F.X. Fornari xavier.fornari@esterel-technologies.com P. Manoury pascal.manoury@pps.jussieu.fr 2011 Contents 1 Présentation du cours 3 2 Introduction aux tests logiciels

Plus en détail

Méthodes de test. Mihaela Sighireanu

Méthodes de test. Mihaela Sighireanu UFR d Informatique Paris 7, LIAFA, 175 rue Chevaleret, Bureau 6A7 http://www.liafa.jussieu.fr/ sighirea/cours/methtest/ Partie I 1 Propriétés 2 Un peu de génie logiciel de test 3 Eléments Problèmes Point

Plus en détail

Cours de Test Logiciel

Cours de Test Logiciel S.Bardin Test Logiciel 1/ 41 Cours de Test Logiciel Leçon 2 : Sélection de Tests Sébastien Bardin CEA-LIST, Laboratoire de Sûreté Logicielle Rappels S.Bardin Test Logiciel 2/ 41 Vérification et Validation

Plus en détail

Test et cycle logiciel

Test et cycle logiciel Test et cycle logiciel Fabrice Bouquet JDEV 2013 5 septembre 2013 INRIA / CNRS Université de Franche-Comté Fabrice Bouquet Test 1 / 59 Plan 1 Test 2 Test Structurel 3 Test fonctionnel 4 Calcul de données

Plus en détail

Qualité du logiciel: Méthodes de test

Qualité 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étail

LES TESTS. Les tests. Organisation d un projet de recette Les types de tests Les outils

LES TESTS. Les tests. Organisation d un projet de recette Les types de tests Les outils Les tests Organisation d un projet de recette Les types de tests Les outils Organiser le déroulement des tests Spécifier Exécuter les Cahiers de tests les Cahiers de tests Analyser les résultats Correction

Plus en détail

Quatrième partie IV. Test. Test 15 février 2008 1 / 71

Quatriè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étail

Génie logiciel. Concepts fondamentaux. Bruno MERMET, Université du Havre 1

Génie logiciel. Concepts fondamentaux. Bruno MERMET, Université du Havre 1 Génie logiciel Concepts fondamentaux Bruno MERMET, Université du Havre 1 Nécessité du Génie Logiciel Bruno MERMET, Université du Havre 2 Développement d un logiciel Caractéristiques souhaitées : Adéquation

Plus en détail

Test et Validation du Logiciel

Test 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étail

Introduction à la gestion de projets. Laurent Poinsot. Introduction. 26 janvier 2009

Introduction à la gestion de projets. Laurent Poinsot. Introduction. 26 janvier 2009 26 janvier 2009 Le modèle du est une méthodologie de développement logiciel qui est devenue un standard de l industrie logicielle. Ce modèle est constitué de deux phases : l une est dite descendante et

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

CCI Génie Logiciel UFR - IMA. Objectifs du cours d'aujourd'hui. Génie Logiciel Validation par le test. Qu est-ce que tester un programme?

CCI Génie Logiciel UFR - IMA. Objectifs du cours d'aujourd'hui. Génie Logiciel Validation par le test. Qu est-ce que tester un programme? Validation par le test Objectifs du cours d'aujourd'hui Donner des réponses aux questions suivantes : Lydie du Bousquet 2 Qu est-ce que tester un programme? Exercice 1 : Inscrivez sur une feuille ce que

Plus en détail

Architecture des calculateurs

Architecture des calculateurs Chapitre 1 Architecture des calculateurs 1.1 Introduction Ce paragraphe n a pas la prétention de présenter un cours d informatique. D une manière générale, seuls les caractéristiques architecturales qui

Plus en détail

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,

Plus en détail

Mise en œuvre des tests logiciels

Mise en œuvre des tests logiciels Mise en œuvre des tests logiciels support du cours de «Techniques de Développement» Sébastien Faucou Université de Nantes 2007-2008 Plan 1 Introduction 2 Concepts de base Les cibles Les objectifs Les techniques

Plus en détail

Bienvenue dans le monde de la construction logicielle

Bienvenue dans le monde de la construction logicielle Chapitre 1 Bienvenue dans le monde de la construction logicielle Sommaire : 1.1 La construction logicielle, qu est-ce que c est? : page 3 1.2 Pourquoi la construction logicielle est-elle importante? :

Plus en détail

Master Informatique Aix-Marseille Université

Master 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étail

Les Bonnes PRATIQUES DU TEST LOGICIEL

Les Bonnes PRATIQUES DU TEST LOGICIEL Les Bonnes PRATIQUES DU TEST LOGICIEL SOMMAIRE Qu est-ce que le test logiciel? Pourquoi le test est-il un maillon crucial de l ingénierie logicielle? Quels sont les différents types de tests? Qu est-ce

Plus en détail

Architecture et moyens de traitements : travaux et perspectives

Architecture et moyens de traitements : travaux et perspectives Masses de Données en Astronomie 10-11 avril 2006 Architecture et moyens de traitements : travaux et perspectives Journée Calculs Réunion et finale Données MDAdistribués Strasbourg André Schaaff 10 et 611

Plus en détail

Tests & Preuves Michel Rueher

Tests & Preuves Michel Rueher Tests & Preuves Michel Rueher http://users.polytech.unice.fr/~rueher/cours/test/cours1testetpreuve_si4.pdf 1 Plan du cours 1. Le Test 2. Aperçu du BMC (Bounded-model checking) 3. Présentation de Event-B

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Plan. 1. Introduction au test. 2. Le test statique. 1. Revue de code 2. Règles de codage 3. Vérifications automatiques - 2 -

Plan. 1. Introduction au test. 2. Le test statique. 1. Revue de code 2. Règles de codage 3. Vérifications automatiques - 2 - Software testing Plan. Introduction au test 2. Le test statique. Revue de code 2. Règles de codage 3. Vérifications automatiques 2 Tester pour prévenir une erreur du développeur introduit Une erreur est

Plus en détail

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

Gé nié Logiciél Livré Blanc

Gé nié Logiciél Livré Blanc Gé nié Logiciél Livré Blanc Version 0.2 26 Octobre 2011 Xavier Blanc Xavier.Blanc@labri.fr Partie I : Les Bases Sans donner des définitions trop rigoureuses, il faut bien commencer ce livre par énoncer

Plus en détail

LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique

LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique LDS A ASTRIUM SAS Eric Conquet Division Produits et Intégration Avionique Sommaire 1 Introduction Problématique 2 Les expériences opérationnelles DDV, COF-VTC, SRI Ariane5 3 Projet SPACES Génération automatique

Plus en détail

Réussir la Conception des FPGA Complexes.

Réussir la Conception des FPGA Complexes. ALSE - Sept 2001 Réussir la Conception des FPGA Complexes. -do it right, the first time- Bertrand CUZEAU Technical Manager - ALSE ASIC / FPGA Design Expert Doulos HDL Instructor (Verilog-VHDL) info@alse-fr.com

Plus en détail

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances

Plus en détail

Resolution limit in community detection

Resolution limit in community detection Introduction Plan 2006 Introduction Plan Introduction Introduction Plan Introduction Point de départ : un graphe et des sous-graphes. But : quantifier le fait que les sous-graphes choisis sont des modules.

Plus en détail

Maîtriser les Paysages SAP

Maîtriser les Paysages SAP Maîtriser les Paysages SAP Evènement Invarture 26 avril 2006 François DETREZ fdetrez@oxya.com 1 La base : le paysage minimal DEV QUA PRO Développement Intégration Production 2 Le système de Développement

Plus en détail

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing)

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Bruno LEGEARD JDEV 2013 4-6 septembre 2013 Sommaire Partie I Introduction au Model-Based Testing

Plus en détail

PHASE SOUS-PHASE MOA MOE POINTS A TRAITER. besoins. charges. I.A.2 Échéances. I.A.3 Utilisateurs. I.A.4 Besoin fonctionnels. I.A.5 Évolutions à venir

PHASE SOUS-PHASE MOA MOE POINTS A TRAITER. besoins. charges. I.A.2 Échéances. I.A.3 Utilisateurs. I.A.4 Besoin fonctionnels. I.A.5 Évolutions à venir PHASE SOUS-PHASE MOA MOE POINTS A TRAITER I. La définition des I.A. L'expression des besoins Rédige (spécifie les besoins). Consulte / utilise pour rédiger le cahier des I.A.1 Positionnement stratégique

Plus en détail

GEL 1001 Design I (méthodologie)

GEL 1001 Design I (méthodologie) GEL 1001 Design I (méthodologie) Technique 2 Systèmes embarqués et fiabilité Hiver 2013 Département de génie électrique et de génie informatique Plan Système embarqué Ordinateur et architecture Von Neumann

Plus en détail

Le génie logiciel. maintenance de logiciels.

Le génie logiciel. maintenance de logiciels. Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction

Plus en détail

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn Journée SEE "Certification et méthodes formelles" Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn ONERA Toulouse, 3 février 2004 Jean Gassino (jean.gassino@irsn.fr).

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles

JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles

Plus en détail

Introduction au test de logiciel. Cours INE21 Séances 1-5. Philippe Herrmann philippe.herrmann@cea.fr

Introduction au test de logiciel. Cours INE21 Séances 1-5. Philippe Herrmann philippe.herrmann@cea.fr Introduction au test de logiciel Cours INE21 Séances 1-5 Philippe Herrmann philippe.herrmann@cea.fr session 2010 2 Table des matières 1 Introduction 1 1.1 Vérification : Objectifs et Intérêt....................

Plus en détail

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF Avec vous, pour vos projets, à chaque instant Utilisation des réseaux de Pétri avec GRIF 2010 Projets pour le grand accélérateur de particules GANIL CEA/CNRS Vérification des automatismes de gestion du

Plus en détail

Programme de cours des IM (Ingénieurs-Managers) pour les 3 années

Programme de cours des IM (Ingénieurs-Managers) pour les 3 années Programme de cours des IM (Ingénieurs-Managers) pour les 3 années Cours Techniques IT Prise de contact L'historique de l'informatique Structure de données et algorithme (cf onglet) Architectures matérielles

Plus en détail

A1-1 TP3 Gmsh et partitionnement de maillage

A1-1 TP3 Gmsh et partitionnement de maillage A1-1 TP3 Gmsh et partitionnement de maillage Nicolas Kielbasiewicz 23 septembre 2013 1 Introduction à Gmsh Sous Windows et Mac OS, Gmsh est une application native. Sous Linux, il se lance en ligne de commande,

Plus en détail

Description et illustration du processus unifié

Description et illustration du processus unifié USDP Description et illustration du processus unifié Définit un enchaînement d activités Est réalisé par un ensemble de travailleurs Avec des rôles, des métiers Avec pour objectifs de passer des besoins

Plus en détail

Programmation linéaire

Programmation linéaire 1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit

Plus en détail

GESTION DE PROJETS Procédures liées au processus GP. 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1

GESTION DE PROJETS Procédures liées au processus GP. 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1 GESTION DE PROJETS Procédures liées au processus GP 05/09/2007 V2.0 Gestion de Projets T. Fricheteau 1 GESTION DE PROJETS Plan du cours: - Procédure bilan de projet, - Procédure gestion de la documentation

Plus en détail

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:

Plus en détail

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Projet Informatique Philippe Collet Licence 3 Informatique S5 2014-2015 http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Réalisation d'un développement de taille conséquente? r Firefox? Ph.

Plus en détail

Cours de Génie Logiciel

Cours 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étail

UM2 - Master 2 Année 2012-2013 Sensibilisation aux Tests de Projets Informatique - Managed Testing -

UM2 - Master 2 Année 2012-2013 Sensibilisation aux Tests de Projets Informatique - Managed Testing - UM2 - Master 2 Année 2012-2013 Sensibilisation aux Tests de Projets Informatique - Managed Testing - Le 21 février 2013 Thierry SINOT Directeur de Projet thierry.sinot@cgi.com 1 Groupe CGI inc. CONFIDENTIEL

Plus en détail

Analyse,, Conception des Systèmes Informatiques

Analyse,, 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étail

EP 2 104 010 A1 (19) (11) EP 2 104 010 A1 (12) DEMANDE DE BREVET EUROPEEN. (43) Date de publication: 23.09.2009 Bulletin 2009/39

EP 2 104 010 A1 (19) (11) EP 2 104 010 A1 (12) DEMANDE DE BREVET EUROPEEN. (43) Date de publication: 23.09.2009 Bulletin 2009/39 (19) (12) DEMANDE DE BREVET EUROPEEN (11) EP 2 4 0 A1 (43) Date de publication: 23.09.09 Bulletin 09/39 (1) Int Cl.: G0B 9/03 (06.01) (21) Numéro de dépôt: 0914411.4 (22) Date de dépôt: 0.03.09 (84) Etats

Plus en détail

CMI INFORMATIQUE : ICONE - PARCOURS IID

CMI INFORMATIQUE : ICONE - PARCOURS IID Université de la ROCHELLE 1/3 CMI INFORMATIQUE : ICONE - PARCOURS IID L1 S1 Informatique d'usage 2 L1 S1 Unités de découverte : 3 unités à choisir parmi : biotech. L1 S1 Unités de découverte : Matériaux,

Plus en détail

Programme des épreuves des concours externes de recrutement des personnels techniques et administratifs de recherche et de formation

Programme des épreuves des concours externes de recrutement des personnels techniques et administratifs de recherche et de formation Programme des épreuves des concours externes de recrutement des personnels E1 RECRUTEMENT DES ASSISTANTS INGENIEURS DE RECHERCHE ET DE FORMATION...2 E1.1 Gestionnaire de base de données...2 E1.2 Développeur

Plus en détail

Développement de systèmes critiques intégrant des logiciels libres. Mercredi 5 Novembre 2003 - RTP CNRS-STIC n 21 - Paris

Développement de systèmes critiques intégrant des logiciels libres. Mercredi 5 Novembre 2003 - RTP CNRS-STIC n 21 - Paris Développement de systèmes critiques intégrant des logiciels libres Mercredi 5 Novembre 2003 - RTP CNRS-STIC n 21 - Paris Agenda Contexte État des lieux Logiciel libre et systèmes critiques Exemples d architectures

Plus en détail

L INTELLIGENCE TECHNOLOGIQUE: SOLUTIONS INNOVANTES PAR

L INTELLIGENCE TECHNOLOGIQUE: SOLUTIONS INNOVANTES PAR L INTELLIGENCE TECHNOLOGIQUE: SOLUTIONS INNOVANTES PAR OPTIMEAS & TEGESOFT Parfaitement adaptées à vos besoins Des solutions innovantes et créatives à votre mesure Développement logiciel: une utilisation

Plus en détail

Eléments pratiques de test des Hiérarchies et Frameworks

Eléments pratiques de test des Hiérarchies et Frameworks Eléments pratiques de test des Hiérarchies et Frameworks Notes de cours Christophe Dony Master Info Pro - Université Montpellier-II 1 Introduction 1.1 Définitions Génie Logiciel No 18, Mars 1990. EC2.

Plus en détail

Université de La Rochelle. Sciences, Technologies, Santé. Informatique LICENCE

Université de La Rochelle. Sciences, Technologies, Santé. Informatique LICENCE Université de La Rochelle Sciences, Technologies, Santé LICENCE Informatique Objectifs de la formation Connaissances dispensées La licence Informatique permet d acquérir un socle de connaissances et de

Plus en détail

II. Conversions. I. Initialisation. III. Méthode point. TD Python Traitement d images MP*

II. Conversions. I. Initialisation. III. Méthode point. TD Python Traitement d images MP* Le but de ce TD est d utiliser les procédures et fonctions Python pour traiter des fichiers images. II. Conversions I. Initialisation Importer le module numpy sous l appellation np. On utilise le module

Plus en détail

Service combinators for farming virtual machines

Service combinators for farming virtual machines Introduction Plan Octobre 2007 Introduction Plan Introduction Projet Baltic : gérer automatiquement une ferme de machines virtuelles introduction de systèmes concurrents La problématique de la virtualisation,

Plus en détail

Génie Logiciel LA QUALITE 1/5 LA QUALITE 3/5 LA QUALITE 2/5 LA QUALITE 4/5 LA QUALITE 5/5

Génie Logiciel LA QUALITE 1/5 LA QUALITE 3/5 LA QUALITE 2/5 LA QUALITE 4/5 LA QUALITE 5/5 Noël NOVELLI ; Université d Aix-Marseille; LIF et Département d Informatique Case 901 ; 163 avenue de Luminy 13 288 MARSEILLE cedex 9 Génie Logiciel LA QUALITE 1/5 La gestion de la qualité Enjeux de la

Plus en détail

RAPPORT DES/184 f CLAIRE, UN OUTIL DE SIMULATION EVENEMENTIELLE POUR LE TEST DES LOGICIELS RAGUIDEAU J., SCHOEN D., HENRY J.Y., BOULC'H J.

RAPPORT DES/184 f CLAIRE, UN OUTIL DE SIMULATION EVENEMENTIELLE POUR LE TEST DES LOGICIELS RAGUIDEAU J., SCHOEN D., HENRY J.Y., BOULC'H J. v L FR9601317 RAPPORT DES/184 f CLAIRE, UN OUTIL DE SIMULATION EVENEMENTIELLE POUR LE TEST DES LOGICIELS RAGUIDEAU J., SCHOEN D., HENRY J.Y., BOULC'H J. OSO INSTITUT DE D E P A R T E M E N PROTECTION ET

Plus en détail

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!

Plus en détail

} 7 Variables (composantes)

} 7 Variables (composantes) Chapitre 4 Tableaux Jusqu ici, nous avons employé les variables pour stocker les valeurs individuelles de types primitifs : une variable de type int pour stocker un entier, une variable de type boolean

Plus en détail

Logiciels embarqués Viser l'excellence dans le développement

Logiciels embarqués Viser l'excellence dans le développement Avant-propos 1. Introduction 7 2. Objectif de ce livre 9 3. Conventions 9 4. Remerciements 10 La qualité logicielle 1. Introduction 11 2. Qu est-ce qu un défaut logiciel? 11 3. Une histoire abrégée des

Plus en détail

Rappels sur les suites - Algorithme

Rappels sur les suites - Algorithme DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................

Plus en détail

Intelligence précoce

Intelligence précoce Les données de procédé constituent une mine d informations très utiles pour l entreprise Geoff Artley Le secteur du raffinage est aujourd hui soumis à forte pression financière : amputation des marges,

Plus en détail

Programmation orientée objet et technologies Web

Programmation orientée objet et technologies Web Programmation orientée objet et technologies Web LEA.3N, version 2012 Information : (514) 376-1620, poste 7388 Programme de formation Type de sanction Attestation d études collégiales permettant de cumuler

Plus en détail

Modélisation des Systèmes d Information Jean-Yves Antoine

Modélisation des Systèmes d Information Jean-Yves Antoine Modélisation des Systèmes d Information Jean-Yves Antoine http://www.info.univ-tours.fr/~antoine Processus de développement logiciel Jean-Yves Antoine U. Bretagne Sud - UFR SSI - IUP Vannes année 2001-2002

Plus en détail

Conduite de projets informatiques Développement, analyse et pilotage (3ième édition)

Conduite de projets informatiques Développement, analyse et pilotage (3ième édition) Avant-propos 1. Objectifs du livre 15 2. Structure du livre 16 Un projet informatique 1. Les enjeux 19 1.1 Les buts d'un projet 19 1.2 Les protagonistes d'un projet 20 1.3 Exemples de projets 21 2. Les

Plus en détail

OMGL 6 Cahier des charges

OMGL 6 Cahier des charges OMGL 6 Helpdesk Radoslav Cvetkoski, Xavier Fanti, Yohann Haution, Yanis Salti, Sébastien Tassier Sommaire Helpdesk... 1 0. Historique du document... 3 1. Introduction... 3 2. Présentation de la société...

Plus en détail

I.2: Le test fonctionnel I.2.2 : Le test fonctionnel de logiciel

I.2: Le test fonctionnel I.2.2 : Le test fonctionnel de logiciel I.2: Le test fonctionnel I.2.2 : Le test fonctionnel de logiciel Introduction Notre contexte : pas possible d exprimer toutes les combinaisons de DT. Le test fonctionnel est basé sur la spécification/interface

Plus en détail

EDUGRAF. L éditeur nouvelle génération. de GRAFCET. Version : 1.0. Edition Août 2012 EduLabo

EDUGRAF. L éditeur nouvelle génération. de GRAFCET. Version : 1.0. Edition Août 2012 EduLabo EDUGRAF L éditeur nouvelle génération de GRAFCET Version : 1.0 Compatible : Win XP, Vista, 7 Mise à jour automatique Grafcet avec : o Divergence convergence OU, o Divergence convergence ET, o Temporisateurs,

Plus en détail

MAITRISE de la TECHNIQUE et de la QUALITE

MAITRISE de la TECHNIQUE et de la QUALITE 6 MAITRISE de la TECHNIQUE et de la QUALITE 1 6.1 MAITRISE de la TECHNIQUE 2 MAITRISE DE LA TECHNIQUE 1 UN BON DEPART 2 DES MOYENS D OBSERVATION ET D ANALYSE 3 UN SUIVI EFFICACE 3 MAITRISE DE LA TECHNIQUE

Plus en détail

Machines composées de (depuis 1940 env.) : http://cui.unige.ch/isi/cours/std/

Machines composées de (depuis 1940 env.) : http://cui.unige.ch/isi/cours/std/ données pr ogramme 11111101 11001101 01000101 b us disque ma gnétique processeur écran Structures de données et algorithmes Ordinateurs Gilles Falquet, printemps-été 2002 Machines composées de (depuis

Plus en détail

SISELL. Solutions intelligentes pour la vidéosurveillance. Recherche multicritères. Génération de rapports. Extraction de données.

SISELL. Solutions intelligentes pour la vidéosurveillance. Recherche multicritères. Génération de rapports. Extraction de données. SISELL Solutions intelligentes pour la vidéosurveillance Recherche multicritères Détection Pistage Extraction de données Génération de rapports 3 FONCTIONS La Vidéosurveillance En 3 fonctions clés... Gestion

Plus en détail

Service combinators for farming virtual machines

Service combinators for farming virtual machines Master d Informatique Fondamentale École Normale Supérieure de Lyon Sémantique du parallélisme Chantal Keller Service combinators for farming virtual machines K. Bhargavan, A. D. Gordon, I. Narasamdya

Plus en détail

Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation

Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation CTIA06 Page 1 1. Types de blocs de programme L automate met à disposition différents types de blocs qui contiennent

Plus en détail

II.2 Développement des systèmes logiciels

II.2 Développement des systèmes logiciels II.1 Introduction Dans le domaine de réseaux électriques, on constate que l'application de la MOO (Modélisation orientée objets) à beaucoup d avantages vue que la structure physique d un réseau électrique

Plus en détail

Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0

Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0 Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive Sommaire - Le Robot M.I.M.I. (Multipode Intelligent à Mobilité Interactive) - Présentation du Système à Enseigner. - Composition

Plus en détail

Algorithmique dans les systèmes distribués - Elec9on de leader -

Algorithmique dans les systèmes distribués - Elec9on de leader - Algorithmique dans les systèmes distribués - Elec9on de leader - Eddy Caron 03 M. ENS- Lyon Quelques algorithmes distribués Quelques méthodes générales d approche Principe général: introduire des contraintes

Plus en détail

Techniques et outils de test pour les logiciels réactifs synchrones

Techniques et outils de test pour les logiciels réactifs synchrones Journées Systèmes et Logiciels Critiques Institut IMAG ; 14-16 nombre 2000 Techniques et outils de test pour les logiciels réactifs synchrones Farid Ouabdesselam 1 Méthodes de test : classification générale

Plus en détail

Discrétisation et génération de hiérarchies de concepts

Discrétisation et génération de hiérarchies de concepts Prétraitement des données 1 Pourquoi prétraiter les données? Nettoyage des données Intégration et transformation Réduction des données Discrétisation et génération de hiérarchies de g concepts Pourquoi

Plus en détail

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes 1 Sommaire Partie I Introduction au Model-Based Testing Comprendre ce qu est le Model Based Testing Le

Plus en détail

Département Informatique L3 Mention Informatique Jean-Michel Richer Architecture des Ordinateurs jean-michel.richer@univ-angers.

Département Informatique L3 Mention Informatique Jean-Michel Richer Architecture des Ordinateurs jean-michel.richer@univ-angers. Département Informatique L3 Mention Informatique Jean-Michel Richer Architecture des Ordinateurs jean-michel.richer@univ-angers.fr 2015/2016 Travaux Dirigés 1 Représentation de l information En informatique,

Plus en détail

Pilote automatique de bateau

Pilote automatique de bateau DOSSIER TP Pilote automatique de bateau Présentation Sur un voilier, le système "pilote automatique" est installé en complément du dispositif de pilotage manuel ; il permet de réaliser automatiquement

Plus en détail

ESTIMATIONS DES CHARGES D UN PROJET DE SYSTEME D INFORMATIONS. 05/09/2007 V1.0 Gestion projets - Estimation charges 1

ESTIMATIONS DES CHARGES D UN PROJET DE SYSTEME D INFORMATIONS. 05/09/2007 V1.0 Gestion projets - Estimation charges 1 ESTIMATIONS DES CHARGES D UN PROJET DE SYSTEME D INFORMATIONS 05/09/2007 V1.0 Gestion projets - Estimation charges 1 - Risques projets Sommaire: - Estimation des charges - Méthodes d Estimation 05/09/2007

Plus en détail

Solutions pour la gestion de l éclairage public

Solutions pour la gestion de l éclairage public Solutions pour la gestion de l éclairage public Communication PLC - Système de Contrôle Point à Point Technologie pour l efficacité énergétique Leaders par l expérience CIRCUTOR, avec plus de 40 ans d

Plus en détail

VENTELEC RENOUVELER L AIR

VENTELEC RENOUVELER L AIR OBJECTIF Etudier l influence du Variateur de vitesse, sur le banc moto-ventilateur, en phase de démarrage et en régime établi (volet totalement OUVERT). Mettre en œuvre les mesureurs et leurs accessoires.

Plus en détail

ACube. Charte méthodologique. Version 1.2 du 22/02/2010. Etat : Validé

ACube. Charte méthodologique. Version 1.2 du 22/02/2010. Etat : Validé Charte méthodologique Version 1.2 du 22/02/2010 Etat : Validé Communauté Adullact Projet SUIVI DES MODIFICATIONS Version Rédaction Description Vérification Date 1.0 S. Péguet Initialisation 20/03/07 1.1

Plus en détail

Conduite de projets et architecture logicielle

Conduite de projets et architecture logicielle s et architecture logicielle ABCHIR Mohammed-Amine Université Paris 8 15 février 2011 1/36 ABCHIR Mohammed-Amine (Université Paris 8) Conduite de projets et architecture logicielle 15 février 2011 1 /

Plus en détail

Autres appellations du métier

Autres appellations du métier Le métier aujourd'hui Autres appellations du métier Intégrateur (trice) Concepteur (trice) Consultant(e) progiciel Paramètreur(euse) Description synthétique du métier L intégrateur(trice) assure l adaptation

Plus en détail

IFT3913 Qualité du logiciel et métriques. Chapitre 2

IFT3913 Qualité du logiciel et métriques. Chapitre 2 IFT3913 Qualité du logiciel et métriques Chapitre 2 Qualité du produit logiciel Plan du cours Introduction Qualité du logiciel Théorie de la mesure Mesure de la qualité du logiciel Études empiriques Mesure

Plus en détail

Expérience 3 Formats de signalisation binaire

Expérience 3 Formats de signalisation binaire Expérience 3 Formats de signalisation binaire Introduction Procédures Effectuez les commandes suivantes: >> xhost nat >> rlogin nat >> setenv DISPLAY machine:0 >> setenv MATLABPATH /gel/usr/telecom/comm_tbx

Plus en détail

MÉTHODE DE TEST DES APPLICATIONS. Version : M21.4

MÉTHODE DE TEST DES APPLICATIONS. Version : M21.4 MÉTHODE DE TEST DES APPLICATIONS Version : M21.4 [PAGE INTENTIONNELLEMENT BLANCHE] Introduction MÉTHODE DE TEST DES APPLICATIONS 3 Avertissement Ce document est un support de cours dont le seul objectif

Plus en détail

Approche générale. Vocabulaire élémentaire. Partition. Volume. Systèmes de fichiers avancés. Texte. Volumes, Partitions, RAID. Partition.

Approche générale. Vocabulaire élémentaire. Partition. Volume. Systèmes de fichiers avancés. Texte. Volumes, Partitions, RAID. Partition. Texte Approche générale Systèmes de fichiers avancés Volumes, Partitions, RAID 1 2 Vocabulaire élémentaire Partition Disque dur : élément physique destiné au stockage Partition : division d un disque dur

Plus en détail

Quelle organisation pour développer? Les principes et les valeurs de l extreme programming

Quelle organisation pour développer? Les principes et les valeurs de l extreme programming Les principes et les valeurs de l extreme programming XP sont bons 1 Principes Revue de code Production systématique de cas tests Refactoring Solutions simples Métaphores Intégration quotidienne cycles

Plus en détail

Proposition pour la création d un site de gestion de projet

Proposition pour la création d un site de gestion de projet Proposition pour la création d un site de gestion de projet Société E-FOOLKY 27/03/2009 Réalisé par : Pour le compte de : Réalisé par : Bachir Ouchrif Rachid Lahlou Adil Kouhen Amal Mhaidra Sommaire 1

Plus en détail

L Intelligent Cloud au service de la performance de votre cabinet d avocats. www.diapaz.fr

L Intelligent Cloud au service de la performance de votre cabinet d avocats. www.diapaz.fr L Intelligent Cloud au service de la performance de votre cabinet d avocats www.diapaz.fr Logiciel Communications Informatique Pour quoi? Rapports d activités Gestion des documents Extranet Facturation

Plus en détail

Quantification Scalaire et Prédictive

Quantification Scalaire et Prédictive Quantification Scalaire et Prédictive Marco Cagnazzo Département Traitement du Signal et des Images TELECOM ParisTech 7 Décembre 2012 M. Cagnazzo Quantification Scalaire et Prédictive 1/64 Plan Introduction

Plus en détail

Catalogue de stages D été

Catalogue de stages D été Catalogue de stages Page : 1/13 Catalogue de stages D été Juin - Juillet - Août 2014 Catalogue de stages Page : 2/13 SOMMAIRE 1. MOT DE LA DIRECTION... 3 2. PRESENTATION ARDIA... 4 3. APPROCHE DE STAGE

Plus en détail

Cours 7: Conception des systèmes interactifs (partie 1)

Cours 7: Conception des systèmes interactifs (partie 1) Cours 7: Conception des systèmes interactifs (partie 1) Anastasia.Bezerianos@lri.fr (plusieurs slides sont basés sur des slides de T. Tsandilas, W. Mackay, M. Beaudouin Lafon, D. Vogel et S. Greenberg)

Plus en détail