Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

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

Download "Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot"

Transcription

1 Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot

2 Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion sur l article V. Conclusion

3 Testing : A Roadmap I. L auteur

4 I. L auteur : Mary Jean Harrold NSF ADVANCE Professor of Computing Aristotle Research Group /SPARC Group College of Computing Georgia Institute of Technology

5 I. L auteur : Mary Jean Harrold «The overall goal of my research is to develop efficient techniques and tools that will automate, or partially automate, development, testing, and maintenance tasks» Aristotle Research Group / SPARC Group

6 Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique

7 II. Introduction sur les test : les enjeux, la problématique A. Une problématique, un besoin B. Procédures de tests C. Avantages D. Limitations

8 II. A. Une problématique, un besoin (1/2) Un support de l assurance qualité Fiabilité et qualité Rassembler des informations Critère de succès dominant

9 II. A. Une problématique, un besoin (2/2) Les tests : 50% du coût du logiciel Les tâches et logiciels critiques nécessitent une qualité supérieure. «Unless we can find efficient ways to perform effective testing, the percentage of development costs devoted to testing will increase significantly.»

10 II. B. Procédures de tests Données en entrée ( test cases ) Exécution Observation de la sortie Spécifications sur le comportement du programme

11 II. C. Avantages Activité relativement simple Vérifier conditions Contrôler sorties, identifier les erreurs Exécution dans un environnement prédictible Beaucoup des processus peuvent être automatisés

12 II. D. Limitations «Testing can not show the absence of faults it can show only their presence» Ne montre pas non plus les qualités que peut avoir le logiciel Ces tests ne sont pas généralisables

13 Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap

14 III. Les tests : roadmap A. Introduction B. Tests des systèmes à composants C. Tests sur l architecture logiciel D. Tests sur des logiciels en évolution E. Démontrer l efficacité des méthodes de tests

15 III. Les tests : roadmap F. Établir des procédés de test efficaces G. Utilisation d artefacts de test H. Autres techniques de tests I. Outils et méthodes

16 III. Les tests : roadmap A. Introduction

17 III. A. Introduction (1/2)

18 III. A. Introduction (2/2) Acquérir de la confiance Émergence nouvelles technologies Objectif : «providing practical testing methods, tools, and processes that will help software engineers develop high-quality software»

19 III. Les tests : roadmap A. Introduction B. Tests des systèmes à composants

20 III. B. Tests composants (1/8) 1. Définition et incidences 2. Le problème de la disponibilité du code source 3. Méthodes de test 4. Aboutissement

21 III. B. Tests composants (2/8) 1. Définition et incidences Composants : «modules that encapsulate both data and functionnality and are configurable through parameters at run-time» Deux perspectives : fournisseur et utilisateur

22 III. B. Tests composants (3/8) 1. Définition et incidences Fournisseur : Indépendant contexte Tester toutes les configurations Utilisateur : Contexte de son application Tester ses configurations

23 III. B. Tests composants (4/8) 2. Disponibilité du code source Commercial off-the the-shell software (COTS) Pas de régulation Utiliser pour réduire les coûts et avoir une sorte de standardisation Source chez le fournisseur

24 III. B. Tests composants (5/8) 3. Méthodes de test Génération intelligente de données aléatoires (fournisseur) Injection d erreurs (utilisateur)

25 III. B. Tests composants (6/8) 3. Méthodes de test Spécifications algébriques Cluster and class testing Object states Cryptographie Use pairs

26 III. B. Tests composants (7/8) 4. Aboutissement «We need to understand and develop effective techniques for testing various aspects of the components, including security, dependability, and safety [ ]» Augmenter confiance développeurs

27 III. B. Tests composants (8/8) 4. Aboutissement COM et JavaBeans : composants standards avec de l information Aboutir à une représentation standard des informations sur les tests

28 III. Les tests : roadmap A. Introduction B. Tests des systèmes à composants C. Tests sur l architecture logiciel

29 III. C. Tests architecture (1/5) 1. Définition et objectif 2. Les techniques 3. Conclusions

30 III. C. Tests architecture (2/5) 1. Définition et objectif «Software architecture involves the description of elements from which systems are built,, interactions among those elements,, patterns that guide their composition, and constraints on these patterns.» Gestion de systèmes importants

31 III. C. Tests architecture (3/5) 1. Définition et objectif Notation formelle base techniques de test Suivre l él évolution Faciliter l intl intégration et les tests unitaires

32 III. C. Tests architecture (4/5) 2. Techniques Regression testing Utilisation des spécifications de l architecture Architecture-based approach

33 III. C. Tests architecture (5/5) 3. Conclusions Faciliter l analyse dynamique Détection des erreurs plus tôt Sauvegarde dans les tests des logiciels (évaluation testabilité)

