Introduction Basé sur la spécification ou l'interface du programme P On peut appliquer le critère de couverture complète du domaine

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

Download "Introduction Basé sur la spécification ou l'interface du programme P On peut appliquer le critère de couverture complète du domaine"

Transcription

1 Le test ''boîte noire'' LOG4500 Validation et tests de logiciels Professeur: John MULLINS Introduction asé sur la spécification ou l'interface du programme P On peut appliquer le critère de couverture complète du domaine P vu comme une fonction des données D dans les résultats R: P: D R On partitionne D en classes D i 1. D D 0 D 2 D n 2. i i, j n j D i D j 3. On sélectionne un seul cas de test par classe Hypothèse de test: P(d) est correct si et seulement si P(d`) est correct i d, d ' D i Introduction (suite) pproche empirique: Exemple lire: 1. [Ghezzi and al.], sections [Jorgensen], chap [Roper], sections [eizer], chap. 7 Si la valeur n de l'entrée est <0, alors un message d'erreur est imprimé. Si 0=<n<20, alors la valeur exacte de n! est imprimée. Si 20=<n=<200, alors une approximation de n! est imprimée en virgule flottante avec une précision de 0.1%. Si n>200, un message d'erreur est imprimé.

2 Les classes D 2 D 4 Solution n:n 0 n:0 n 20 n:20 n 200 n:n 200 forment une partition des entiers et le jeu T 10, 5,75 satisfait le critère de couverture totale Le problème du triangle Entrée: 3 entiers > 0 (longueurs de cotés) Sortie:Type de triangle déterminé par les 3 entiers (équilatéral, isocèle, scalène, autre) (a, b, c) Type de triangle Triangle? Type Solution Hypothèse : On peut identifier la classe de d par sa valeur P(d) D 2 D 4 H 0 = {(a, b, c): abc est équilatéral} = {(a, b, c): abc est isocèle} = {(a, b, c): abc est scalène} = {(a, b, c): abc n'est pas un triangle} D 22 D 23 D 41 D 42 D 43 Solution raffinée = {(a, b, c): est equilatéral} = {(a, b, c): est isocèle et a=b, a<>c} = {(a, b, c): est isocèle et a=c, b<>c} = {(a, b, c): est isocèle et b=c, a<>b} = {(a, b, c): est scalène et a<>b<>c}} = {(a, b, c): pas un triangle et a >= b+c} = {(a, b, c): pas un triangle et b >= a+c} = {(a, b, c): pas un triangle et c >= a+b}

3 Génération de tests pproches structurées 1. (3, 3, 3) 2. (2, 2, 3) 3. (2, 3, 2) 4. (3, 2, 2) 5. (3, 4, 5) 6. (6, 3, 3) asée sur une grammaire NF asée sur la table de décision asée sur le graphe de cause-effet 7. (3, 6, 3) 8. (3, 3, 6) Grammaire NF Déf.: Une grammaire est un ensemble de règles qui définit toutes les constructions valides d'un langage. Une grammaire est formée: 1. Un ensemble de symboles terminaux 2. Un ensemble de symboles non-terminaux 3. Un ensemble de productions de la forme x:=y où x est un symbole non-terminal et y, une chaîne quelconque de symboles (terminaux ou non). 4. Un symbole initial (non-terminal distingué) Langage d'une calculatrice Terminaux: 0, 1, 2,..., 9, +, -, *, /, =,. Non-terminaux: calculation, expression, value, number, unsigned, digit, sign, operator Productions: 1. <calculation> := <expression> = 2. <expression> := <value> <value><operator><expression 3. <value> := <number> <sign><number> 4. <number> := <unsigned> <unsigned>. <unsigned> 5. <unsigned> := <digit> <digit><unsigned> 6. <digit> := <sign> := <operator> := + - * /

4 Langage d'une calculatrice (suite) Critère de test: couverture complète des règles à partir du symbole initial Pour chaque règle, générer une entrée valide en partant du symbole initial, telle que la règle est appliquée Procédure: Dérivation descendante (top-down) S'assurer que tous les terminaux apparaissent dans au moins une règle. Utilisation typique: validation de données 1. [eizer], chap [Ghezzi and al.] section Génération de tests: exemple / 1 2 = Digit Operator Digit Operator Digit Digit Number Number Value Value Number Value Expresion Expresion Expresion Calculation Diagrammes de syntaxe On étend la notation NF: choix multiple: (ou exclusif) option: [ ] (0 ou 1 fois le symbole entre crochets) répétition: { } (0 ou plusieurs fois le symbole) noeuds du diagramme: symboles 1. terminaux: ovales 2. non-terminaux: rectangles Diagramme syntaxique: exemple <but> := [a] b {c} génère: a, ab, bc, abc, bcc, abcc, bccc, abccc, <calculation> := <expression> + 2. <expression> := <value> [<operator><expression>] 3. <value> := [<sign>] <number> 4. <number> := <unsigned> [. <unsigned>] 5. <unsigned> := <digit> {<digit>} 6. <digit> := <sign> := <operator> := + - * /

5 Table de décision Utile dans le cas des applications complexes de traitement de données Permet de vérifier la complétude Critère de couverture est assurée par 11 cas de test a<b+c F - - V V V V V V V V b<a+c - F V V V V V V V V V c<a+b - - F V V V V V V V V a=b V V V V F F F F a=c V V F F V V F F b=c V F V F V F V F Niet Scal Iso Équi Imposs. Table de décision (suite) Inconvénient: croissance exponentielle du nombre de cas de tests relativement au nombre de conditions. lire: 1. [Jorgensen], chap [Ghezzi and al.] section Graphes cause-effet Graphes C-E: syntaxe Les graphes cause-effet fournissent une représentation concise des combinaisons logiques des conditions et des actions correspondantes 1. Les causes: conditions d'entrée 2. Les effets: actions lire: 1. [Ghezzi and al.] section [Roper] section Op 1.nd () 2.Or (\/) 3.Nand () 4.Nor (\/) Identité Not I: u moins 1 E: u plus 1 O: Exactement 1 R: Exiges M: Masques I E C O R M

6 Graphes C-E: sémantique I \/ M \/ O C4 E5 \/ C5 R C6 I O C4 C5 C6 Table de décision associée R \/ \/ \/ E5 M V V V V V V V V V F F F V V V V F V F V V F V F C4 F F V V F V V F C5 F V V V F F F V C6 F V V V F F F V E5 Exemple Exemple (suite) Le programme prends en entrée un entier entre 1 et 20 à l'usager, une chaîne de caractères de cette longueur et un caractère et retourne sa position dans la chaîne ou un message d'erreur. L'usager a la posibilité de chercher d'autres caractères. Les causes: 1. Entier entre 1 et Caractère à chercher est dans la chaîne 3. Cherche un autre caractère? Les effets: 1. Entier hors portée 2. Position du caractère demandé est retourné 3. Caractère pas trouvé 4. Fin du programme Table de décision associée F V V - - V F - - V V F Conception du jeu de test <entier><chaîne><car>{<booléen><car>} 23 3, abc, c, oui, k, non

7 nalyse des conditions de bord Description: Utilisée en conjonction avec la technique de partitionnement. Consiste à analyser le comportement des valeurs de bord des classes de la partition Permet de contrôler l'explosion combinatoire des cas de test e.g. Évite de scinder la classe [1..20] en 3 classes {1}, [2..19], {20} (8 fois plus de cas de test) Moins efficace que l'analyse de partition pure nalyse de bord: Exemple Table de décision associée F V V - - V F - - V V F Jeu de test complémentaire <entier><chaîne><car>{<booléen><car>} , a, a, oui,, non) 20, abcdefghijklmnopqrst, a, oui, u, non

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

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

