[PDF] [PDF] UPMC – Master informatique – M2-STL – UE Tests Examen – Mars

UPMC – Master informatique – M2-STL – UE Tests Examen – Mars 2011 1 MC/ DC Soient c1, c2 et c3 3 variables booléennes Soient les deux décisions:



Previous PDF Next PDF





[PDF] charte des examens de luniversite pierre et marie - Master BMC

les règlements d'examens propres aux différents cursus La présente charte s' applique à l'ensemble des cursus de licence et de master délivrés par l'UPMC, 



[PDF] REGLEMENTATION DES EPREUVES CONCERNANT - Serveur

Pour obtenir son diplôme de Licence (ou de Master), l'étudiant suit un Les copies des examens écrits sont anonymes et consultables sur demande de 



[PDF] Examen - Master 1 - UPMC - 2007/2008

Université Pierre et Marie Curie Master M1 "Mathématiques et Applications" Période 2 - 2007/2008 Programmation en C/C++ Examen du 15 mai 2008



[PDF] Examen 2 - Master 1 - UPMC - 2011/2012

Le but est d'implémenter une classe permettant de construire le polynôme d' interpolation de Lagrange de n points (x1,y1), , (xn,yn) et de l'évaluer facilement  



[PDF] Examen - Master 1 - UPMC - 2008/2009

Master M1 "Mathématiques et Applications" Période 2 - 2008/2009 Programmation en C/C++ Examen du 5 mai 2009 Deux heures - Sans document Exercice 



Examen 1 - Master 1 - UPMC - 2007/2008

Université Pierre et Marie Curie Master M1 "Mathématiques et Applications" Période 2 - 2007/2008 Programmation en C/C++ Examen 1 Documents autorisés 



[PDF] Examen - Master 1 - UPMC - 2011/2012

Université Pierre et Marie Curie Master M1 "Mathématiques et Applications" Période 2 - 2011/2012 Programmation en C/C++ Examen du 14 mai 2012



[PDF] UPMC – Master informatique – M2-STL – UE Tests Examen – Mars

UPMC – Master informatique – M2-STL – UE Tests Examen – Mars 2011 1 MC/ DC Soient c1, c2 et c3 3 variables booléennes Soient les deux décisions:



[PDF] Scie - Master SPI Energétique et Environnement de lUniversité

25 sept 2018 · Elle est organisée pendant les sessions d'examens dans le respect du calendrier universitaire Elle consiste en une épreuve de même type 



[PDF] Master Finance - Université Paris 1 Panthéon-Sorbonne

26 mar 2019 · d'examen de la candidature 1bis Pour être inscrit en première année du diplôme de master mention Finance parcours Droit des affaires, les 



pdf Groupe des Anciens Personnels de Sorbonne Université - UPMC

la lumière et l’obscurité Claude Fabre (laboratoire Kastler Brossel) Une fenêtre sur les rêves : les parasomnies et le rêve lucide Isabelle Arnulf (Pitié-Salpêtrière) - en présentiel et en distanciel via Zoom La Bio-inspiration : Un nouvel El Dorado Serge Berthier Professeur émérite - Université de Paris

[PDF] Examen - Site personnel du Dr. Abdelhamid Djeffal

[PDF] Examen - Université du Maine - Gaz Naturel

[PDF] Examen - Verimag

[PDF] Examen 1 : QCM et interprétations - Anciens Et Réunions

[PDF] Examen 1° dan Technique - Support Technique

[PDF] Examen 2 francais 2014 4AP T1

[PDF] Examen 2008-2009

[PDF] examen 2010 - Université de La Réunion - Espèces En Voie De Disparition

[PDF] Examen 2011 - 23. Studiengang - Akademie für Handwerksdesign

[PDF] Examen 2013 avec les réponses - Les Lois De Construction

[PDF] Examen 2014 1 - Département de chimie

[PDF] Examen 2015 - Gestion De Données

[PDF] Examen 2° dan Technique - La Certification De L'Ordinateur

[PDF] Examen : Bac S Epreuve : Mathématiques

[PDF] EXAMEN : BACCALAURÉAT PROFESSIONNEL I Session : 2002

UPMC - Master informatique - M2-STL - UE Tests

Examen - Mars 2011

