Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Concours d’accès à la formation doctorale en Informatique Epreuve : Génie Logic

Concours d’accès à la formation doctorale en Informatique Epreuve : Génie Logiciel Avancé Durée : 2 heures Exercice 1 : QCM (4 Pts) 0,5 pt par réponse exacte et –0,5 pt par réponse fausse. Ne répondez pas au hasard car la note à cette question peut devenir zéro. Q1. Le produit appelé « logiciel » peut être composé : a. de programmes exécutables. b. de tests. c. de manuels d’utilisation. d. de scripts de configuration automatique. Q2. La robustesse d’un programme est : a. caractérisée par sa résistance aux chocs. b. proportionnelle à sa stabilité. c. une conséquence de sa correction vis-à-vis de sa spécification. d. une condition nécessaire à sa correction vis-à-vis de sa spécification. Q3. La « crise du logiciel » était causée par : a. une crise de l’investissement dans le domaine informatique ; b. un inversement du rapport entre les coûts du logiciel et du matériel ; c. un déficit en informaticiens sur le marché du travail. Q4. Cacher les détails d’implémentation : a. est une erreur de conception puisqu’il faut que le client d’un module ait un maximum d’information sur ce module pour l’utiliser au mieux. b. permet de faire rendre indépendant l’implémentation d’un module de ses utilisations. c. introduit une forme d’abstraction. d. est impossible lorsque l’on programme vraiment. Q5. C’est le rôle d’un chef de projet : a. de programmer les composants d’un logiciel. b. de vérifier le bon déroulement des tâches. c. d’organiser l’enchaînement des tâches. d. de fournir une visibilité globale sur un projet. e. d’écrire la spécification du logiciel. Q6. Les propriétés suivantes font partie de la spécification fonctionnelle d’un programme de tri de tableau : a. les éléments du tableau sont préservés. b. les éléments du tableau sont triés. c. l’algorithme s’exécute en temps O.n:log.n... d. l’algorithme fonctionne sur des tableaux de dimension arbitraire. الجمهورية الجزائرية الديمقراطية الشعبية Democratic and Popular Republic of Algeria وزارة التــعلـــیــم الــعــالــي و البــحــث الــعــلــمي Minister of Higher Education and Scientific Research جامعة عباس لغرور- خنشلـة Abbès Laghrour University Khenchela نيابة مديرية الجامعة للتكوين العالي في الطور الثالث، التأهيل الجامعي، البحث العلمي، وكذا التكوين العالي فيما بعد التدرج Vice Rectorate of the Higher Education of the Third Cycle and University Accreditation Scientific Research In Post-Graduation Q7. Les spécifications suivantes sont vérifiables : a. la quantité de mémoire consommée n’excède pas 1Mo. b. les effets spéciaux du jeu sont impressionnants. c. le programme termine toujours en moins de 10ms. d. le serveur supporte la montée en charge. e. l’interface graphique est ergonomique. Q8. Un modèle du système sert à : a. pouvoir en faire des copies à l’infini. b. le décrire selon un certain point de vue abstrait. c. fournir un cadre clair facilitant sa réalisation. d. déceler des incohérences dans l’analyse de besoin. e. valider le système dans son ensemble. Stefano Stefano Exercice 2 (4 Pts) Une pharmacie reçoit des prescriptions délivrées par des médecins et doit fournir des médicaments aux malades. La pharmacie doit tenir à jour la liste de toutes les prescriptions, de tous les médicaments disponibles, ainsi que le compte financier de la pharmacie. Elle doit aussi faire savoir aux médecins des associations incompatibles des médicaments et tenir un approvisionnement satisfaisant. Q1. Proposer un modèle entité-association avec 4 entités Q2. Proposer un DFD pour la pharmacie du point de vue pharmacien avec comme objectif de déterminer les activités automatisables. Exercice 3 (7 Pts) Considérez le diagramme de classes suivant : Q1. Donnez une formulation en langage naturel pour chacune des contraintes OCL suivantes : 1) context Personne inv : self.employeur = self.departement.employeur 2) context Personne inv : self.age > 18 3) context Personne inv : Personne.allinstances -> forAll(p1,p2 | p1<>p2 implies p1.nom <> p2.nom) 4) context Personne : :anniversaire() pre : age >= 1 and age <130 post : age = age@pre +1 5) context Entreprise inv : self.employeur.forAll(Personne p | p.age >=18 and p.age <=65) Q2. Modifier, graphiquement, le diagramme des classes précédent pour prendre en compte la contrainte suivante : context personne inv : (self.departement -> isEmpty) xor (self.Entreprise -> isEmpty) Exercice 4 (5 Pts) Considérons deux philosophes assis sur une table et partageant deux fourchettes f1 et f2. Un philosophe ne peut manger que s’il a la possession des deux fourchettes et exécute dans l’ordre les actions philo_i_prend_f1, philo_i_prend_f2, philo_i_mange, philo_i_pose_f1 et philo_i_pose_f2. 1. Donner la spécification de cet exemple en utilisant un réseau de Petri. 2. En considérant les actions citées comme étant également les noms des propositions atomiques, exprimer dans la logique CTL les propriétés de : a. Absence de blocage b. Absence de famine uploads/Finance/ epreuve-v2-vf.pdf