2: Le test fonctionnel 2.2 : Le test fonctionnel de logiciel 2: Le test fonctionnel 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

Présentation du logiciel Xcas

Présentation du logiciel Xcas Présentation du logiciel Xcas Xcas est un logiciel très complet qui permet d effectuer : Du calcul numérique, valeur exactes ou approchées ; Du calcul formel, du plus simple, développer factoriser jusqu

Plus en détail

Introduction à Lex et Yacc

Introduction à Lex et Yacc Introduction à Lex et Yacc H. Cassé, M. Couzinier, M. Strecker Année 2004/2005 1. L analyseur lexical Lex 2. L analyseur syntaxique Yacc 3. La coordination de Lex et Yacc 1 Processus de compilation programme

Plus en détail

Fiche de révisions - Algorithmique

Fiche de révisions - Algorithmique Fiche de révisions - Algorithmique Rédigé par : Jimmy Paquereau 1. Généralités Algorithme : un algorithme est la description d une procédure à suivre afin de résoudre un problème donné. Il n est pas nécessairement

Plus en détail

Les principaux triangles

Les principaux triangles un triangle équilatéral un triangle équilatéral un triangle équilatéral un triangle équilatéral un triangle équilatéral un triangle équilatéral un triangle équilatéral un triangle équilatéral un triangle

Plus en détail

Calcul mental: triangles-quadrilatères

Calcul mental: triangles-quadrilatères Calcul mental: triangles-quadrilatères Calcul mental sixième Lycée Français de Barcelone sixième (LFB - sixième) Calcul mental: triangles-quadrilatères sixième 1 / 29 Question 1 Compléter : ABC est un

Plus en détail

Exercice 1 Le plan est muni d'un repère. On donne les points, et. 1/ Soit D le point tel que ABCD est un parallélogramme.

Exercice 1 Le plan est muni d'un repère. On donne les points, et. 1/ Soit D le point tel que ABCD est un parallélogramme. Devoir Maison A rendre le mercredi 2 mai 2nde 1 Le plan est muni d'un repère. On donne les points, et. 1/ Soit D le point tel que ABCD est un parallélogramme. Calculer les coordonnées du point D. 2/ a)

Plus en détail

TRIGONOMETRIE ET CALCUL NUMERIQUE

TRIGONOMETRIE ET CALCUL NUMERIQUE TRIGONOMETRIE ET CALCUL NUMERIQUE Questions 2010-2013 Exercice 1 2 2 sin(4 x)cos( x) 2sin( x)cos (2 x) 1 2sin ( x) (valeurs numériques) x 45 k 90 ;10 k 120 ;50 k 120 k Exercice 2 tg x 3tg x 4 4 (valeurs

Plus en détail

Informatique. Programmation en Python.

Informatique. Programmation en Python. BCPST 1 B 13 septembre 2015 Informatique. Programmation en Python. Ce document est un support de cours, il vous permet d avoir sa structure et ses éléments les plus importants. Au cours des séances en

Plus en détail

CHAPITRE 4 : BASES DE LEX

CHAPITRE 4 : BASES DE LEX CHAPITRE 4 : BASES DE LEX Analyse lexicale (rappel) L analyse lexicale consiste à déterminer le, «statut» de chaque mot, c est-à-dire l unité lexicale (ou token) qui lui correspond. Les unités lexicales

Plus en détail

Chapitre 4 Automates à pile et langages hors-contexte

Chapitre 4 Automates à pile et langages hors-contexte Chapitre 4 Automates à pile et langages hors-contexte 87 Introduction Langage a n b n n est pas accepté par un automate fini. Par contre L k = {a n b n n k} est accepté. Mémoire finie, mémoire infinie,

Plus en détail

Deuxième épreuve d admission. Exemples de sujets

Deuxième épreuve d admission. Exemples de sujets Deuxième épreuve d admission. Exemples de sujets Thème : probabilités 1) On lance deux dés équilibrés à 6 faces et on note la somme des deux faces obtenues. 1.a) Donner un univers associé cette expérience.