1 MC/DC

Soientc1,c2etc33 variables booléennes. Soient les deux décisions:

D1=(c1 and c2) or c3

D2=(c1 or c2) and c3

Question:

1. Pour chacune d"elle donnez un jeu de tests (ensemble de triplets de booléens) qui assure leur couverture

MC/DC.

2 Couverture fonctionnelle

On observe la position d"un objet à l"intérieur d"une zone. L"objet est modélisé par un cercle de centre

(x0;y0)et de rayonr. La zone est modélisée par un rectangle de coin inférieur gauche(x;y), de largeurw

et de hauteurh. Les coordonnées et les longueurs sont des entiers.On définit 3 statuts caractérisant la position de l"objet vis-à-vis de la zone:OK,WARNINGetALERT. Le statut

OKest une valeur booléenne. Les deux niveaux d"alarmeWARNINGetALERTsont à valeur dans l"ensemble

énuméré{ NONE, NORTH, SOUTH, WEST, EAST }.

On pose

1. l"objet esten zonelorsque tous les points de sa circonférence sont à l"intéreur du rectangle.

2. l"objet esten limite de zonelorsqu"un des points au moins de sa circonférence est hors du rectangle et

un autre à l"intérieur du rectangle.

3. l"objet esthors zonelorsque tous les points de sa circonférence sont hors des limites du rectangle.

Les valeurs des 3 statuts sont ainsi définies:

si l"objet esten zone:OK=true,WARNING=NONEetALERT=NONE; si l"objet esten limite de zone:OK=false,WARNING=diretALERT=NONEoùdirindique laquelle des limites du rectangle est touchée parmi{ NORTH, SOUTH, WEST, ou EAST }; si l"objet esthors zone:OK=false,WARNING=NONEetALERT=diroùdirindique laquelle des limites du rectangle a été franchie parmi{ NORTH, SOUTH, WEST, ou EAST }.

Les fonctionnalités de l"observation sont implémentées par le composantcontrol. Ses entrées sont:(x0;y0),

ret(x;y),w,h.Ses sorties sont les 3 statutsOK,WARNINGetALERT. 1

Questions

1. Donnez un jeu de test qui assure la couverture fonctionnelle nominale des sorties du composant.

2. On suppose les caractèristiques du rectangle(x;y);w;hfixées ainsi que le rayonrde l"objet. Déterminez

en fonction de ces valeurs une partition du domaine de valeurs de(x0;y0).

3. Choisissez des valeurs pour(x;y);w;hetr; donnez un jeu de tests pour(x0;y0)qui assure la couverture

des données aux limites.

4. N"y a-t-il pas des valeurs de(x0;y0)pouvant mettre en défaut le composant ?

3 Couverture structurelle

La calcul d"un taux de rtraite dépend de plusieurs paramètres: l"âge du candidat; l"âge minimal de départ,

l"âge maximal, le nombre de semestres effectués, le nombre de semestres requis, etc. Voici un pseudo-code

très simplifié de ce calcul:

00 Si (age < ageMin):

01 taux := 0

02 Sinon:

03 diffAge := ageMax - age;

04 Si (0 < diffAge):

05 diffTrim := nbTrimReq - nbTrimEff;

06 Si (0 < diffTrim):

07 Si (diffAge < diffTrim):

08 diffTrim := diffAge;

09 Fsi;

10 taux := tauxMax - diffTrim*(decote(age));

11 Sinon:

12 taux := tauxMax;

13 Fsi

14 Sinon:

15 taux := tauxMax;

16 Fsi

10 Fsi.

Les âges (age,ageMinetageMax) sont exprimés en trimestres. On pose: ageMin= 248 etageMax= 268; nbTrimReq= 165

Questions:

1. Nommez et donnez les branches de ce code sous forme de listes de numéros de lignes.

2. Donnez une jeu de tests pourageetnbTrimEffqui assure la couverture des branches du code en

indiquant pour chaque test la branche correspondante.

3. Dans ce code, le nombre de chemins est-il égal au nombre de branches ? Si non, donnez les chemins

(sous forme de listes de numéros de lignes) qui ne n"ont pas été couverts par votre jeu de tests.

2quotesdbs_dbs17.pdfusesText_23