--Séance 5 -- Test des exigences

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

Download "--Séance 5 -- Test des exigences"

Transcription

1 --Séance 5 -- Test des exigences Objectifs: Comprendre l importance des tests et leurs différents types Comprendre les pratiques du Test Driven Development (TDD) Être en mesure de réaliser des tests fonctionnels Explorer les méthodes et outils désignés pour les tests fonctionnels Découvrir une approche structurée pour un projet de test 2010 Exigences et spécifications du logiciel, N.Kerzazi 1

2 Sommaire Mise en contexte Concepts de la pratique Test Driven Development (TDD) et Test Driven Requirement (TDR) Définition des exigences des tests Positionnement des exigences des tests dans le processus de test Organisation et décomposition des exigences des tests Mesure de la couverture des tests 2

3 Rappel: Validation & Vérification Qualité du logiciel = Conformité aux spécifications + Fiabilité + Robustesse Méthodes de V & V Validation: Est-ce que le logiciel réalise les fonctions attendues? Vérification: Est-ce que le logiciel fonctionne correctement? Concrètement Test statique: Relecture du code, spécifications, design, etc; Test dynamique: Exécution du code pour s assurer de son bon fonctionnement; Vérification symbolique: Run-time checking, execution symbolique,etc; Vérification formelle: Preuve ou model-checking d un modèle formel, raffinement et génération de code Exigences et spécifications du logiciel, N.Kerzazi 3

4 Perspective du testeur: Vue traditionnelle Qu'est-ce que ce système est censé faire exactement et dans quel ordre? Quelles sont les choses qui risquent de ne pas fonctionner correctement et comment le système doit se comporter? Comment créer et enregistrer un ensemble de scénarios de test pour mettre à l épreuve le système? Comment savoir si tout le système a été correctement testé? Y a-t-il autre chose que le système doit faire ou ne pas faire et qu on doit savoir? Est-ce qu on peut commencer tôt les activités liées au test et éviter ainsi de découvrir des erreurs trop tard??? 2010 Exigences et spécifications du logiciel, N.Kerzazi 4

5 Perspective du testeur: Vue cas d utilisation Ensemble de cas d utilisation qui documente des séquences ordonnées d événements et la façon dont le système interagit avec l utilisateur. Description des pré-conditions et des post-conditions. Cahier de spécification supplémentaire contenant les ENF (performance, utilisabilité, fiabilité, etc.). Différence entre un cas d utilisation et un cas de test? 2010 Exigences et spécifications du logiciel, N.Kerzazi 5

6 Rappel du vocabulaire lié au test Plan de test Cas de test Procédure de test Script de test Couverture du test Résultats du test Plan de test Contient Cas de test Procédure de test Cas d utilisation Fournit des instruction pour Exécution automatique Script de test Résultats du test 2010 Exigences et spécifications du logiciel, N.Kerzazi 6

7 Définition du test [ Le test est l exécution ou l évaluation d un système ou d un composant par des moyens automatiques ou manuels, pour vérifier qu il répond à ses spécifications ou identifier les différences entre les résultats attendus et les résultats obtenus]. IEEE (Standard Glossary of Software Engineering Terminology) Tester c est réaliser l exécution du programme Oracle: résultats attendus d une exécution du logiciel Coût du test: 30 % à 60 % du coût de développement total Deux grandes familles de tests: Test fonctionnel (ou test boîte noire) Test structurel (ou test boîte blanche) 2010 Exigences et spécifications du logiciel, N.Kerzazi 7

8 Difficultés du test Le test exhaustif est en général impossible à réaliser: En test fonctionnel, l ensemble des données d entrée est en général infini ou de très grande taille. la qualité du test dépend de la pertinence du choix des données de test. Difficultés d ordre psychologique ou «culturel» Le test est un processus destructif: un bon test est un test qui trouve une erreur. Alors que l activité de programmation est un processus constructif Exigences et spécifications du logiciel, N.Kerzazi 8

9 Concepts de la pratique TTD Exigences Spécifications Approche Test-Driven Development: 1. Écrire un test et s assurer qu il échoue 2. Écrire le minimum de code pour faire passer le test 3. Re-factoriser le code en s assurant que le test continu de passer Caractéristiques: Tests d acceptation Tests fonctionnels S inspire de l organisation des chaînes de production «Lean-Thinking» 1. L étape de codage ne produit que ce qui est demandé par l étape de test 2. Pas de gâchis causé par des étapes intermédiaires 3. Tout est juste à temps (JIT) Les tests unitaires (TU) dérivent directement de la spécification L équipe agile mise sur l émergence de la conception donc les TU permettent de vérifier la bonne adéquation du code à la conception Est-ce qu on peut faire la même chose pour les tests fonctionnels? TDD 2010 Exigences et spécifications du logiciel, N.Kerzazi 9