Plus en détail

1 Valeur d une expression

1 Valeur d une expression PCSI Informatique: Cours2 1 VALEUR D UNE EXPRESSION Expressions et variables en informatique 1 Valeur d une expression Expression : suite de caractères qui a un sens pour la machine Valeur d une expression

Plus en détail

Symétrie centrale - Exercices

Symétrie centrale - Exercices Symétrie centrale - Exercices Exercice 1 On considère le triangle ABC tel que AB = 4, 5 cm, AC = 6cm et BC = 4cm. a. Construire ce triangle. b. Tracer les symétriques A et C de A et C par rapport à B.

Plus en détail

ACTIVITES NUMERIQUES ( 18 points )

ACTIVITES NUMERIQUES ( 18 points ) Copie numéro :.. 4 points sont attribués pour l orthographe, le soin, les notations et la rédaction. L utilisation de la calculatrice est autorisée. NE PAS OUBLIER DE RENDRE L ANNEXE AVEC LA COPIE! ACTIVITES

Plus en détail

Chapitre n 10 : «Les triangles»

Chapitre n 10 : «Les triangles» Chapitre n 10 : «Les triangles» I. Rappels Vocabulaire Les sommets sont A, B, C. Les côtés sont [ AB], [ BC ] et [CA]. Les angles sont ACB, CAB et ABC. Le côté [ AB] est opposé au sommet C. Le sommet A

Plus en détail

Objet du cours. Etudier les circuits logiques combinatoires opposés aux circuits logiques séquentiels. x 1

Objet du cours. Etudier les circuits logiques combinatoires opposés aux circuits logiques séquentiels. x 1 Introduction Électronique numérique ou digitale (microprocesseurs, ordinateurs, calculatrices, ) et l électronique analogique (radio, télévision, amplificateurs, ). Interface : les convertisseurs numériques-analogiques

Plus en détail

I. Polygones : II. Triangles : 1) Définition : Les segments [AC], [AB] et [BC] sont les trois côtés du triangle.

I. Polygones : II. Triangles : 1) Définition : Les segments [AC], [AB] et [BC] sont les trois côtés du triangle. 1 / 6 I. Polygones : Un polygone est une figure fermée dont les côtés sont des segments. II. Triangles : 1) Un triangle est un polygone à trois côtés. Les segments [AC], [AB] et [BC] sont les trois côtés

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

LYCEE MICHEL-RODANGE LUXEMBOURG PROGRAMMES DE MATHEMATIQUES POUR LE CYCLE INFERIEUR

LYCEE MICHEL-RODANGE LUXEMBOURG PROGRAMMES DE MATHEMATIQUES POUR LE CYCLE INFERIEUR LYCEE MICHEL-RODANGE LUXEMBOURG PROGRAMMES DE MATHEMATIQUES POUR LE CYCLE INFERIEUR Introduction. page 2 Classe de septième.. page 3 Classe de sixième page 7-1 - INTRODUCTION D une manière générale on

Plus en détail

Électronique Numérique

Électronique Numérique Électronique Numérique Séance 6 Logique combinatoire Pr. Khalid ASSALAOU Plan Circuits logiques combinatoires de base Conception de circuits logiques combinatoires Propriété universelle du NON-ET et NON-OU

Plus en détail

Test E22 NOM : Classe :...

Test E22 NOM : Classe :... Test E22 NOM : Classe :... Exercice 1: ABCDEFGH est le cube ci-contre. 1. a) Donner deux droites parallèles. ---------------------------------------------------------- b) Donner deux droites sécantes.

Plus en détail

Introduction au test logiciel Les corrigés des exercices

Introduction au test logiciel Les corrigés des exercices Introduction au test logiciel Les corrigés des exercices Fabrice Ambert, Fabrice Bouquet prenom.nom@femto-st.fr Orsay 16-18 novembre 2016 Test de logiciels auto-évaluation L exemple du triangle Avez-vous

Plus en détail

Grammaires formelles, Automates

Grammaires formelles, Automates 1/39 Grammaires formelles, Automates Pierre Zweigenbaum LIMSI, CNRS pz@limsi.fr http://www.limsi.fr/~pz/ 2/39 1 Syntaxe : grammaire, analyse 2 Grammaires formelles Langage et grammaire Grammaires régulières

Plus en détail

Angles orientés. exercices corrigés. 21 février 2014

Angles orientés. exercices corrigés. 21 février 2014 exercices corrigés 21 février 2014 Exercice 1 Exercice 2 Exercice 3 Exercice 4 Exercice 5 Exercice 6 Exercice 7 Exercice 8 Exercice 9 Exercice 1 Enoncé Soit A et B deux points du plan tels que AB = 4 cm.

Plus en détail

Triangles Triangles.odt clicprof.free.fr 1/10

Triangles Triangles.odt clicprof.free.fr 1/10 Triangles Table des matières 1Quelques rappels sur les triangles...2 1Médiatrices...2 2Bissectrices...2 3Nature d'un Triangle...2 Triangle isocèle...2 Triangle équilatéral...2 Triangle rectangle...2 2Construction