34 III. Les tests : roadmap A. Introduction B. Tests des systèmes à composants C. Tests sur l architecture logiciel D. Tests sur des logiciels en évolution

35 III. D. Tests : régression (1/5) 1. Définition 2. Travaux 3. Conclusion

36 III. D. Tests : régression (2/5) 1. Définition «Regression testing, which attempts to validate modified software and ensure that no new errors are introduced into previously tested code, is used extensively during software development and maintenance.» Tester nouveau composant ou un composant modifié

37 III. D. Tests : régression (3/5) 1. Définition Activité la plus coûteuse du cycle de vie du logiciel Cela peut monter jusqu à 1/3 du coût du logiciel

38 III. D. Tests : régression (4/5) 2. Travaux Travaux importants Permettre l estimation Techniques de retest

39 III. D. Tests : régression (4/5) 3. Conclusions Évaluation de la testabilité du logiciel et des test suites Permet de choisir la conception la plus efficace (évolution d un logiciel) Mémorisation des test suites

40 III. Les tests : roadmap A. Introduction B. Tests des systèmes à composants C. Tests sur l architecture logiciel D. Tests sur des logiciels en évolution E. Démontrer l efficacité des méthodes de tests

41 III. E. Tests : efficacité (1/2) Techniques concentrées sur la sélection des test cases Comportement attendu Basées sur le code Efficacité de certains critères de test pour la détection des erreurs

42 III. E. Tests : efficacité (2/2) Techniques sur : Le flot de données Les états et expressions booléennes, Déterminer les interactions entre critère de test et les combiner pour avoir des tests efficaces

43 III. Les tests : roadmap F. Établir des procédés de test efficaces

44 III. F. Planification de tests efficaces (1/2) Un plan de tests Perpetual testing project Incrémental Réponse ou anticipation des changements Regression techniques Sélection scénarios pour les tests suivants

45 III. F. Planification de tests efficaces (2/2) Reste à développer des outils et des processus «A process that combines static analysis techniques with testing has the potential to improve quality and reduce costs.»

46 III. Les tests : roadmap F. Établir des procédés de test efficaces G. Utilisation d artefacts de test

47 III. G. Tests : artéfacts (1/2) «Artifacts from the testing include the execution traces of the software's execution with test cases.» Statements Statements,, paths et valeurs Le résultat des test-cases (réussi ou échoué) peut être stocké

48 III. G. Tests : artéfacts (2/2) Slicing Détection invariants Path spectra Techniques visuelles pour tester les artéfacts

49 III. Les tests : roadmap F. Établir des procédés de test efficaces G. Utilisation d artefacts de test H. Autres techniques de tests

50 III. H. Tests : autres techniques Développement automatique de génération de données de test Techniques coûteuses Meilleurs outils Critères plus rigoureux

51 III. Les tests : roadmap F. Établir des procédés de test efficaces G. Utilisation d artefacts de test H. Autres techniques de tests I. Outils et méthodes

52 III. I. Outils et méthodes (1/2) Long pour arriver à la pratique Rapprochement de l industrie «We must develop methods and tools that implement the techniques and that can be used to demonstrate their effectiveness.»

53 III. I. Outils et méthodes (2/2) Prototype robuste Création automatique Feedback pour les études Sujets réels d expérimentation

54 Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion sur l article

55 IV. Conclusion article + Bon panorama des tests + Un véritable objectif + Reste connecter à l aspect pratique (industrie) - Organisation d un bloc - Techniques juste citées

56 Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion sur l article V. Conclusion

57 V. Conclusion Applications pratiques de techniques avancées tardent L enjeu de la qualité Certaines voies s ouvrent seulement

Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs. social. An ASSeT To meaningful PARTneRSHIPS

Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs. social. An ASSeT To meaningful PARTneRSHIPS Le capital Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs social capital An ASSeT To meaningful PARTneRSHIPS Présentation des participants participants presentation Fondation Dufresne et Gauthier

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

Colloque 2005. Du contrôle permanent à la maîtrise globale des SI. Jean-Louis Bleicher Banque Fédérale des Banques Populaires

Colloque 2005. Du contrôle permanent à la maîtrise globale des SI. Jean-Louis Bleicher Banque Fédérale des Banques Populaires Colloque 2005 de la Sécurité des Systèmes d Information Du contrôle permanent à la maîtrise globale des SI Jean-Louis Bleicher Banque Fédérale des Banques Populaires Mercredi 7 décembre 2005 Du contrôle

Plus en détail

Editing and managing Systems engineering processes at Snecma

Editing and managing Systems engineering processes at Snecma Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués

Plus en détail

en SCÈNE RATIONAL Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com