10 Du TDD au TDR (Test-Driven Requirements) Avec les tests unitaires du TDD, les jeux de données sont peu représentatifs sur le plan fonctionnel. Les mêmes principes du TDD peuvent être appliqués au niveau fonctionnel TDR Caractéristiques du TDR Tirer les tests fonctionnels des exigences sans avoir à attendre leur réalisation pour faire les tests. Déléguer les tests fonctionnels aux clients. Intéressant pour des équipes réparties géographiquement. Possibilité d avoir dans le même wiki les exigences et les tests qui les vérifient. Le codage devient la dernière activité avant la livraison du logiciel. Supportée par des outils - FIT (http://fit.c2.com) - Fitnesse (http://www.fitnesse.org) - Greenpepper (http://www.greenpeppersoftware.com/) - Microsoft Test & Lab Manager 2010 Exigences et spécifications du logiciel, N.Kerzazi 10

11 Bases de l approche TDR Décrire des tests sous une forme tabulaire dans un Wiki ou une page Web Accompagner ce tableau d un bout de code, appelé fixture, qui fait le lien entre les tests et les API de l application Le moteur FIT utilise la fixture pour lire le tableau et appeler les API de l application avec les paramètres adéquats Le moteur FIT retourne le résultat du test dans le même tableau en mettant en couleur les cases du tableau selon le résultat du test Plusieurs catégories de tableaux sont disponibles: ColumnFixture : pour spécifier des données en entrée et des résultats attendus. ActionFixture : pour spécifier un enchainement d actions (décrire des scénarios de tests) RowFixture : pour spécifier des lignes de résultats. Généralement utilisé pour faire des initialisations ou pour vérifier des résultats de recherches Tableau personnalisé: pour une adaptation spécifique 2010 Exigences et spécifications du logiciel, N.Kerzazi 11

12 Exemple: très simple Ex. Tester le calcul de division pour voir s il est acceptable Partie 1: la spécification Nous voulons que la division fonctionne à la fois avec les nombres positifs et négatifs. Ex. Division = numéra Dénomin quotient Partie 2: les fixtures Exécution c: java FileRunner input.html results.html 7 right, 0 wrong, 0 ignored, 0 exceptions 2010 Exigences et spécifications du logiciel, N.Kerzazi 12

13 Approche MBT (Model-based Testing): alternative au TDR Principe: Élaborer un modèle à partir duquel on dérive automatiquement les scripts des tests La profondeur des tests que l on peut générer dépend de la précision du modèle L effort est considérable pour les activités de modélisation Exemple d outil Smartesting (http://www.smartesting.com/) Exigences Générateur de Cas de test Générateur de Script Modèle Cas de test Scripts de test Adaptateur Système 2010 Exigences et spécifications du logiciel, N.Kerzazi 13

14 Qu est ce que exactement les exigences des tests (ET)? Identifient quoi tester: (traditionnellement le plan de test) qu'est-ce qui doit être testé et qu'est-ce qui doit être validé? Comprend à la fois les situations normales et celles avec erreurs Couvre les règles de gestion, les fonctionnalités et les ENF NE dispose PAS de données pour les assigner aux cas de test Ces données apparaissent dans les cas de test (le «comment» des tests) 2010 Exigences et spécifications du logiciel, N.Kerzazi 14

15 Exemple 1: Tester l insertion d un enregistrement dans une table Les exigences des tests identifiées (entre autres) : Valider qu il est possible d insérer une nouvelle entrée Valider que l'insertion échoue si l'entrée existe déjà Valider que l'insertion échoue si la table atteint son maximum Valider qu il est possible d insérer une entrée dans une table vide (initial) Valider que l insertion échoue si la table est pleine o Ce sont des exigences de test et NON PAS des tests parce qu ils ne décrivent pas les données à insérer. Les données ne sont pas pertinentes à ce niveau, ils vont apparaitre dans les cas de test. Valider que vous pouvez insérer Mat Lavallée est un cas de test et non une exigence de test. 15

16 Pourquoi identifier les exigences de tests? L équipe d assurance qualité est propriétaire de ses besoins fonctionnels de test C est la base pour établir des tests complets Contribue à déterminer l'ampleur de l'effort de test Justifie les types de ressources nécessaires Sert à identifier les stratégies d automatisation à utiliser Sert de carte pour guider les efforts de test Sert de base pour la communication entre les analystes et les testeurs L équipe de développement peut les adopter pour la vérification 16

17 D où proviennent les exigences des tests Traditionnellement : Exigences d affaires, fonctionnelles, logique interne Specs marketing, specs fonctionnelles, specs techniques En réalité : Entrevues d analyse, checklists des ENF, Use Cases (scenarios), découverts pendant les tests, autres livrables (conception, etc.) 17

18 Comment les exigences des tests sont elles liées au plan de test? Traditionnellement, le plan de test représente le «quoi» doit être testés, y compris même les cas de test. Un plan de test clarifie l approche de test pour renforcer la confiance. Un plan de test peut inclure les exigences des tests (ET). Toutefois, si les ET sont trop longues, ils devraient être séparées: document nommé «Test Requirements Hierarchy». 18

19 Progression vers le bas niveau Exigences d affaires 1 Génère M Exigences des tests 1 Génère M Cas de test/ scénario M M Execute 1 Procédure de test/script 19

20 Naviguer vers le bas Exigences d affaires Premièrement, regardons cette relation: Qu'est-ce qui est au sein de notre processus de tests Exigences des tests Ensuite, nous allons examiner cette relation: Génération des exigences des tests qui nourrit notre processus de tests Cas de test/ scénario M Procédure de test/script 20

21 Exemple de guichet automatique (GA) pour pratiquer les ET Exigences d affaires Groupe d exercice! Le GA doit permettre des retraits. 1. Limiter le champ d'application à ces 3 exigences. Les retraits sont entre 20$ et 300 $. 2. Qu est ce qu il faut valider? (test de)? Les retraits sont des multiple de 20 $. 3. Existe- t- il des exigences implicites dont on a omis l écriture? 21

22 Exemple 2: Tester les retraits d un GA o Valider qu'une option de retrait est disponible o "Valider que le retrait se fait par multiple de 20 $, entre 20 $ $" o o o o "Valider qu un retrait <$20 n est pas permis" "Valider qu un retrait >$300 n est pas permis" Valider que le retrait reçue est égale au montant demandé "Valider le fait qu un montant de retrait valide ne doit pas dépasser le solde du compte o Ce sont des exigences de test et NON des test pas parce qu'ils ne décrivent pas les données à utiliser (comme 20 $, 40 $, 60 $, 1 $) 22

23 Exemple: Cas de test/scénario Valider qu on peut faire un retrait d argent entre 20$ et 300$ en billet de 20$ Cas# P/F $ entrée Résultat attendu Résultat actuel Retrait 01 Pass 20 Retrait de 20$ Retrait 02 Pass 40 Retrait de 40$ Retrait 03 Pass 60 Retrait de 60 $ Retrait 04 Pass 80 Retrait de 80$ Retrait 05 Pass 100 Retrait de 100 $ : : : : Retrait 13 Pass 260 Retrait de 260 $ Retrait 14 Pass 280 Retrait de 280$ Retrait 15 Pass 300 Retrait de 300$ 23

24 Exemple de procédure de test Procédure Étape 1: Insérer la carte Étape 2: Enter le PIN Étape 3: Sélectionnez l'option Retirer Étape 4: Entrez le montant en dollars Étape 5: Valider le montant reçu 24

25 Positionnement des ET dans le processus de test Utiliser un verbe d action - Valider que - Vérifier le - Tester que Utiliser la traçabilité vers les exigences d affaires Rappelez-vous que différentes applications nécessitent # approches - batch, web, GUI, etc. Garder votre document d exigences des tests vivant 2010 Exigences et spécifications du logiciel, N.Kerzazi 25

26 Suite Maintenir un équilibre entre les niveaux d abstraction (beaucoup vs peu) Trop haut niveau: ne sera pas utile, trop vague pour générer des scénarios de test. Trop faible niveau: dépasse le processus et la documentation, il n assure pas la productivité. Règle générale: 5-7 niveaux de profondeur pour chaque niveau Organiser le document des ET Souligner un format hiérarchique Voir comment les analystes découpent le projet Voir comment les architectes découpent le projet Organiser par fonctionnalité 26

27 Décomposition Exigences d affaires Business Function Tasks within the Function Transactions to perform a task Exigences des tests Data Entry Types for transactions Field Validation Gardez la perspective fonctionnelle en tête! Cas de test/ scénario M Procédure de test/script 27

28 Exemple: location de voiture 1. Valider qu'une location peut se produire. 1.4 Ouvrez un billet de location Task Valider qu'une fiche client peut être entrée Valider qu'un nouveau client peut être ajouté à la table des clients Valider que le nom est toujours alpha Valider que l âge est > Valider que le numéro de téléphone est numérique Valider que le code régional est un numéro existant Valider qu on peut modifier la fiche d un client existant 28

29 Exemple: location de voiture 1. Valider qu'une location peut se produire. 1.4 Ouvrez un billet de location Valider que l'approbation de carte de crédit est obtenue Valider que la date d expiration est valide Valider que la date d'expiration > 1 mois Valider que le CC est de 12 chiffres Valider que la somme $ est <= solde de crédit disponible Valider que l'autorisation est reçue. 29

30 Mesures de la couverture des tests Les exigences des tests (ET) sont le «quoi» tester et sont à la base pour l'établissement de la complétude des tests Les ET fournissent le point de mesure de la couverture des tests Chaque ET devrait avoir des attributs: priorité, risque, et poids Chaque ET devrait être suivie pour vérification () et validation (%) 30

31 Distinguer entre les # types de test Tests fonctionnels Tests des Interfaces Usager Tests de sécurité Tests de l installation Tests de configuration Tests de performance (Temps de Réponse) Tests de charge (utilisateurs simultanés, plusieurs petites transactions) Tests de volume (grandes transactions) Tests de stress (mémoire, CPU) Tests des ressource usager Tests de la documentation Tests de compatibility Tests de récupération Tests de maintenabilité Autres Communication avec les autres systèmes 31

32 Les trois dimension pour les tests Cycle de vie Système Intégration Module unitaire Caractéristiques Boite blanche Boite noire Niveau 2010 Exigences et spécifications du logiciel, N.Kerzazi 32

33 Complémentarité test fonctionnel -structurel Les techniques fonctionnelles et structurelles sont utilisées de façon complémentaire. Exemple : Soit le programme suivant censé calculer la somme de deux entiers: Function sum(x,y : integer) : integer; begin if (x = 600) and (y = 500) then sum:= x-y Else sum:= x+y; End Une approche fonctionnelle détectera difficilement le défaut alors qu une approche par analyse de code pourra produire la DT : x = 600, y = 500 Les approches structurellesdétectent plus facilement les erreurs commises. Les approches fonctionnelles détectent plus facilement les erreurs d omission et de spécification 2010 Exigences et spécifications du logiciel, N.Kerzazi 33

34 Méthodes de test fonctionnel Le test fonctionnel vise à examiner le comportement fonctionnel du logiciel et sa conformité avec la spécification du logiciel Sélection des Données de Tests ( DT) Méthodes du test fonctionnel 1. Analyse partitionnelle des domaines des données d entrée et test aux limites (test déterministe) 2. Test combinatoire: Algorithmes Pairwise 3. Test aléatoire 4. Génération automatique de tests à partir d une spécification (TDR) Exigences et spécifications du logiciel, N.Kerzazi 34

35 1. Analyse partitionnelle des domaines des données d entrée et test aux limites (test déterministe) Une classe d équivalence correspond à un ensemble de données de tests supposées tester le même comportement, c est-à-dire activer le même défaut Exigences et spécifications du logiciel, N.Kerzazi 35

36 Partitionnement de domaines : exemple Soit le programme suivant : Un programme lit trois nombres réels qui correspondent à la longueur des cotés d un triangle. Si ces trois nombres ne correspondent pas à un triangle, imprimer le message approprié. Dans le cas d un triangle, le programme examine s il s agit d un triangle isocèle, équilatéral ou scalène et si son plus grand angle est aigu, droit ou obtus (< 90, = 90, > 90 ) et renvoie la réponse correspondante. Classes d équivalence et Données de Test 2010 Exigences et spécifications du logiciel, N.Kerzazi 36

37 Analyse partitionnelle - Méthode Trois phases : Pour chaque donnée d entrée, calcul de classes d équivalence sur les domaines de valeurs, Choix d un représentant de chaque classe d équivalence, Composition par produit cartésien sur l ensemble des données d entrée pour établir les DT Exigences et spécifications du logiciel, N.Kerzazi 37

38 Test aux limites Principe : on s intéresse aux bornes des intervalles partitionnant les domaines des variables d entrées : pour chaque intervalle, on garde les 2 valeurs correspondant aux 2 limites, et les 4 valeurs correspondant aux valeurs des limites ± le plus petit delta possible n v1 = 3, v2 = 15, v3 = 2, v4 = 4, v5 = 14, v6 = 16 si la variable appartient à un ensemble ordonnés de valeurs, on choisit le premier, le second, l avant dernier et le dernier n {-7, 2, 3, 157, 200} v1 = -7, v2 = 2, v3 = 157, v4 = 200 si une condition d entrée spécifie un nombre de valeurs, définir les cas de test à partir du nombre minimum et maximum de valeurs, et des test pour des nombres de valeurs hors limites invalides. Un fichier d entrée contient records, produire un cas de test pour 0, 1, 255 et Exigences et spécifications du logiciel, N.Kerzazi 38

39 Test aux limites -Exemple Calcul des limites sur l exemple du programme de classification des triangles 1, 1, 2 0, 0, 0 4, 0, 3 1, 2, , 0.001, , 99999, , 3, , 3, 4 3, 4, , 4, 5, 6 3-3, -3, 5 Non triangle Un seul point Une des longueurs est nulle Presque un triangle sans en être un Très petit triangle Très grand triangle Presque équilatéral Presque isocèle Presque droit Quatre données Une seule donnée Entrée vide Entrée négative 2010 Exigences et spécifications du logiciel, N.Kerzazi 39

40 Test aux limites -Evaluation Méthode de test fonctionnel très productive : le comportement du programme aux valeurs limites est souvent pas ou insuffisamment examiné Couvre l ensemble des phases de test (unitaires, d intégration, de conformité et de régression) Inconvénient : caractère parfois intuitif ou subjectif de la notion de limite Difficulté pour caractériser la couverture de test Exigences et spécifications du logiciel, N.Kerzazi 40

41 Méthodes de test fonctionnel -Exercice 1 Supposons que nous élaborions un compilateur pour le langage BASIC. Un extrait des spécifications précise : «L instruction FOR n accepte qu un seul paramètre en tant que variable auxiliaire. Son nom ne doit pas dépasser deux caractères non blancs; Après le signe = est précisée aussi une borne supérieure et une borne inférieure. Les bornes sont des entiers positifs et on place entre eux le mot-clé TO.» Déterminer par analyse partitionnelledes domaines des données d entrée les cas de test à produire pour l instruction FOR Exigences et spécifications du logiciel, N.Kerzazi 41

42 Méthodes de test fonctionnel -Correction Exercice 1 DT obtenues par analyse partitionnelle pour l instruction FOR: FOR A=1 TO 10 cas nominal FOR A=10 TO 10 égalité des bornes FOR AA=2 TO 7 deux caractères pour la variable FOR A, B=1 TO 8 Erreur -deux variables FOR ABC=1 TO 10 Erreur -trois caractères pour la variable FOR I=10 TO 5 Erreur -Borne sup < Borne inf FOR =1 TO 5 Erreur -variable manquante FOR I=0.5 TO 2 Erreur -Borne inf décimale FOR I=1 TO 10.5 Erreur -Borne sup décimale FOR I=7 10 Erreur -TO manquant 2010 Exigences et spécifications du logiciel, N.Kerzazi 42

43 Méthodes de test fonctionnel-exercice 2 Considérons les spécifications suivantes : «Écrire un programme statistique analysant un fichier comprenant les noms et les notes des étudiants d une année universitaire. Ce fichier se compose au maximum de 100 champs. Chaque champ comprend le nom de l étudiant (20 caractères), son sexe (1 caractère) et ses notes dans 5 matières (entiers compris entre 0 et 20). Le but du programme est de : calculer la moyenne pour chaque étudiant, calculer la moyenne générale (par sexe et par matière), calculer le nombre d étudiants qui ont réussi (moyenne supérieure à10) Déterminer par une approche aux limites les cas de test à produire pour cette spécification 2010 Exigences et spécifications du logiciel, N.Kerzazi 43

44 Méthodes de test fonctionnel -Correction Exercice 2 DT obtenues par test aux limites pour l exemple étudiants : passage d un fichier vide, puis comprenant 1 champ, 99, 100 et 101 ( 5 tests différents, la valeur -1 n ayant pas de sens dans ce cas); inclure un nom d étudiant vide, un nom avec des caractères de contrôle, un nom avec 19, puis 20, puis 21 caractères; inclure un code sexe vide, puis avec un caractère faux (C par exemple); avoir un étudiant sans aucune note et un avec plus de 5 notes; pour certains champs, les notes ne doivent pas être des nombres entiers, mais des caractères, des réels avec plusieurs décimales, des nombres négatifs ou des nombres entiers supérieurs à20. Les DT aux limites doivent être passées indépendamment : les erreurs peuvent se compenser Exigences et spécifications du logiciel, N.Kerzazi 44

45 2. Test combinatoire: Algorithmes Pairwise Les combinaisons de valeurs de domaines d entrée donne lieu a une explosion combinatoire Exemple : Options d une boite de dialogue MS Word 2 12 * 3 (nombre d item dans le menu déroulant) = Exigences et spécifications du logiciel, N.Kerzazi 45

46 Test combinatoire: Approche Pairwise Tester un fragment des combinaisons de valeurs qui garantissent que chaque combinaison de 2 variables est testée Exemple : 4 variables avec 3 valeurs possibles chacune 2010 Exigences et spécifications du logiciel, N.Kerzazi 46

47 Pairwise 9 cas de test : chaque combinaison de 2 valeurs est testée La majorité des fautes sont détectées par des combinaisons de 2 valeurs de variables 2010 Exigences et spécifications du logiciel, N.Kerzazi 47

48 3. Test aléatoire ou statistique Principe : utilisation d une fonction de calcul pour sélectionner les DT : fonction aléatoire : choix aléatoire dans le domaine de la donnée d entrée, utilisation d une loi statistique sur le domaine. Exemples : Échantillonnage de 5 en 5 pour une donnée d entrée représentant une distance, Utilisation d une distribution gaussienne pour une donnée représentant la taille des individus Exigences et spécifications du logiciel, N.Kerzazi 48

49 Test combinatoire - Evaluation L approche Pairwise se décline avec des triplets, des quadruplets,. mais le nombre de tests augmente exponentiellement Une dizaine d outils permet de calculer les combinaisons en Pairwise (ou n-valeurs) : Prise en charge des exclusions entre valeurs des domaines et des combinaisons déjà testées. Exemple : outil Pro Test Problème du Pairwise: Le choix de la combinaison de valeurs n est peut-être pas celui qui détecte le bogue Les résultats attendus de chaque test doivent être fournis manuellement 2010 Exigences et spécifications du logiciel, N.Kerzazi 49

50 Conclusion Tout démarre d une bonne spécification. Elle doit être testable Les approches TDD et TDR valorisent les activités de test. À long terme, les rôles Analyste et Testeur fusionneront, car il n existera plus de besoin d avoir des ressources spécialisées sur les exigences et sur les tests (pratiques: Exigences, TDD, TDR). Les exigences des tests sont la base pour établir des tests complets Quatre grandes méthodes pour les tests fonctionnels 2010 Exigences et spécifications du logiciel, N.Kerzazi 50

51 Annexe: Microsoft Test & Lab Manager (MTLM) 2010 Exigences et spécifications du logiciel, N.Kerzazi 51

52 Ajout d un élément de travail pour un cas de test 2010 Exigences et spécifications du logiciel, N.Kerzazi 52

53 Exécution d un cas de test dans MTLM (Microsoft Test Runner) 2010 Exigences et spécifications du logiciel, N.Kerzazi 53

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

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

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

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

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

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

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

Agilitéet qualité logicielle: une mutation enmarche

Agilitéet qualité logicielle: une mutation enmarche Agilitéet qualité logicielle: une mutation enmarche Jean-Paul SUBRA Introduction : le manifeste Agile Manifeste pour le développement Agile de logiciels Nous découvrons comment mieux développer des logiciels

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

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

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

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES MODEL-BASED TESTING (MBT) CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES Le Model-Based Testing est une pratique de test en plein développement dans l'industrie pour accroitre l'efficacité

Plus en détail

Guichet automatique de banque

Guichet automatique de banque Guichet automatique de banque Mastère 2004 1 Guichet automatique de banque : GAB Objectif : Illustrer la vue fonctionnelle et particulièrement la définition des cas d utilisation. 1. Spécification du problème

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

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

GUIDE Outlook Version du 17 novembre 2010

GUIDE Outlook Version du 17 novembre 2010 GUIDE Outlook Version du 17 novembre 2010 Table des matières Qu est-ce qu Outlook?... 2 1. Découverte de l interface d Outlook... 2 2 Description de la liste des dossiers.... 3 3. Description des types

Plus en détail

Présentation du projet:

Présentation du projet: : Le but du projet est de réaliser le fonctionnement d'un jeu d échec valide. Plus spécifiquement, il consiste à implémenter l'organisation générale du jeu, et le suivi des règles du mouvement des pièces.

Plus en détail

Cours de Test Logiciel

Cours de Test Logiciel S.Bardin Test Logiciel 1/ 31 Cours de Test Logiciel Leçon 4 : Tests de régression Sébastien Bardin CEA-LIST, Laboratoire de Sûreté Logicielle sebastien.bardin@cea.fr http://sebastien.bardin.free.fr Tests

Plus en détail

Bruno Legeard Laboratoire d Informatique de l Université de Franche-Comté

Bruno Legeard Laboratoire d Informatique de l Université de Franche-Comté Cours Test de Logiciels Bruno Legeard Laboratoire d Informatique de l Université de Franche-Comté Plan du cours Test de logiciels 1 - Introduction au test de logiciels Définition du test Petite auto-évaluation

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

IMPLANTATION D UNE BASE DE DONNEES SOUS MS-ACCESS 97

IMPLANTATION D UNE BASE DE DONNEES SOUS MS-ACCESS 97 Stage STT050 - Novembre 2000 Page 1 IMPLANTATION D UNE BASE DE DONNEES SOUS MS-ACCESS 97 GENERALITES SUR MS-ACCESS Fonctionnalités de MS-ACCESS Access 97 est un produit Microsoft de type SGBDR (Système

Plus en détail

Les formations. Développeur Logiciel. ENI Ecole Informatique

Les formations. Développeur Logiciel. ENI Ecole Informatique page 1/8 Titre professionnel : Inscrit au RNCP de Niveau III (Bac + 2) (J.O. du 19/02/13) 24 semaines + 8 semaines de stage (uniquement en formation continue) Développer une application orientée objet

Plus en détail

Logiciel Libre Cours 3 Fondements: Génie Logiciel

Logiciel Libre Cours 3 Fondements: Génie Logiciel Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/

Plus en détail

NETWORK & SOFTWARE ENGINEERING MANUEL D UTILISATEUR. Logiciel TIJARA. NETWORK AND SOFTWARE ENGINEERING Manuel d'utilisateur "TIJARA" 1

NETWORK & SOFTWARE ENGINEERING MANUEL D UTILISATEUR. Logiciel TIJARA. NETWORK AND SOFTWARE ENGINEERING Manuel d'utilisateur TIJARA 1 NETWORK & SOFTWARE ENGINEERING MANUEL D UTILISATEUR Logiciel TIJARA Manuel d'utilisateur "TIJARA" 1 SOMMAIRE Introduction Première partie Chapitre 1 : Installation et démarrage Chapitre 2 : Architecture

Plus en détail

Vérifier la qualité de vos applications logicielle de manière continue

Vérifier la qualité de vos applications logicielle de manière continue IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions

Plus en détail

Introduction au Génie Logiciel

Introduction au Génie Logiciel Introduction au Génie Logiciel F. Langrognet F. Langrognet Génie logiciel Septembre 2015 1 / 23 PLAN 1 Génie logiciel 2 Cycle de vie du logiciel Etapes Modèles - Méthodes Outils F. Langrognet Génie logiciel

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

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

Techniques de Développement

Techniques de Développement Techniques de Développement Quelques définitions relatives au développement de logiciel Sébastien Faucou Université de Nantes (IUT de Nantes, département Informatique) Licence Professionnelle Systèmes

Plus en détail

Tp n 2 : Fonctions statistiques et VBA (Visual Basic for Applications)

Tp n 2 : Fonctions statistiques et VBA (Visual Basic for Applications) Tp n 2 : Fonctions statistiques et VBA (Visual Basic for Applications) Partie 1: Fonctions statistiques Excel permet d effectuer une analyse statistique d un fichier de données à l aide d un utilitaire

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

Formula Negator, Outil de négation de formule.

Formula Negator, Outil de négation de formule. Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente

Plus en détail

Système de contrôle du trafic d une ligne de métro Dossier de tests

Système de contrôle du trafic d une ligne de métro Dossier de tests Système de contrôle du trafic d une ligne de métro Dossier de tests Tests NI557/STL/M2/INFO/UPMC Action Date Auteur Statut Création 05/03/2012 P.Manoury En cours 1 Description et exigences fonctionnelles

Plus en détail

Annexe : La Programmation Informatique

Annexe : La Programmation Informatique GLOSSAIRE Table des matières La Programmation...2 Les langages de programmation...2 Java...2 La programmation orientée objet...2 Classe et Objet...3 API et Bibliothèque Logicielle...3 Environnement de

Plus en détail

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Encadrement : Mihaela BARREAU Anthony FAUCOGNEY René Christian TUYISHIME

Plus en détail

DECHARGEMENT ET CHARGEMENT MASSIF DES DONNEES

DECHARGEMENT ET CHARGEMENT MASSIF DES DONNEES DECHARGEMENT ET CHARGEMENT MASSIF DES DONNEES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas être

Plus en détail

Télécharger le fichier de la... 39. Télécharger le fichier de la... 40. Télécharger le fichier de la... 41 Télécharger le fichier de la...

Télécharger le fichier de la... 39. Télécharger le fichier de la... 40. Télécharger le fichier de la... 41 Télécharger le fichier de la... CONFIGURATION... Créer le compte bancaire... Sélectionner un compte par défaut... 7 Configurer la numérotation des reçus... Configurer la numérotation des chèques... 0 Configurer le format des chèques

Plus en détail

Avant de commencer Au sommaire de ce chapitre

Avant de commencer Au sommaire de ce chapitre 1 Avant de commencer Au sommaire de ce chapitre Configuration requise pour utiliser Visual Basic 2010 Les différentes versions de Visual Basic 2010 Installation de Visual Studio 2010 Premier contact avec

Plus en détail

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes

Plus en détail

Bruno Legeard Fabrice Bouquet Laboratoire d Informatique de l Université de Franche-Comté

Bruno Legeard Fabrice Bouquet Laboratoire d Informatique de l Université de Franche-Comté Cours Test de Logiciels Bruno Legeard Fabrice Bouquet Laboratoire d Informatique de l Université de Franche-Comté Plan du cours Test de logiciels 1 - Introduction au test de logiciels Définition du test

Plus en détail

GÉNIE LOGICIEL (SOFTWARE ENGINEERING)

GÉNIE LOGICIEL (SOFTWARE ENGINEERING) GÉNIE LOGICIEL (SOFTWARE ENGINEERING) 5ÈME PARTIE UML (UNIFIED MODELING LANGUAGE) Faculté des Sciences et Techniques http://labh-curien.univ-st-etienne.fr/~fj/gl Francois.Jacquenet@univ-st-etienne.fr Plan

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

MODÉLISATION DES BESOINS

MODÉLISATION DES BESOINS MODÉLISATION DES BESOINS Diagrammes de cas d utilisation Cas d'utilisation : Use Case (Jacobson) Permettent déxprimer les attentes/besoins des utilisateurs Permettent de définir les limites du système

Plus en détail

Le service pack 6 (SP6) est le dernier disponible pour visual studio 6. Ce dernier devrait être maintenu par Microsoft jusqu en 2008.

Le service pack 6 (SP6) est le dernier disponible pour visual studio 6. Ce dernier devrait être maintenu par Microsoft jusqu en 2008. 1 CONCEPT DE BASE 1.1 Visual Basic 6 1.1.1 Pour quoi faire? VB est un langage de type RAD : «Rapid Application Development». Il permet de créer des applications rapidement grâce à une conception simple

Plus en détail

Chap. VII : arbres binaires

Chap. VII : arbres binaires Chap. VII : arbres binaires 1. Introduction Arbre : collection d objets avec une structure hiérarchique Structure intrinsèque descendants d une personne (elle incluse) A ascendant connus d une personne

Plus en détail

Génie logiciel Configuration et déploiement

Génie logiciel Configuration et déploiement Génie logiciel Configuration et déploiement SPE4 - ESI 1 Configuration et déploiement Rôle Logiciel d installation d application Importance Critique : doit accompagner tout développement Outils de développement

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

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

Behaviour Driven Development (BDD)

Behaviour Driven Development (BDD) Behaviour Driven Development (BDD) Travail de Bachelor réalisé en vue de l obtention du Bachelor HES par : Cyril DONNAT Conseiller au travail de Bachelor : Peter DAEHNE, Professeur HES Genève, le 16 Avril

Plus en détail

Systèmes à base de règles

Systèmes à base de règles Systèmes à base de règles 1/100 Introduction Méthode classique de représentation de connaissances (1943, règles de production). Souvent utilisé en IA et dans les systèmes experts (semblable aux raisonnements

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

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

Module 2 Création d un formulaire simple

Module 2 Création d un formulaire simple Form Builder Développement d un formulaire Sauvegarde d un formulaire Établir une connexion avec le serveur Fenêtre de navigation Assistant de création de blocs (Data Block Wizard) Assistant de mise en

Plus en détail

Gesrisk. Tableau de bord de gestion. Logiciel édité par Optimum Conseil. Version 1.4 pour Microsoft Excel

Gesrisk. Tableau de bord de gestion. Logiciel édité par Optimum Conseil. Version 1.4 pour Microsoft Excel Logiciel édité par Optimum Conseil Gesrisk Tableau de bord de gestion Version 1.4 pour Microsoft Excel Copyright 2008-2014 Optimum Conseil page 1 / 14 Introduction Ce document est destiné aux utilisateurs

Plus en détail

Utilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008

Utilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008 Introduction Utilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008 Forms 10g permet l utilisation du JAVA côté client et côté application

Plus en détail

Alignement avec les métiers par le test fonctionnel et d acceptation en projets agiles

Alignement avec les métiers par le test fonctionnel et d acceptation en projets agiles Alignement avec les métiers par le test fonctionnel et d acceptation en projets agiles Laurent PY CEO, Smartesting Laurent.py@smartesting.com @py_laurent www.smartesting.com Guillaume Coquelle Testeur,

Plus en détail

Setting Up PC MACLAN File Server

Setting Up PC MACLAN File Server Setting Up PC MACLAN File Server Setting Up PC MACLAN File Server Ce chapitre explique comment paramètrer le Serveur de fichiers PC MACLAN, une fois la procédure d installation terminée. Les sujets sont

Plus en détail

Positionnement de UP

Positionnement de UP UNIFIED PROCESS Positionnement de UP Unified Process Langage Méthode Outil logiciel UML UP RUP 6 BONNES PRATIQUES développement itératif gestion des exigences architecture basée sur des composants modélisation

Plus en détail

Projet de Programmation Fonctionnelle

Projet de Programmation Fonctionnelle Projet de Programmation Fonctionnelle L objectif de ce projet est de concevoir, en Objective Caml, un évaluateur pour le langage mini-ml (un sous ensemble du langage Objective Caml). Votre programme devra

Plus en détail

Algorithmique et Analyse d Algorithmes

Algorithmique et Analyse d Algorithmes Algorithmique et Analyse d Algorithmes L3 Info Cours 5 : Structures de données linéaires Benjamin Wack 2015-2016 1 / 37 La dernière fois Logique de Hoare Dichotomie Aujourd hui Type Abstrait de Données

Plus en détail

Comité Français des Tests Logiciels. Testeur Certifié. Version 2012

Comité Français des Tests Logiciels. Testeur Certifié. Version 2012 Testeur Certifié Version 2012 Copyright Ce document ne peut être copié intégralement ou partiellement que si la source est mentionnée. Version 2012 Page 1 sur 18 19 octobre 2012 Copyright, (appelé ci-après

Plus en détail

Site Web de commande Brother pour détaillants Manuel d instructions

Site Web de commande Brother pour détaillants Manuel d instructions Site Web de commande Brother pour détaillants Manuel d instructions https://ventes.brother.ca Janvier 2010 Pour commencer...3 Quel site?...3 Qui peut avoir accès au site Web?...3 Caractéristiques et avantages...3

Plus en détail

Module 351 - Informatique - 1er semestre 2009-2010

Module 351 - Informatique - 1er semestre 2009-2010 Module 351 - Informatique - 1er semestre 2009-2010 1 Généralités 1.1 Utilisation de l informatique dans un contexte scientifique. Deux alternatives: 1. Utiliser des logiciels existants. Exemple: traitement

Plus en détail

Environnements de développement (intégrés)

Environnements de développement (intégrés) Environnements de développement (intégrés) Tests unitaires, outils de couverture de code Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure

Plus en détail

Présentation du langage et premières fonctions

Présentation du langage et premières fonctions 1 Présentation de l interface logicielle Si les langages de haut niveau sont nombreux, nous allons travaillé cette année avec le langage Python, un langage de programmation très en vue sur internet en

Plus en détail

Informatique TP1 : Découverte de Python CPP 1A

Informatique TP1 : Découverte de Python CPP 1A Informatique TP1 : Découverte de Python CPP 1A Romain Casati, Wafa Johal, Frederic Devernay, Matthieu Moy Avril - juin 2014 1 Découverte de l IDE : IDLE IDLE est un environnement de développement (Integrated

Plus en détail

Word 2000 FR. Mailing - avancé

Word 2000 FR. Mailing - avancé Word 2000 FR Mailing - avancé Word 2000 FR sur Windows 2000 UK Chambre des représentants, BXL 2006 Par PASCAL CAMBIER http://pascal.cambier.eu 1 Table des matières 1 Table des matières... 2 2 Options de

Plus en détail

TD n 4 - Développement dirigé par les tests

TD n 4 - Développement dirigé par les tests ENSEIRB Année 2013-2014 3ème année IT306 TD n 4 - Développement dirigé par les tests Résumé : Cette séance décrit une méthode de développment nommée développement dirigé par les tests, qui s appuie sur

Plus en détail

Cours Visual Basic pour Application. Par Fabrice Pasquier

Cours Visual Basic pour Application. Par Fabrice Pasquier Cours Visual Basic pour Application Par Fabrice Pasquier Sommaire Introduction à la programmation Motivation - démos VBA et VB Syntaxe de base, variables Opérateurs de base, boucles Intégration à MS Excel

Plus en détail

Introduction à Scilab

Introduction à Scilab Introduction à Scilab Nicolas Kielbasiewicz 21 juin 2007 Scilab est un logiciel gratuit développé à l INRIA (l Institut National de Recherche en Informatique et Automatique) sous Windows, Linux et Mac,

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

Manuel d utilisation du site web de l ONRN

Manuel d utilisation du site web de l ONRN Manuel d utilisation du site web de l ONRN Introduction Le but premier de ce document est d expliquer comment contribuer sur le site ONRN. Le site ONRN est un site dont le contenu est géré par un outil

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

Manuel de Trading Bienvenue dans le monde palpitant du trading des options binaires!

Manuel de Trading Bienvenue dans le monde palpitant du trading des options binaires! Manuel de Trading Bienvenue dans le monde palpitant du trading des options binaires! Ce manuel vous expliquera exactement ce que sont les options binaires, comment les trader et comment utiliser notre

Plus en détail

Fidélité Type 3 Carte de points et cartes cadeaux avec

Fidélité Type 3 Carte de points et cartes cadeaux avec Fidélité Type 3 Carte de points et cartes cadeaux avec Le but de cette fonction est de permettre à un commerçant d offrir à ses clients des cartes de points, leur permettant d accumuler des points et de

Plus en détail

Des macros Excel pour exporter et importer des modules de code VBA

Des macros Excel pour exporter et importer des modules de code VBA Cah. Techn. Inra, 2008, 65, 13-22 Des macros Excel pour exporter et importer des modules de code VBA Jean-Baptiste Duclos 1 Résumé : Cet article présente deux macros VBA Excel pour sauvegarder facilement

Plus en détail

CARPE. Documentation Informatique S E T R A. Version 2.00. Août 2013. CARPE (Documentation Informatique) 1

CARPE. Documentation Informatique S E T R A. Version 2.00. Août 2013. CARPE (Documentation Informatique) 1 CARPE (Documentation Informatique) 1 CARPE Version 2.00 Août 2013 Documentation Informatique S E T R A Programme CARPE - Manuel informatique de l'utilisateur CARPE (Documentation Informatique) 2 Table

Plus en détail

Outils de test et d analyse logiciels pour la productivité et la qualité

Outils de test et d analyse logiciels pour la productivité et la qualité Principes, techniques et outils de test Outils de test et d analyse logiciels pour la productivité et la qualité Klaus Lambertz, Co-fondateur de Verifysoft Mulhouse, le 30 novembre 2009 Agenda Verifysoft

Plus en détail

Jeu de Dames. Rapport de projet. Etudiants : Tuteur : Mohr Maxence Ollagnon Julien. Informatique 3 ème année Promo 2016 Projet Algorithmique

Jeu de Dames. Rapport de projet. Etudiants : Tuteur : Mohr Maxence Ollagnon Julien. Informatique 3 ème année Promo 2016 Projet Algorithmique Polytech'Marseille Case 925 163, avenue de Luminy 13288 Marseille cedex 9 Informatique 3 ème année Promo 2016 Projet Algorithmique Jeu de Dames Rapport de projet Etudiants : Tuteur : Charton Trystan Alexandra

Plus en détail

Industrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational

Industrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational IBM Software Group Industrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational Fernard Bonaguidi fernand.bonaguidi@fr.ibm.com

Plus en détail

Créez des étiquettes avec Microsoft Word et Excel (Versions Windows 10 et 11)

Créez des étiquettes avec Microsoft Word et Excel (Versions Windows 10 et 11) MICROSOFT WORD POUR WINDOWS Créez des étiquettes avec Microsoft Word et Excel (Versions Windows 10 et 11) Imprimer des étiquettes, c est possible avec le couple Microsoft Word et Microsoft Excel. Nous

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

UML Mise en œuvre dans un projet. Emmanuel Pichon 2013

UML Mise en œuvre dans un projet. Emmanuel Pichon 2013 UML Mise en œuvre dans un projet 2013 Introduction Rôles et activités dans un projet Définir la méthode de votre projet Adapter la modélisation à la méthode de votre projet Conseils de mise en œuvre de

Plus en détail

PRODUCTION DE JEUX DE DONNÉES ANONYMISÉES

PRODUCTION DE JEUX DE DONNÉES ANONYMISÉES PRODUCTION DE JEUX DE DONNÉES ANONYMISÉES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas être considérés

Plus en détail

Préparation à l examen EFA en Macro

Préparation à l examen EFA en Macro Préparation à l examen EFA en Macro Exercice sur les macros en Word / Excel Les questions suivantes doivent constituer un bref rafraîchissement et vous aider à situer le niveau de vos connaissances : Question

Plus en détail

Module 3 Exécution, interrogation d un formulaire

Module 3 Exécution, interrogation d un formulaire Module 3 Exécution, interrogation d un formulaire Manipulation du module Form Le module Form est un programme source qui peut être enregistré dans la base de données ou dans un fichier binaire sur le disque

Plus en détail

Algorithmie ISI301 TP 1 : Python et premiers algorithmes

Algorithmie ISI301 TP 1 : Python et premiers algorithmes Algorithmie ISI301 TP 1 : Python et premiers algorithmes 1 Python : apprentissage Pour avoir une vision plus large des différentes possibilités du langage Python, nous ne pouvons que vous conseiller d

Plus en détail

EN BLANC AVANT IMPRESSION»»»

EN BLANC AVANT IMPRESSION»»» Ce modèle doit se trouver sous le répertoire C:\Users\toto\AppData\Roaming\Microsoft\Templates EN BLANC AVANT IMPRESSION»»» Version : 1.0.54 Date du livrable : Mars 2015. Pour rafraîchir le numéro de version,

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

Ricco Rakotomalala http://eric.univ-lyon2.fr/~ricco/cours/cours_programmation_python.html. R.R. Université Lyon 2

Ricco Rakotomalala http://eric.univ-lyon2.fr/~ricco/cours/cours_programmation_python.html. R.R. Université Lyon 2 Ricco Rakotomalala http://eric.univ-lyon2.fr/~ricco/cours/cours_programmation_python.html 1 Généralités sur la programmation ALGORITHMIE - PROGRAMMATION 2 Algorithmie vs. Programmation Algorithmie Programme

Plus en détail

Dimensionner une application ou un projet?

Dimensionner une application ou un projet? CNAM- 13 Juin 2001 Processus d estimation de projet logiciels dans les domaines de Systèmes d Information Dimensionner une application ou un projet? François de Verdière Directeur IMRglobal ! Préambule!

Plus en détail

Plan du cours 2014-2015. Cours théoriques. 29 septembre 2014

Plan du cours 2014-2015. Cours théoriques. 29 septembre 2014 numériques et Institut d Astrophysique et de Géophysique (Bât. B5c) Bureau 0/13 email:.@ulg.ac.be Tél.: 04-3669771 29 septembre 2014 Plan du cours 2014-2015 Cours théoriques 16-09-2014 numériques pour

Plus en détail

Les BRMS Business Rules Management System. Groupe GENITECH

Les BRMS Business Rules Management System. Groupe GENITECH Les BRMS Business Rules Management System 1 Présentations Emmanuel Bonnet ebonnet (at) genigraph.fr Responsable Dpt Conseil Consultant, Expert BRMS Formateur IBM/Ilog JRules / JBoss Rules Génigraph SSII

Plus en détail

Ingénérie logicielle dirigée par les modèles

Ingénérie logicielle dirigée par les modèles Ingénérie logicielle dirigée par les modèles Destercq Lionel & Dubuc Xavier 17 décembre 2009 Table des matières 1 Introduction 1 2 Diagrammes de classes 1 2.1 Principal..............................................

Plus en détail

...5 1.1 Description...5. 1.0 Introduction...5....5 1.2 Conditions d utilisation...5....5 1.3 Pour ouvrir le module...5

...5 1.1 Description...5. 1.0 Introduction...5....5 1.2 Conditions d utilisation...5....5 1.3 Pour ouvrir le module...5 Guide de l utilisateur Module d extraction de coefficients de variation Enquête sur les changements à l égard de l emploi Cohortes 1 à 10 Table des matières 1.0 Introduction...5...5 1.1 Description...5...5

Plus en détail

Banque Carrefour de la Sécurité Sociale

Banque Carrefour de la Sécurité Sociale Ce document vous est offert par la Banque Carrefour de la sécurité sociale. Il peut être diffusé librement, à condition de mentionner la source et l URL Banque Carrefour de la Sécurité Sociale Chaussée

Plus en détail

Gestion Camping Analyse

Gestion Camping Analyse Gestion de Camping - Analyse 1/27 Projet Cobol Première Partie Gestion Camping Analyse Damien Bironneau Titouan Alasseur Thomas Bechepay Jordane Goffin Le Guillou Thibaud Gestion de Camping - Analyse 2/27

Plus en détail

Dossier I Découverte de Base d Open Office

Dossier I Découverte de Base d Open Office ETUDE D UN SYSTEME DE GESTION DE BASE DE DONNEES RELATIONNELLES Définition : Un SGBD est un logiciel de gestion des données fournissant des méthodes d accès aux informations. Un SGBDR permet de décrire

Plus en détail

Etude de cas. Enoncé simplifié

Etude de cas. Enoncé simplifié Etude de cas Guichet Automatique de Billets () Source : UML par la pratique P. Roques Enoncé simplifié Le offre les services suivants: Distribuer de l argent à tout porteur de carte bancaire (visa ou de

Plus en détail