Plus en détail

C H A P I T R E 2 C A L C U L S A L G E B R I Q U E S

C H A P I T R E 2 C A L C U L S A L G E B R I Q U E S Classe de Troisième C H A P I T R E C A L C U L S A L G E B R I Q U E S UTILISER DES LETTRES...4 EXPRESSIONS ÉQUIVALENTES...6 VOCABULAIRE DU CALCUL LITTÉRAL...7 RÉDUCTIONS D'ÉCRITURES...9 DÉVELOPPER UN

Plus en détail

p(p a)(p b)(p c) où p = 1 (a + b +c)

p(p a)(p b)(p c) où p = 1 (a + b +c) ème E DS4 racines carrées 01-014 sujet 1 Eercice 1 : (4 points) Les figures ci-dessous ont toutes une aire de cm². Donner la valeur eacte de en cm, dans chacun des cas. (1) () () (4) 1 Eercice : au brevet

Plus en détail

Arbres binaires en représentation chaînée

Arbres binaires en représentation chaînée Arbres binaires en représentation chaînée Construction Libération Opérations diverses 17/01/06 Bac2 - JMD - ArbrBin.ppt 1 Arbre n-aire Arbre binaire a b c d e f arbre n-aire e b a c f d arbre binaire 17/01/06

Plus en détail

Sommaire. Séquence 8. Séance 1 Numération Encadrer une fraction page 37. Séance 2 Calcul Diviser ou multiplier par 10 ou 100 page 39

Sommaire. Séquence 8. Séance 1 Numération Encadrer une fraction page 37. Séance 2 Calcul Diviser ou multiplier par 10 ou 100 page 39 Sommaire Séquence 8 Séance 1 Numération Encadrer une fraction page 37 Séance 2 Calcul Diviser ou multiplier par 10 ou 100 page 39 Séance 3 Mesures Périmètre du cercle page 43 Séance 4 Géométrie Les triangles

Plus en détail

Brevet Blanc de Mathématiques. 4 Points sont réservés à la propreté et à la qualité de rédaction de la copie.

Brevet Blanc de Mathématiques. 4 Points sont réservés à la propreté et à la qualité de rédaction de la copie. Brevet Blanc de Mathématiques 4 Points sont réservés à la propreté et à la qualité de rédaction de la copie. Exercice 1 : Le graphique ci contre représente une fonction h. Pour chaque question, donner

Plus en détail

CHAP 2 TABLE DE VÉRITÉ - ALGÈBRE DE BOOLE

CHAP 2 TABLE DE VÉRITÉ - ALGÈBRE DE BOOLE 22 CHAP 2 TABLE DE VÉRITÉ - ALGÈBRE DE BOOLE rappel du chap. : -on emploie un système binaire limité à 2 états, -problème: étant donné une relation entrée/sortie binaire, faire le design du hardware qui

Plus en détail

Rappels Entrées -Sorties

Rappels Entrées -Sorties Fonctions printf et scanf Syntaxe: écriture, organisation Comportement Données hétérogènes? Gestion des erreurs des utilisateurs 17/11/2013 Cours du Langage C ibr_guelzim@yahoo.fr ibrahimguelzim.atspace.co.uk

Plus en détail

GPA777 Introduction au génie logiciel

GPA777 Introduction au génie logiciel Université du Québec École de technologie supérieure Département de génie de la production automatisée GPA777 Introduction au génie logiciel Chapitre 6 Validation des logiciels Copyright, 2000 Tony Wong,

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

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

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1 Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-

Plus en détail

Informatique Chapitre 4: Types et typages

Informatique Chapitre 4: Types et typages Informatique Chapitre 4: Types et typages Booléens et listes Jérôme DIDIER 8/10/2014 Objectifs du cours Compétences visées Savoir que les variables peuvent avoir plusieurs types et les connaitre ; Type

Plus en détail

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2 Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101 Danny Dubé Hiver 2014 Version : 11 avril Questions Travail pratique #2 Traduction orientée-syntaxe

Plus en détail

DOCUMENT PRÉPARATOIRE TEST DE FRANÇAIS ÉCRIT SEL VERSION B

DOCUMENT PRÉPARATOIRE TEST DE FRANÇAIS ÉCRIT SEL VERSION B DOCUMENT PRÉPARATOIRE TEST DE FRANÇAIS ÉCRIT SEL VERSION B CODE LINGUISTIQUE RÉDACTION Création : Mars 2005 Dernière révision : Mai2008 Table des matières Renseignements généraux. page 3 I. Première partie

Plus en détail

Fiche d'exercices Mathématiques Troisième ( ) ( ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ) ) ( ( ) ) ( ) ( ) ( ) ( ) ( )

Fiche d'exercices Mathématiques Troisième ( ) ( ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ) ) ( ( ) ) ( ) ( ) ( ) ( ) ( ) Fiche d'exercices Mathématiques Troisième Chapitre 0: Révisions de quatrième Révisions et préparation à l'évaluation diagnostique 1. Les nombres relatifs. Exercice 1. ( Exercice 2 : Calculer Exercice 3

Plus en détail

1 Préambule Vocabulaire La racine carré d un nombre Qui était Pythagore... 3

1 Préambule Vocabulaire La racine carré d un nombre Qui était Pythagore... 3 Sommaire 1 Préambule. 2 1.1 Vocabulaire............................... 2 1.2 La racine carré d un nombre..................... 3 1.3 Qui était Pythagore.......................... 3 2 Théorème de Pythagore.

Plus en détail