en SCÈNE RATIONAL Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com Fabrice GRELIER fabrice.grelier@fr.ibm.com RATIONAL en SCÈNE 2007 IBM Corporation Objectif

Plus en détail

De la conception à la production. From design to production

De la conception à la production. From design to production De la conception à la production Nos domaines d expertise en électronique analogique, électronique numérique, électronique de puissance, logiciel embarqué et notre savoir faire mécanique couvrent l intégralité

Plus en détail

FILIÈRE METHODOLOGIE & PROJET

FILIÈRE METHODOLOGIE & PROJET FILIÈRE METHODOLOGIE & PROJET 109 Gestion de projet METHODOLOGIE ET PROJET Durée 3 jours Conduite de projet COND-PRO s Intégrer les conditions de réussite d une démarche de management par projet. Impliquer

Plus en détail

Program Vision sûreté

Program Vision sûreté Program Vision sûreté Security innovation for passenger screening French Civil aviation authority (DGAC) Air Transport Directorate Security and Defence subdirectorate (SRD) François Dubuisson Civil aviation

Plus en détail

ICH Q8, Q9 and Q10. Krishnan R. Tirunellai, Ph. D. Bureau of Pharmaceutical Sciences Therapeutic Products Directorate Health Canada December 4, 2008

ICH Q8, Q9 and Q10. Krishnan R. Tirunellai, Ph. D. Bureau of Pharmaceutical Sciences Therapeutic Products Directorate Health Canada December 4, 2008 ICH Q8, Q9 and Q10 An Opportunity to Build Quality into Product Krishnan R. Tirunellai, Ph. D. Bureau of Pharmaceutical Sciences Therapeutic Products Directorate Health Canada December 4, 2008 Sequence

Plus en détail

Eclipse Process Framework et Telelogic Harmony/ITSW

Eclipse Process Framework et Telelogic Harmony/ITSW Eclipse Process Framework et Telelogic Harmony/ITSW Boris Baldassari 1 Résumé Une introduction à Eclipse Process Framework (EPF) et au processus OpenUP, et comment tirer profit de ces initiatives dans

Plus en détail

REALISATION D UN FLIP BOOK

REALISATION D UN FLIP BOOK REALISATION D UN FLIP BOOK I. Préambule Vous disposez de fichiers sources de qualité pour la réalisation de votre flip book. Il est utile de connaître quelques éléments techniques pour la réalisation de

Plus en détail

L approche agile au-delà du développement logiciel:

L approche agile au-delà du développement logiciel: L approche agile au-delà du développement logiciel: une étude descriptive des pratiques émergentes Présentation du 16 avril 2014 Par : Marie-Michèle Lévesque Maîtrise en gestion de projet (profil recherche)

Plus en détail

Rational Team Concert

Rational Team Concert Une gestion de projet agile avec Rational Team Concert Samira Bataouche Consultante, IBM Rational France 1 SCRUM en Bref Events Artifacts Development Team Source: Scrum Handbook 06 Décembre 2012 Agilité?

Plus en détail

iqtool - Outil e-learning innovateur pour enseigner la Gestion de Qualité au niveau BAC+2

iqtool - Outil e-learning innovateur pour enseigner la Gestion de Qualité au niveau BAC+2 iqtool - Outil e-learning innovateur pour enseigner la Gestion de Qualité au niveau BAC+2 134712-LLP-2007-HU-LEONARDO-LMP 1 Information sur le projet iqtool - Outil e-learning innovateur pour enseigner

Plus en détail

Modèle d implémentation

Modèle d implémentation Modèle d implémentation Les packages UML: Unified modeling Language Leçon 5/6-9-16/10/2008 Les packages - Modèle d implémentation - Méthodologie (RUP) Un package ou sous-système est un regroupement logique

Plus en détail

147788-LLP IT-ECVET N.E.T.WORK

147788-LLP IT-ECVET N.E.T.WORK ECVET system for No borders in tourism hospitality European Training and Work N.E.T.WORK 147788--1-IT-ECVET Units of learning outcomes What methods have you used? Le projet a pris en compte, à l avance

Plus en détail

Gestion de la configuration et contrôle du code source

Gestion de la configuration et contrôle du code source MGL7460 Automne 2015 Gestion de la configuration et contrôle du code source Guy Tremblay Professeur Département d informatique UQAM http://www.labunix.uqam.ca/~tremblay 10 septembre 2015 Parmi les premières

Plus en détail

Software Design Description

Software Design Description Software Design Description ABSTRACT: KEYWORDS: APPROVED: AUTHOR PROJECT MANAGER PRODUCT OWNER General information/recommendations A SDD provides a representation of a software system created to facilitate

Plus en détail

