Vous êtes sur la page 1sur 5
MASTERSEM — ENSATE NOM: DS Test & vérification formelle Devoir Surveillé I. Connaissances de base 1 Soit L une liste. Ecrire ’instruction qui permet d’insérer ’élément 21 aprés 1’élément @ indice i, (On conserve tous les anciens éléments et on ajoute 21 !) >>> seeeLf iL 141] = 21} <= = LE: itt] + [21] + Lit : | <=> Lainsert(it1, 21) 2. Définir une liste L par compréhension qui contient les entiers de 7 a 230 tous inclus. >>>. ifor iin range(?, 231) }. Soit L une liste. Ecrire l’instruction qui permet d’insérer I’élément 13 4 la place de l’élément d’ indice i. (On supprime 1’éément d’ indice iet on ajoute 13!) DP> sevesseMfi] = 1B. sscsccesssrssssssosoesseeessescsesnssseensstscesssscenensessceresenne 4, Soit L une liste. Ecrire expression qui permet de tester si l’élémentx appartient a L. 5. . une liste. Ecrire l instruction qui donne le nombre d’éléments de L. >>>, -len(L) 6. Soit Lune liste. Ecrire l’instruction qui donne la liste inverse de L. 7. Donner instruction permettant de créer une liste remplie avec 1000 zéros. D> ceeceeeeeeed 0) 1000. cccsccsssssssninssneenssnsessssssssssssssssssssssnessn 8. Soit Lune liste. Ecrire instruction qui permet d’insérer ’alpha’ dans L avant le premier élément de L. >>> sees = [‘alpha']+ L # <=> L[0:0]=['alpha’] 9. Soit L une liste. Ecrire l’instruction qui permet d’insérer ’alpha’ dans L aprés le dernier élément de L. >>> eee = L+ [ ‘alpha’ }# <=> Lf :-1] = ['alpha’] MASTERSEM — ENSATE NOM: . DS Test & vérification formelle 10. — Soit L une liste. Ecrire l’instruction qui permet d’insérer ’alpha’ dans L a la place du premier ément de L. >>> seseeeeLf0] ='alpha’.. 11. — Soit L une liste. Ecrire l’instruction qui permet d’insérer ‘alpha’ dans L la place du demier élément de L. >>. [1] ='alpha's>L| len(L}1 | ='alpha’ 12. — Soit U et V deux listes. Ecrire l'instruction qui permet d’obtenir une liste W qui contient tous les éléments de U suivis de tousles éléments de V. >>> see W=UtV 13. Soit U et V deux listes. Ecrire instruction qui permet d’obtenir une liste W qui contient Je premier élément de U et le dernier ément de V. >>>. ..W=[U[0], VE] | #<=>w=[U[0]]+[ VI-1] |. 14, Soit U et V deux listes. Ecrire 'instruction qui permet d’obtenir une liste W qui contient les éléments de U d’indices pairs suivis des éléments de V d’indices impairs. >>> sooner W= UL 22)+ ViLr2].. 15. Les types que nous avons vu, jusqu’a présent, au cours de la programmation python. sont: int, float, bool, str, list et tuple. Soit la série d'affectations suivantes. Indiquer letype pour chacune des variables v0 a v9. >>> w0 = 3.141592654 type (vO) : >>> v1 = "Salam" type (vi): ... >>> v2= len(vl) type (v2): ... >>> v3-= (v1 == "epge") >>> v4 = WO /2 >>> v5 = ["quatre", 4, “cing”, 5, "six", 6] >>> v6 = vo[L:4] >>> w7 = val2] >>>v8 = int("42") >>>v9 = str(271325121873226712) MASTERSEM — ENSATE NOM: DS Test & vérification formelle 16. Donner kes valeurs de a, b et c dans Texpression for i in range(a,b,c) : print(i) pour avoir le résultat suivant : 4,6,8,10,12 ? a= 4, b=13, c=2 17. Quiaffiche fexpression suivante : for i inrange(17,7,-3) : print(i)? >>>. >>> seescsssesssessseeeed 7, 14, 11, 8. 18. Soit la fonction fct1 définie de la maniére suivante : def fctl (x= 2, y= retun2* x+y Donner la valeur de m pour chaque appel de la fonction fet : >>>m= fetl() 7H#2* 243 >>>m= fetl(7) sessssee ITH 2®7 43 >>>m= fetl(5,4) sessed #285 44 >>>m= fetl(y = 8, x= 9) sesssssee 26# 289 +8 19. Soit L une liste de valeurs numériques. Ecrire une instructionqui permet de créer une liste LC qui contient les carrés des valeurs de L. Exemple : Pour L = [1, 4, 7.3, 8, 5}, LC = [1, 16, 53.29, 64, 25] >>>LC = ...LC = [elt **2 forelt in L ] #<=>[ L[i] **2 fori in range(len(L))]) 20. Soit T un tuple. Exemple : T = (77, ‘alpha’, ['x, 12.5, 9]). On veut insérer 'élément entier 16 4 la fin de T et avoir le résultat: T = (77, ‘alpha’, ['x, 12.5, 9], 16). Ecrire Tinstruction qui permet de le faire. >>> sesseesereene T= T+ (16) # <=> T= T+ tuple( [16] ) II. Questions 4 choix multiples encercler les lettres alphabétiques des réponses que vous jugez correctes (une seule réponse pour chaque question). Une réponse multiple ne sera pas notée ! 1. Unalgorithme est : a. Un programme compréhensible par la machine. ‘b. Une description des actions a effectuer pour réaliser un travail. MASTERSEM — ENSATE NOM : .. DS Test & vérification formelle c. Un fichier exécutable 2. L’extension dun fichier source écrit en langage Python est : a-.exe beh c-.cpp d-obi oe - “PY 3. Le programme chargé de traduire le code source d’un langage de programmation vers le langage binaire est : a. Le binarisateur. b. Le compilateur. c. L'exécuteur 4. Une bibliothéque est: a, Un fichier source déa écrit contenant des fonctions toutes prétes. b. Un fichier permettant d’afficher ou de lire des données. c. Un fichier de compilation. 5. La fonction permettant ’affichage du texte sur l’écran est : a. input b.main print 4. stdout 6. Laquelle de ces variables n’a pas un nom valide a. Pesi2 b.mpsil — c.pesi2 —d. mpsil 7. Les opérateurs "and, or et not "sont des opérateurs : a. logiques b. relationnels c. arithmétiques 8. Le rdle principal de la fonction input est : a. Afficher des données sur la sortie standard /b. Saisir des données depuis l’entrée standard MASTERSEM — ENSATE NOM: DS Test & vérification formelle Question 1: Expliquer, en quelques lignes, la différence entre la vérification des systémes par la méthode du test et par le model-checking : Exercice : Ascenseur Nous voulons modéliser le fonctionnement d’un ascenseur desservant 3 étages. La cabine comporte 3 boutons qui permettent de choisir la (ou les) destination(s). De plus, a chaque étage se trouve un bouton qui permet d'appeler l'ascenseur. Lorsque la cabine siarréte & un étage, a porte s'ouvre automatiquement. 1 En utilisant les automates communicants, modélisez ce systéme en respectant les régles suivantes : © Acchaque étage, la porte nest jamais ouverte si la cabine riest pas li. * Llascenseur ne dessert que les étages pour lesquels existe un appel © Lorsquil n'y a pas de requéte, la cabine reste a l'étage oi elle se trouve, © Lorsque la cabine se déplace, elle doit s'améter aux étages par lesquels elle passe si un appel les concerne. © Lorsquiil existe plusieurs appels, Tascenseur doit traiter prioritairement ceux permettant de continuer dans la méme direction que le dernier déplacement. 2- Exprimer en CTL les hypothéses : e L’ascenseur sera occupé un jour © Siaucun appel n’est encoure l’ascenseur est en état stoppé © Sil’ascenseur est en mouvement alors il y a un appel encoure Vascenseur est en en état stoppé il reste en cette état jusqu’a l’arrivée d’un appel. © Chaque requéte doit étre satisfaite “un jour".