N 1- Choisis la bonne réponse en justifiant ton choix.

N 1- Choisis la bonne réponse en justifiant ton choix. COLLEGE MONT LA SALLE Année scolaire 200 20 DEPARTEMENT DE MATHEMATIQUES Enseignement de base Cycle 3 EXAMEN DU troisième TRIMESTRE 7 e année COMPOSITION DE MATHEMATIQUES ( 20/6/20 ) Une sera accordée

Plus en détail

Partie I : Automates et langages

Partie I : Automates et langages 2 Les calculatrices sont interdites. N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction. Si un candidat est amené à repérer ce qui peut

Plus en détail

Compilateurs : Analyse lexicale. Vous êtes ici 2. Analyse lexicale 4. Matthieu Amiguet. En entrée d un compilateur, on a généralement un fichier

Compilateurs : Analyse lexicale. Vous êtes ici 2. Analyse lexicale 4. Matthieu Amiguet. En entrée d un compilateur, on a généralement un fichier Compilateurs : Matthieu Amiguet 2009 2010 Vous êtes ici 2 Partie Avant Analyse syntaxique Analyse sémantique Arbre syntaxique abstrait (AST) Partie Arrière Optimisation de l AST Génération de code Optimisation

Plus en détail

CORRECTION BREVET BLANC

CORRECTION BREVET BLANC Partie numérique Exercice 1 : CORRECTION BREVET BLANC Question 1 : on teste les trois valeurs en remplaçant x par la valeur. La solution est Question 2 : Les solutions sont et -2 Question 3 : on fait deux

Plus en détail

Brevet Juin 2007 Liban Corrigé Page 1 sur 6

Brevet Juin 2007 Liban Corrigé Page 1 sur 6 Brevet Juin 007 Liban Corrigé Page 1 sur 6 Exercice 1 : 1) A = 500 (10 3 ),4 10 7 8 10 4 = 500 10 6 4 10 1 10 7 8 10 4 500 4 = 8 = 500 3 8 8 = 500 3 100 10 4 = 1500 10 0 + 4 = 1500 10 4 = 1,5 10 3 10 4

Plus en détail

Héritage en java : Calculatrice SDC

Héritage en java : Calculatrice SDC Programmation orientée objet L3 MIAGE Héritage en java : Calculatrice SDC Travail à rendre : le code complet du projet SDC sous forme d une archive tar.gz. L archive comportera trois répertoires : un répertoire

Plus en détail

LES TRIANGLES. Dans un triangle, la longueur de chaque côté est inférieure à la somme des 2 autres. L INEGALITE TRIANGULAIRE :

LES TRIANGLES. Dans un triangle, la longueur de chaque côté est inférieure à la somme des 2 autres. L INEGALITE TRIANGULAIRE : I) L inégalité triangulaire : 1) Propriété : Dans un triangle, la longueur de chaque côté est inférieure à la somme des 2 autres. B A C L INEGALITE TRIANGULAIRE : BC BA + AC BA BC + AC AC AB + BC 2) Conséquences

Plus en détail

Introduction au model-checking et application à la vérification des protocoles cryptographiques

Introduction au model-checking et application à la vérification des protocoles cryptographiques Introduction au model-checking et application à la vérification des protocoles cryptographiques Prof. John MULLINS École Polytechnique de Montréal Prof. John MULLINS (École Polytechnique) Introduction

Plus en détail

Ch. 1 : Bases de programmation en Visual Basic

Ch. 1 : Bases de programmation en Visual Basic Ch. 1 : Bases de programmation en Visual Basic 1 1 Variables 1.1 Définition Les variables permettent de stocker en mémoire des données. Elles sont représentées par des lettres ou des groupements de lettres

Plus en détail

Théorie des Langages

Théorie des Langages Théorie des Langages Automates Claude Moulin Université de Technologie de Compiègne Printemps 2013 Sommaire 1 Automate fini 2 Automate et langages réguliers 3 Automate à pile Automate fini déterministe

Plus en détail

Théorème de Pythagore

Théorème de Pythagore Théorème de Pythagore C H A P I T R E 6 Énigme du chapitre. Objectifs du chapitre. Tom veut rejoindre l école le plus rapidement possible. Il doit traverser une rivière de 1 mètre de large. Où faut-il

Plus en détail

CORRECTION DU DEVOIR SURVEILLE DE MATHEMATIQUES n 1 SUJET A

CORRECTION DU DEVOIR SURVEILLE DE MATHEMATIQUES n 1 SUJET A CORRECTION DU DEVOIR SURVEILLE DE MATHEMATIQUES n 1 SUJET A Exercice 1 Dans la figure ci-contre, I U et V sont trois points du cercle C de centre O. L angle e re. 1) Calc ler La e re de l angle Dans le

Plus en détail

Exercice 1. Tracer un triangle RST tel que RS = 6 cm, RT = 8 cm et ST = 11 cm. Construire ses médiatrices et son cercle circonscrit.

Exercice 1. Tracer un triangle RST tel que RS = 6 cm, RT = 8 cm et ST = 11 cm. Construire ses médiatrices et son cercle circonscrit. Exercice 1 Tracer un triangle RST tel que RS = 6 cm, RT = 8 cm et ST = 11 cm. Construire ses médiatrices et son cercle circonscrit. On fera attention à la propreté et à la précision de la figure. R S T

Plus en détail

Chapitre 11 : Symétrie axiale.

Chapitre 11 : Symétrie axiale. Chapitre 11 : Symétrie axiale. I Approche expérimentale. Définition : Deux figures sont symétriques par rapport à une droite si, en pliant suivant cette droite, les deux figures se superposent. Cette droite