Introduction. Règlement général des TPs - Rappel. Objectifs du cours. Génie logiciel. Génie logiciel

Introduction. Règlement général des TPs - Rappel. Objectifs du cours. Génie logiciel. Génie logiciel Introduction Génie logiciel Philippe Dugerdil Génie logiciel «The disciplined application of engineering, scientific and mathematical principles, methods and tools to the economical production of quality

Plus en détail

Organisation de Coopération et de Développement Economiques Organisation for Economic Co-operation and Development. Bil.

Organisation de Coopération et de Développement Economiques Organisation for Economic Co-operation and Development. Bil. A usage officiel/for Official Use C(2006)34 C(2006)34 A usage officiel/for Official Use Organisation de Coopération et de Développement Economiques Organisation for Economic Co-operation and Development

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

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

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

OPTIMISER SON PROCESSUS DE TEST AVEC UNE APPROCHE BOITE GRISE

OPTIMISER SON PROCESSUS DE TEST AVEC UNE APPROCHE BOITE GRISE OPTIMISER SON PROCESSUS DE TEST AVEC UNE APPROCHE BOITE GRISE Retour d expérience Benjamin Boutin QA Manager S2E www.s2e-services-epargne-entreprise.com Marc Rambert Director Dynamic Testing Solution Coverity/Synopsys

Plus en détail

Contexte et motivations Les techniques envisagées Evolution des processus Conclusion

Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and

Plus en détail

Processus d Informatisation

Processus 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é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

A joint institute between LIRMM and NXP. Un laboratoire commun LIRMM-NXP

A joint institute between LIRMM and NXP. Un laboratoire commun LIRMM-NXP A joint institute between LIRMM and NXP Un laboratoire commun LIRMM-NXP ISyTest, Institute for System Testing In the fast-moving world of integrated systems, test solutions are faced with two major issues:

Plus en détail

Urbanisation de Système d'information

Urbanisation de Système d'information Urbanisation de Système d'information L'approche Togaf 2008 The Open Group 1 TOGAF : The Open Group Framework Architecture «The Open Group Architecture Framework, également connu sous l'acronyme Togaf,

Plus en détail

Bluetooth. Adaptateur USB USB Adapter. Guide d exploitation User manual VW3 A8115 09/2009. www.schneider-electric.com

Bluetooth. Adaptateur USB USB Adapter. Guide d exploitation User manual VW3 A8115 09/2009. www.schneider-electric.com Bluetooth Adaptateur USB USB Adapter Guide d exploitation User manual VW3 A8115 09/2009 1629225 www.schneider-electric.com Bluetooth Adaptateur USB bluetooth Page 3 FRANÇAIS USB Bluetooth adapter Page

Plus en détail

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager.

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. IBM Tivoli Key Lifecycle Manager Version 2.0.1 Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. National Language Version: To obtain the Quick

Plus en détail

Transformation Digitale & Sécurité. CERT-IST 24/11/2015 Fabrice CHATRON

Transformation Digitale & Sécurité. CERT-IST 24/11/2015 Fabrice CHATRON Transformation Digitale & Sécurité CERT-IST 24/11/2015 Fabrice CHATRON Agenda Le digital c est quoi? La transformation digitale / enjeux de sécurité La transformation des modes de travail Agenda Le digital

Plus en détail

Use Cases. Introduction

Use Cases. Introduction Use Cases Introduction Avant d aborder la définition et la conception des UC il est bon de positionner le concept du UC au sein du processus de développement. Le Processus de développement utilisé ici

Plus en détail

DevOps2. De l intégration continue à la livraison continue. Samira Bataouche Ingénieur Consultant

DevOps2. De l intégration continue à la livraison continue. Samira Bataouche Ingénieur Consultant DevOps2 De l intégration continue à la livraison continue Samira Bataouche Ingénieur Consultant Les challenges d aujourd hui Lignes de produits Délais trop long de mise à disposition de nouveaux produits/services.

Plus en détail

Synergies entre Artisan Studio et outils PLM

Synergies entre Artisan Studio et outils PLM SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits

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

Solution d hébergement de "SWIFTAlliance ENTRY R7" Politique de Sauvegarde et de Restauration

Solution d hébergement de SWIFTAlliance ENTRY R7 Politique de Sauvegarde et de Restauration Solution d hébergement de "SWIFTAlliance ENTRY R7" Politique de Sauvegarde et de Restauration Avril 2012 I- Introduction Le présent document présente la politique de sauvegarde et de restauration à adopter

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Gestion de Projet Informatique http://www.rzo.free.fr Pierre PARREND 1 Mars 2005 Sommaire Gestion de projet informatique Cycle de vie du logiciel Modèles de Méthodes