Plus en détail

Chap 5 : A la règle, à l équerre, au compas et au rapporteur

Chap 5 : A la règle, à l équerre, au compas et au rapporteur Chap 5 : A la règle, à l équerre, au compas et au rapporteur A la fin du chapitre, tu dois être capable de : 6 G 7 : Tracer, par un point donné, la perpendiculaire ou la parallèle à une droite donnée (usage

Plus en détail

Algorithmique et programmation. Cours d'algorithmique illustré par des exemples pour le picbasic

Algorithmique et programmation. Cours d'algorithmique illustré par des exemples pour le picbasic Algorithmique et programmation Cours d'algorithmique illustré par des exemples pour le picbasic Même s'il est possible d'écrire un programme petit à petit par touches successives, le résultat est souvent

Plus en détail

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année UFR Sciences et Techniques Licence S&T 1ère année Informatique UE 102 Architecture des ordinateurs et Algorithmique de base Jean-Yves Antoine http://www.info.univ-tours.fr/~antoine/ UFR Sciences et Techniques

Plus en détail

MATÉRIEL D APPRENTISSAGE SERVANT D APPUI AU NOUVEAU TABLEAU DE CORRESPONDANCE DU CURRICULUM À : MATHÉMATIQUES 11 NO P-0-257

MATÉRIEL D APPRENTISSAGE SERVANT D APPUI AU NOUVEAU TABLEAU DE CORRESPONDANCE DU CURRICULUM À : MATHÉMATIQUES 11 NO P-0-257 MATÉRIEL D APPRENTISSAGE SERVANT D APPUI AU NOUVEAU CURRICULUM DE L ONTARIO : MATHÉMATIQUES, FONCTIONS, 11 e année, COURS PRÉUNIVERSITAIRE/PRÉCOLLÉGIAL (MCF3M) TABLEAU DE CORRESPONDANCE DU CURRICULUM À

Plus en détail

Exercices dirigés séance n 1- corrigé

Exercices dirigés séance n 1- corrigé Exercices dirigés séance n 1- corrigé Exercice 1 : compilation, analyse d un programme On définit le langage simplifié suivant au moyen de règles BNF : ::=

Plus en détail

Tableaux (introduction) et types de base

Tableaux (introduction) et types de base Tableaux (introduction) et types de base A. Motivation..................................................... 4 B. Les tableaux.................................................... 5 C. Construction des tableaux.......................................

Plus en détail

CORRECTIONS. Consignes pour le déroulement de l épreuve d une durée de 2 heures

CORRECTIONS. Consignes pour le déroulement de l épreuve d une durée de 2 heures Consignes pour le déroulement de l épreuve d une durée de 2 heures * Calculatrice autorisée pour les deux parties mais en précisant les étapes des calculs. A] Nombres et Calculs : Exercice n 1 : Compléter

Plus en détail

Algèbre de Boole - Fonctions Booléennes

Algèbre de Boole - Fonctions Booléennes Architecture des ordinateurs Licence Informatique - Université de Provence Jean-Marc Talbot Algèbre de Boole - Fonctions Booléennes jtalbot@cmi.univ-mrs.fr L3 Informatique - Université de Provence () Architecture

Plus en détail

1S Modèles de rédaction Enoncés

1S Modèles de rédaction Enoncés Par l équipe des professeurs de 1S du lycée Parc de Vilgénis 1S Modèles de rédaction Enoncés Produit scalaire & Corrigés Exercice 1 : définition du produit scalaire Soit ABC un triangle tel que AB, AC

Plus en détail

6ème. Correction du contrôle sur les nombres entiers et décimaux.

6ème. Correction du contrôle sur les nombres entiers et décimaux. Exercice 1 : (3 points) 6ème. Correction du contrôle sur les nombres entiers et décimaux. Associer à chaque nombre son écriture en toutes lettres : Exercice 2 : (2 points) Compléter par le nombre qui convient

Plus en détail

Conception de circuits numériques et architecture des ordinateurs

Conception de circuits numériques et architecture des ordinateurs Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2014-2015 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 Codage des nombres en base 2, logique

Plus en détail

PROPRIÉTÉS À CONNAÎTRE ABSOLUMENT :

PROPRIÉTÉS À CONNAÎTRE ABSOLUMENT : THÈMES ABORDÉS : L INÉGALITÉ TRIANGULAIRE LA SOMME DES ANGLES DANS UN TRIANGLE LES DROITES REMARQUABLES DU TRIANGLE PROPRIÉTÉS À CONNAÎTRE ABSOLUMENT : 1. La somme des angles d un triangle est égale à

Plus en détail

Clé de correction. en Mathématique. Section 5 : Les propriétés de diverses figures géométriques. Révision des préalables

Clé de correction. en Mathématique. Section 5 : Les propriétés de diverses figures géométriques. Révision des préalables Mathématique FBC Révision des préalables au cours MAT-2101 101-3 Révision des préalables en Mathématique MAT 2101 101-3 Modélisation algébrique Section 5 : Les propriétés de diverses figures géométriques

Plus en détail

6 ème cours : Introduction à la géométrie

6 ème cours : Introduction à la géométrie 1 Point, droite, segment et demi-droite. Par un point passe une infinité de droites. Placer un point A et tracer trois droites passant par le point A. Par deux points passe une seule droite. Placer deux

Plus en détail

Plan de cours. LOG2810 Structures discrètes. Enseignants. Chargés de laboratoires. Département de génie informatique et de génie logiciel Automne 2013