Plus en détail

Agro-environmental Monitoring: a Tool for Evaluation and Support of Decision-making in Swiss Agricultural Policy

Agro-environmental Monitoring: a Tool for Evaluation and Support of Decision-making in Swiss Agricultural Policy Département fédéral de l économie DFE Office fédéral de l agriculture OFAG Agro-environmental Monitoring: a Tool for Evaluation and Support of Decision-making in Swiss Agricultural Policy, Federal Office

Plus en détail

Guide d exploitation User s manual. Adaptateur USB, USB Adapter

Guide d exploitation User s manual. Adaptateur USB, USB Adapter Guide d exploitation User s manual Adaptateur USB, USB Adapter 88 970 110 15000336 Bluetooth Adaptateur USB Bluetooth Page 2 Configuration matérielle 2 Configuration logicielle 3 Remarques 8 USB Bluetooth

Plus en détail

Génie Logiciel et Gestion de Projets

Génie Logiciel et Gestion de Projets Génie Logiciel et Gestion de Projets INFO-F-407 Ragnhild Van Der Straeten 2007-2008 ULB 1 1 Génie Logiciel et Gestion de Projets Organisation 2 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

Environnements de Développement

Environnements de Développement Institut Supérieur des Etudes Technologiques de Mahdia Unité d Enseignement: Environnements de Développement Mme BEN ABDELJELIL HASSINE Mouna m.bnaj@yahoo.fr Développement des systèmes d Information Syllabus

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

Sujet de TPE PROPOSITION

Sujet de TPE PROPOSITION Single photon source made of single nanodiamonds This project will consist in studying nanodiamonds as single photon sources. The student will study the emission properties of such systems and will show

Plus en détail

Autres termes clés (Other key terms)

Autres termes clés (Other key terms) Carve-out method Autres termes clés (Other key terms) Norme Rapports d assurance sur les contrôles d une société de services extérieurs (, Assurance Reports on Controls at a Third Party Service Organization)

Plus en détail

MOVILISE-Le cours en anglais pour les hommes de sport sportsman par l usage des methodes nouvelles

MOVILISE-Le cours en anglais pour les hommes de sport sportsman par l usage des methodes nouvelles MOVILISE-Le cours en anglais pour les hommes de sport sportsman par l usage des methodes nouvelles 2009-1-TR1-LEO05-08709 1 Information sur le projet Titre: Code Projet: Année: 2009 Type de Projet: Statut:

Plus en détail

Introduction aux Composants Logiciels

Introduction aux Composants Logiciels Introduction aux Composants Logiciels Christian Pérez LIP/INRIA Année 2010-11 Plan Introduction aux composants logiciels Pourquoi des composants logiciels Notions de composants logiciels Conclusion Survol

Plus en détail

Génie Logiciel et Gestion de Projets

Génie Logiciel et Gestion de Projets Génie Logiciel et Gestion de Projets INFO-F-407 Ragnhild Van Der Straeten 2008-2009 ULB 1 Génie Logiciel et Gestion de Projets Organisation 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

Qualité et ERP CLOUD & SECURITY (HACKING) Alireza MOKHTARI. 9/12/2014 Cloud & Security

Qualité et ERP CLOUD & SECURITY (HACKING) Alireza MOKHTARI. 9/12/2014 Cloud & Security Qualité et ERP CLOUD & SECURITY (HACKING) Alireza MOKHTARI 9/12/2014 Cloud & Security Sommaire Rappel court de Cloud Pour quoi cette sujet est important? Données sensibles dans le Cloud Les risques Top