Plan de cours. LOG2810 Structures discrètes. Enseignants. Chargés de laboratoires. Département de génie informatique et de génie logiciel Automne 2013 Plan de cours LOG2810 Structures discrètes Département de génie informatique et de génie logiciel Automne 2013 3 crédits Triplet horaire : 3 2 4 Enseignants Foutse Khomh, Professeur responsable Pavillon

Plus en détail

JUIN : EXERCICES DE REVISIONS

JUIN : EXERCICES DE REVISIONS . Les fonctions JUIN : EXERCICES DE REVISIONS y 30 0 0-8 -7-6 - - 0 3 4 6 7 8 x -0 - -0 0 Fonction n : f(x) = y = 30x Fonction n : f(x) = y = -x³ + 3x² + x - 3 Fonction n 3 : f3(x) = y = -x + 30 Fonction

Plus en détail

UE C avancé cours 1: introduction et révisions

UE C avancé cours 1: introduction et révisions Introduction Types Structures de contrôle Exemple UE C avancé cours 1: introduction et révisions Jean-Lou Desbarbieux et Stéphane Doncieux UMPC 2004/2005 Introduction Types Structures de contrôle Exemple

Plus en détail

LES TRIANGLES. Fiches outil : «Comment mesurer un angle» ; «Comment tracer la perpendiculaire à une droite»

LES TRIANGLES. Fiches outil : «Comment mesurer un angle» ; «Comment tracer la perpendiculaire à une droite» 1 LES TRIANGLES Dans cette fiche, nous apprendrons - à reconnaître un triangle - à construire un triangle - à calculer le périmètre et l aire d un triangle. Fiches outil : «Comment mesurer un angle» ;

Plus en détail

Algorithmes (2) Premiers programmes sur calculatrice. Programmation sur calculatrice TI. codage

Algorithmes (2) Premiers programmes sur calculatrice. Programmation sur calculatrice TI. codage Objectifs : lgorithmes () Premiers programmes sur calculatrice - passer de la notion d algorithme à la notion de programme - aborder la notion de langage de programmation - s initier à la programmation

Plus en détail

RdF Reconnaissance des Formes Semaine 12 : Chaînes, langages et grammaires

RdF Reconnaissance des Formes Semaine 12 : Chaînes, langages et grammaires RdF Reconnaissance des Formes Semaine 12 : Chaînes, langages et grammaires Master ASE : http://master-ase.univ-lille1.fr/ Master Informatique : http://www.fil.univ-lille1.fr/ Spécialité IVI : http://master-ivi.univ-lille1.fr/

Plus en détail

I Rappels sur les symétries :

I Rappels sur les symétries : I Rappels sur les symétries : I. 1 Symétrie axiale : On note I le milieu de [ AB ]. On appelle médiatrice du segment [ AB ] la droite perpendiculaire en I à ( AB ). Propriétés : La médiatrice de [ AB ]

Plus en détail

Chapitre 10 - La géométrie Définitions et Propriétés des Angles, Triangles, Droites, Cercles

Chapitre 10 - La géométrie Définitions et Propriétés des Angles, Triangles, Droites, Cercles Chapitre 10 - La géométrie Définitions et Propriétés des Angles, Triangles, Droites, Cercles En géométrie déductive, on n accepte pas une phrase comme vrai sans preuve d un fait, une règle, ou propriété

Plus en détail

Chapitre n 10 : «Les triangles»

Chapitre n 10 : «Les triangles» Chapitre n 10 : «Les triangles» I. Rappels Vocabulaire A, B et C sont les sommets. [ AB], [ BC ] et [ AC ] sont les trois côtés du triangle. BAC, BCA et ABC sont les trois angles du triangle. Le point

Plus en détail

Expérimentation 2007

Expérimentation 2007 Mathématiques série S Épreuve pratique au baccalauréat Expérimentation 2007 - Banque de sujets - Ce document peut être utilisé librement dans le cadre des activités de l'enseignement scolaire, de la formation

Plus en détail

Langages et Compilation. Analyse descendante prédictive

Langages et Compilation. Analyse descendante prédictive Langages et Compilation Analyse descendante prédictive 1 Introduction Grammaires LL(1) Une famille de grammaires analysables de façon ecace. Caractéristiques de l'analyse LL(1) analyse descendante Construction

Plus en détail

BAZIN Danil et PRIEZ Jean-Baptiste. LEX & YACC : Calculatrice Évoluée

BAZIN Danil et PRIEZ Jean-Baptiste. LEX & YACC : Calculatrice Évoluée BAZIN Danil et PRIEZ Jean-Baptiste LEX & YACC : Calculatrice Évoluée Table des matières 1 Introduction 3 2 Description 4 3 La grammaire utilisée 6 4 Lexèmes et FLEX 8 5 Analyse syntaxique et YACC 8 5.1

Plus en détail

Atelier n 7. Calcul réfléchi COLLEGE : Classe : temps réalisé : Date obtenue sur la diagonale : Rallye mathématique de la Sarthe 2012/2013

Atelier n 7. Calcul réfléchi COLLEGE : Classe : temps réalisé : Date obtenue sur la diagonale : Rallye mathématique de la Sarthe 2012/2013 6-5-- Rallye mathématique de la Sarthe 01/01 Vendredi mai 01 Finale : feuille réponse COLLEGE : Classe : temps réalisé : 1.... 5. 6. 7. 8. 10. 11. 1. 1. 1. 15. 16. 17. 18. 1 0. 1.... 5. 6. Date obtenue

Plus en détail

6 ème COURS : droites perpendiculaires et droites parallèles.

6 ème COURS : droites perpendiculaires et droites parallèles. 1 Droites sécantes Définition : deux droites sécantes sont deux droites qui ont un seul point commun. Ce point commun est appelé point d intersection des deux droites. Les deux droites (d1) et (d2) se

Plus en détail

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année UFR Sciences et Techniques Licence S&T 1ère année Informatique UE 102 Architecture des ordinateurs et Algorithmique de base Jean-Yves Antoine http://www.intro.univ-tours.fr/~antoine/ UFR Sciences et Techniques

Plus en détail

Concours de recrutement interne PLP 2009

Concours de recrutement interne PLP 2009 Concours de recrutement interne PLP 2009 Le sujet est constitué de quatre exercices indépendants. Le premier exercice, de nature pédagogique au niveau du baccalauréat professionnel, porte sur le flocon

Plus en détail

RAISONNEMENTS. 1 Propositions logiques. 1.1 Définition et négation. 1.2 Conjonction et disjonction. Laurent Garcin MPSI Lycée Jean-Baptiste Corot

RAISONNEMENTS. 1 Propositions logiques. 1.1 Définition et négation. 1.2 Conjonction et disjonction. Laurent Garcin MPSI Lycée Jean-Baptiste Corot RAISONNEMENTS 1 Propositions logiques 1.1 Définition et négation Définition 1.1 Proposition On appelle proposition un énoncé mathématique qui peut être vrai ou faux. Exemple 1.1 Deux propositions simples.

Plus en détail

Institution Stanislas Brevet Blanc de Mathématiques Mai 2010 1

Institution Stanislas Brevet Blanc de Mathématiques Mai 2010 1 BREVET BLANC DE MATHEMATIQUES Mai 2010 La calculatrice est autorisée. Le soin et la qualité de la rédaction seront pris en compte dans la notation. N candidat : Observations Présentation et rédaction :

Plus en détail

Algorithmique. Évaluation d expressions. Luc Brun. luc.brun@greyc.ensicaen.fr. Évaluation d expressions p.1/38

Algorithmique. Évaluation d expressions. Luc Brun. luc.brun@greyc.ensicaen.fr. Évaluation d expressions p.1/38 Algorithmique Évaluation d expressions Luc Brun luc.brun@greyc.ensicaen.fr Évaluation d expressions p.1/38 Plan Les différents types d expressions Expression complètement parenthésée (ECP), Expression

Plus en détail

Correction : E = Soit E = -1,6. F = 12 Soit F = -6 3 + 45. y = 11. et G = -2z + 4y G = 2 6 = 3 G = G = -2 5 + 4 11

Correction : E = Soit E = -1,6. F = 12 Soit F = -6 3 + 45. y = 11. et G = -2z + 4y G = 2 6 = 3 G = G = -2 5 + 4 11 Correction : EXERCICE : Calculer en indiquant les étapes: (-6 +9) ( ) ( ) B = -4 (-) (-8) B = - 8 (+ 6) B = - 8 6 B = - 44 EXERCICE : La visite médicale Calcul de la part des élèves rencontrés lundi et

Plus en détail

DROITES ET PLANS DE L'ESPACE

DROITES ET PLANS DE L'ESPACE DROITES ET PLANS DE L'ESPACE I. Positions relatives de droites et de plans 1) Positions relatives de deux droites Deux droites de l'espace sont soit coplanaires (dans un même plan) soit non coplanaires.

Plus en détail

I n t r o d u c t i o n a u x ( 2 0 S ) m a t h é m a t i q u e s a p p l i q u é e s e t p r é - c a l c u l 1 0 e a n n é e

I n t r o d u c t i o n a u x ( 2 0 S ) m a t h é m a t i q u e s a p p l i q u é e s e t p r é - c a l c u l 1 0 e a n n é e I n t r o d u c t i o n a u x m a t h é m a t i q u e s a p p l i q u é e s e t p r é - c a l c u l 0 e a n n é e ( 0 S ) Examen de préparation de mi-session Corrigé I n t r o d u c t i o n a u x m a

Plus en détail

Bases d algorithmique

Bases d algorithmique Bases d algorithmique Christophe ROSSIGNOL Année scolaire 2015/2016 Table des matières 1 Un peu de vocabulaire 2 1.1 Qu est-ce qu un algorithme?....................................... 2 1.2 Variable, affectation...........................................

Plus en détail

Partie I : Activités numériques (12 points)

Partie I : Activités numériques (12 points) Correction du brevet blanc février 2011 Exercice n 1 (2 points) 8 + 1 A = 5 6 1 = 8 Partie I : Activités numériques (12 points) Calculer A en détaillant les étapes. Donner le résultat sous forme d une

Plus en détail

Rappels sur les suites - Algorithme

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

Plus en détail

Cours de Compilation

Cours de Compilation Université Mohammed V - Agdal Faculté des sciences Département d'informatique Cours de Compilation SMI - S5 Prof. M.D. RAHMANI mrahmani@fsr.ac.ma Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1 III- L'analyse

Plus en détail

CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE

CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE Jean Luc Bovet, Auvernier L'article de Monsieur Jean Piquerez (Bulletin de la SSPMP No 86), consacré aux symédianes me paraît appeler une généralisation. En

Plus en détail

Terminale S - Nombres Complexes

Terminale S - Nombres Complexes Exercice - 1 Terminale S - Nombres Complexes Ecrire le nombre complexe z = 1 + i 3 sous sa forme exponentielle En déduire la forme algébrique de z 5 Exercice - 2 2iπ On pose ω = e 5 1 Calculer ω 5 et prouver

Plus en détail