Plus en détail

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Système de formation fédérant trois projets du logiciel libre (Moodle, OpenGLM

Plus en détail

Product Platform Development: A Functional Approach Considering Customer Preferences

Product Platform Development: A Functional Approach Considering Customer Preferences Product Platform Development: A Functional Approach Considering Customer Preferences THÈSE N O 4536 (2009) PRÉSENTÉE le 4 décembre 2009 À LA FACULTé SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DES

Plus en détail

Cours 3 : Flot de concep6on et FPGA. Flot de concep6on. La synthèse 22/02/09. Architecture 2 Ensimag. Entrée : Descrip6on du circuit.

Cours 3 : Flot de concep6on et FPGA. Flot de concep6on. La synthèse 22/02/09. Architecture 2 Ensimag. Entrée : Descrip6on du circuit. Cours 3 : Flot de concep6on et FPGA Architecture 2 Ensimag Flot de concep6on Source : Spartan 3 Genera0on FPGA User Guide La synthèse Entrée : Descrip6on du circuit Schéma Langage de descrip6on (exemple

Plus en détail

Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs

Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Project Introduction and Stakeholder Consultation Introduction du projet et consultations publiques Agenda/Aperçu

Plus en détail

David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments

David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments Article (Accepted version) (Refereed) Original citation: Marsden, David

Plus en détail

Guide d installation du convertisseur USB-RS485

Guide d installation du convertisseur USB-RS485 Guide d installation du convertisseur USB-RS485 1.-Installation et connexion du convertisseur 1.1.-Connexion du convertisseur au réseau des étiqueteuses 2.-Installation du logiciel et configuration 2.1.-Installation

Plus en détail

6761 Validation de la conformité 21.03.2007

6761 Validation de la conformité 21.03.2007 6761 Validation de la conformité 21.03.2007 Peter DAEHNE 1 Tests de stress Les tests de stress permettent d étudier le comportement du logiciel lorsque celui-ci est mis dans des situations extrêmes, aux

Plus en détail

AINoE. Rapport sur l audition d AINoE Paris, 18 juin 2003

AINoE. Rapport sur l audition d AINoE Paris, 18 juin 2003 AINoE Abstract Interpretation Network of Excellence Patrick COUSOT (ENS, Coordinator) Rapport sur l audition d AINoE Paris, 18 juin 2003 Thématique Rapport sur l audition d AINoE Paris, 18 juin 2003 1

Plus en détail

Agile&:&de&quoi&s agit0il&?&

Agile&:&de&quoi&s agit0il&?& Association Nationale des Directeurs des Systèmes d Information &:&de&quoi&s agit0il&?& Pierre Delort, Président, Association Nationale des DSI http://www.andsi.fr/tag/delort/ Document confidentiel Ne

Plus en détail

MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT --------- FONCTIONNEMENT et GESTION des ECOSYSTEMES MARINS

MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT --------- FONCTIONNEMENT et GESTION des ECOSYSTEMES MARINS MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT --------- FONCTIONNEMENT et GESTION des ECOSYSTEMES MARINS PEGASEAS Theme: MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT: final outputs and Questions of the reports:

Plus en détail

Programme scientifique MUST

Programme scientifique MUST Programme scientifique MUST Management of Urban Smart Territories 03/06/2014 Claude Rochet - Florence Pinot 1 Qu est-ce qui fait qu une ville est «smart»? Ce n est pas une addition de «smarties»: smart

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

PrestoSpace. Richard Wright - BBC Archive

PrestoSpace. Richard Wright - BBC Archive PrestoSpace Richard Wright BBC Archive PrestoSpace Preservation towards storage and access. Standardised Practices for Audiovisual Contents in Europe Un Projet pour fédérer la Recherche sur la Sauvegarde

Plus en détail

SENEGAL DIAGNOSTICS DE LA GOUVERNANCE TRANSPORTS ET TRAVAUX PUBLICS

SENEGAL DIAGNOSTICS DE LA GOUVERNANCE TRANSPORTS ET TRAVAUX PUBLICS SENEGAL DIAGNOSTICS DE LA GOUVERNANCE TRANSPORTS ET TRAVAUX PUBLICS FOCUS GROUPE: Sociétés Privées qui Utilisent Services de Transport Terrestre et/ou PAD Groupe A Routes et Port Les questions de Sections

Plus en détail

6. Des objets bien conçus

6. Des objets bien conçus Conception objet en Java avec BlueJ une approche interactive 6. Des objets bien conçus David J. Barnes, Michael Kölling version française: Patrice Moreaux Rédigé avec 1.0 Conception objet en Java avec

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Canadian Worker Co-op Federation Annual General Meeting/Assemblé Générale Annuelle October/Octobre 30, 2015

Canadian Worker Co-op Federation Annual General Meeting/Assemblé Générale Annuelle October/Octobre 30, 2015 Annual General Meeting/Assemblé Générale Annuelle October/Octobre 30, 2015 How can you improve your co-op s bottom line? Comment pouvez-vous améliorer le revenu net de votre coopérative? How can you raise

Plus en détail

SC 27/WG 5 Normes Privacy

SC 27/WG 5 Normes Privacy SC 27/WG 5 Normes Privacy Club 27001 Toulousain 12/12/2014 Lionel VODZISLAWSKY Chief Information Officer l.vodzislawsky@celtipharm.com PRE-CTPM 141212-Club27001 Toulouse normes WG5_LV L organisation de

Plus en détail

Stéphane Lefebvre. CAE s Chief Financial Officer. CAE announces Government of Canada participation in Project Innovate.

Stéphane Lefebvre. CAE s Chief Financial Officer. CAE announces Government of Canada participation in Project Innovate. Stéphane Lefebvre CAE s Chief Financial Officer CAE announces Government of Canada participation in Project Innovate Montreal, Canada, February 27, 2014 Monsieur le ministre Lebel, Mesdames et messieurs,

Plus en détail

Vivre du logiciel libre Le modèle économique

Vivre du logiciel libre Le modèle économique Vivre du logiciel libre Le modèle économique vient AdaCore? Des origines universitaires Le projet GNAT à New York University (NYU) en 1991 100% de nos produits sont libres Développements propres (GNAT,

Plus en détail

ITIL V2 Processus : La Gestion des Configurations

ITIL V2 Processus : La Gestion des Configurations ITIL V2 Processus : La Gestion des Configurations Auteur: Fabian PIAU, Master 2 MIAGE, Nantes La Gestion des Configurations est un processus issu d ITIL version 2 qui aide au soutien du service («Service

Plus en détail

Comment développer des politiques et actions équitables et inclusives en s appuyant sur la culture?

Comment développer des politiques et actions équitables et inclusives en s appuyant sur la culture? Comment développer des politiques et actions équitables et inclusives en s appuyant sur la culture? 1 Protéger et promouvoir la créativité de l humanité Uncontacted tribe discovered in Brazilian Amazon,

Plus en détail

SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011

SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011 SUPPLY CHAIN MANAGEMENT Eléa 27 janvier 2011 Agenda Eléa : qui sommes-nous? Les enjeux et défis de la Supply Chain Quelles compétences / savoirs sont-ils nécessaires? Questions - réponses Agenda Eléa :

Plus en détail

3. Novembre 2009: Lausanne, Hôtel Mövenpick Abstract Workshop

3. Novembre 2009: Lausanne, Hôtel Mövenpick Abstract Workshop Couplage CCM-SM Couplage CCM-SM un système simple et effi cace. Détermination de la masse de chaque spot sûr plaques CCM. Jürg Leuenberger, CAMAG Tout simplement génial: CHROMELEON 7 et son E-Workflows

Plus en détail

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables Can operational planning decrease distribution costs? - La gestion prévisionnelle pour diminuer les coûts de distribution?

Plus en détail

NIMBUS TRAINING. Mise en œuvre d une SGBD dans toutes les étapes du projet. Déscription. Objectifs. Publics. Durée. Pré-requis

NIMBUS TRAINING. Mise en œuvre d une SGBD dans toutes les étapes du projet. Déscription. Objectifs. Publics. Durée. Pré-requis Mise en œuvre d une SGBD dans toutes les étapes du projet. Déscription A partir des retours d expérience, et des préconisations des éditeurs, présenter les facteurs clés de succès et les bonnes pratiques

Plus en détail

Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00

Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 HFFv2 1. OBJET L accroissement de la taille de code sur la version 2.0.00 a nécessité une évolution du mapping de la flash. La conséquence de ce

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

Plus en détail

Contractualiser un projet Agile. Comment s engager sans forfait global?

Contractualiser un projet Agile. Comment s engager sans forfait global? Contractualiser un projet Agile Comment s engager sans forfait global? Sommaire Le contrat au forfait : objectifs et limites Les critères de choix d un fournisseur Les trois engagements incontournables

Plus en détail

Implementation of OECD Guidelines in Canada

Implementation of OECD Guidelines in Canada Implementation of OECD Guidelines in Canada March 1314, 2001 Berlin, Germany 1. 2. 3. 4. Overview Canada s involvement in OECD on Electronic Commerce and Consumer Protection Electronic Commerce in Canada

Plus en détail

ERA-Net Call Smart Cities. CREM, Martigny, 4 décembre 2014 Andreas Eckmanns, Responsable de la recherche, Office Fédéral de l énergie OFEN

ERA-Net Call Smart Cities. CREM, Martigny, 4 décembre 2014 Andreas Eckmanns, Responsable de la recherche, Office Fédéral de l énergie OFEN ERA-Net Call Smart Cities CREM, Martigny, 4 décembre 2014 Andreas Eckmanns, Responsable de la recherche, Office Fédéral de l énergie OFEN Une Smart City, c est quoi? «Une Smart City offre à ses habitants

Plus en détail

INSTITUT MARITIME DE PREVENTION. For improvement in health and security at work. Created in 1992 Under the aegis of State and the ENIM

INSTITUT MARITIME DE PREVENTION. For improvement in health and security at work. Created in 1992 Under the aegis of State and the ENIM INSTITUT MARITIME DE PREVENTION For improvement in health and security at work Created in 1992 Under the aegis of State and the ENIM Maritime fishing Shellfish-farming Sea transport 2005 Le pilier social

Plus en détail

Route Planning Process to Date / Processus de planification du tracé à ce jour Study Area Constraints Mapping Developed to facilitate decisions to avoid or cross Study Area environmental features by proposed

Plus en détail

Veille - recherche enrichissement. Veille sur les technologies et pratiques émergentes Recherche :

Veille - recherche enrichissement. Veille sur les technologies et pratiques émergentes Recherche : CRIM Veille - recherche enrichissement Veille sur les technologies et pratiques émergentes Recherche : Repérer et développer d des technologies d avantd avant-garde et les transférer rer vers l entreprise,

Plus en détail

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels Yann-Gaël Guéhéneuc Professeur adjoint guehene@iro.umontreal.ca, local 2345 (Cours inspiré du cours du Pr. François

Plus en détail

Rational Unified Process

Rational Unified Process Rational Unified Process Hafedh Mili Rational Unified Process 1. Principes de base 2. Les phases 3. Les activités (workflows) Copyright Hafedh Mili 2005 2 1 Rational Unified Process Processus de développement

Plus en détail

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE PLAN Architecture GVA et NGVA SDF dans Architecture GVA

Plus en détail

PRECONISATION DE GERBAGE

PRECONISATION DE GERBAGE Superlift litres / diam. mm (8 ) Final packaging for pallet 1200 x 1000 mm. 1000 mm Final packaging for pallet 800 x 1200 mm. 800 mm 1200 mm 1200 mm Floor 35 containers High 5 containers (1 + 4) TOTAL:

Plus en détail

Stratégie de Convergence de VisualAge Pacbase

Stratégie de Convergence de VisualAge Pacbase IBM Software Group Stratégie de Convergence de VisualAge Pacbase Philippe Bauquel, VisualAge Pacbase Product Line Manager, IBM Rational SWG, Enterprise Tools & Compilers 2008 IBM Corporation Genèse du

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

Service Transition. Kamilia BAGUI PMP, ITIL Bagui.kamilia@gmail.com

Service Transition. Kamilia BAGUI PMP, ITIL Bagui.kamilia@gmail.com Service Transition Kamilia BAGUI PMP, ITIL Bagui.kamilia@gmail.com But Fournir des conseils pour le développement et l'amélioration des moyens pour le passage en production des nouveaux services et des

Plus en détail

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178 Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain

Plus en détail

Demandez le programme! La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués

Demandez le programme! La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués Demandez le programme! Communiqué de presse Toulouse, le 9 janvier 2014 La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués Evènement de référence pour les industriels

Plus en détail

Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB

Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB AUTOMGEN 8.009 Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB version 2 : support de sources vidéo, support 3D, support de l ensemble des objets IRIS 2D WEB

Plus en détail

Une version à jour de java DOIT être téléchargée, car MAC OS ne prend pas en charge la version de Java fournie par défaut.

Une version à jour de java DOIT être téléchargée, car MAC OS ne prend pas en charge la version de Java fournie par défaut. ENGLISH VERSION NEAR BOTTOM OF PAGE Aperçu de MFT Mac OS Les exigences applicables à un utilisateur de MAC avec le système MFT sont décrites ci-dessous. Par défaut, MFT sélectionne un téléchargeur standard

Plus en détail

Sun ONE Application Server Platform Summary

Sun ONE Application Server Platform Summary Sun ONE Application Server Platform Summary Version 7, Update 3 Part Number 817-5602-10 February 2004 This document provides the specifics on supported platform components for the Sun Open Net Environment

Plus en détail

MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION

MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION Ficep Group Company MANAGEMENT SOFTWARE FOR STEEL CONSTRUCTION KEEP ADVANCING " Reach your expectations " ABOUT US For 25 years, Steel Projects has developed software for the steel fabrication industry.

Plus en détail

PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF. Ianis Lallemand, 21 janvier 2013

PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF. Ianis Lallemand, 21 janvier 2013 PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF Ianis Lallemand, 21 janvier 2013 APPRENTISSAGE INTERACTIF definition Contours encore assez flous dans le champ de l apprentissage automatique. Néanmoins,

Plus en détail

Girls and Boys, Women and Men - Filles et garçons, femmes et hommes - respecting differences, promoting equality and sharing responsibility

Girls and Boys, Women and Men - Filles et garçons, femmes et hommes - respecting differences, promoting equality and sharing responsibility Girls and Boys, Women and Men - respecting differences, promoting equality and sharing responsibility Filles et garçons, femmes et hommes - respecter les différences, promouvoir l égalité et partager les

Plus en détail

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Karama KANOUN LAAS-CNRS Club SEE Systèmes Informatiques de Confiance Atelier du 20 octobre 2005 Logiciels sur étagère (libres ou commerciaux)

Plus en détail

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager.

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. Tivoli Key Lifecycle Manager Version 2.0 Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. National Language Version: To obtain the Quick Start

Plus en détail