• Document: Correction TD Génie Logiciel Semaine 12
  • Size: 179.09 KB
  • Uploaded: 2019-05-17 14:37:18
  • Status: Successfully converted


Some snippets from your converted document:

INSA de Rouen – Marc Savall – Frédéric Baucher - 2005 Correction TD Génie Logiciel – Semaine 12 DET - Générique Soit A et B, deux diagrammes d’états, l’un avec un état composite (B) et l’autre sans (A) C Diagramme d’états A Diagramme d’états B Question : Montrer que les deux diagrammes ci-dessus ne sont pas équivalents en trouvant une séquence d’événements qui n’amène pas dans le même état en A et en B. On supposera que les séquences débutent à l’état initial. Correction Il faut bien remarquer que l’état initial est à l’intérieur de l’état composite C. Par conséquent à chaque fois qu’on entre dans l’état C (comme c’est le cas avec la transition x), on passe par l’état initial. Ainsi, la séquence d’évènements a, z, x amènera à l’état T dans le cas A alors qu’on sera dans l’état initial dans le cas B. Diagrammes de classes et DET - Montre Enoncé : On considère une montre digitale simplifiée: 1/9 INSA de Rouen – Marc Savall – Frédéric Baucher - 2005 Bouton A 17:35:22 Bouton B 1. Sur la figure, l’état courant est l’état Affichage Heure. 2. Quand on appuie une fois sur le bouton A (bouton Mode), la montre passe en mode modification de l'heure. Chaque pression sur le bouton B (bouton Avance) incrémente l' heure d' une unité; 3. Quand on appuie une nouvelle fois sur le bouton A, la montre passe en mode modification des minutes. Chaque pression sur le bouton B incrémente les minutes d' une unité. 4. quand on appuie une nouvelle fois sur le bouton A, la montre repasse en mode Affichage. 5. Pour régler l’heure de l’alarme, il faut exercer une double pression (à l’instar d’un double- clic sur une souris) sur le bouton A. 6. La montre s’arrête lorsque l’énergie ne parvient plus à la montre (« batteries (piles) trop faible », « batteries retirées », …). Questions a. Réaliser un diagramme de classes représentant une vue détaillée (attribut et fonctions) des classes nécessaires à l’analyse de cette description. b. Réaliser un Diagramme d' états correspondant aux spécifications 1 à 4 ci-dessus, sans oublier les actions accompagnant certaines des transitions. On laisse de coté dans un premier temps le réglage de l’alarme ainsi que l’état final provoqué par l’événement « plus d’énergie». c. Expliquer pourquoi le réglage de l’alarme introduit un non-déterminisme dans le comportement de l’interface utilisateur de la montre. Montrer comment ré-introduire un comportement déterministe en ajoutant un état supplémentaire non précisé dans l’énoncé. d. Ajouter autant de transitions que nécessaire aux états pour représenter le passage dans l’état final. Quelle astuce du formalisme du diagramme d’états pourrait-on utiliser pour alléger la représentation. Correction a) 2/9 INSA de Rouen – Marc Savall – Frédéric Baucher - 2005 Bouton Signal Horloge -heure <<description>> -minute classe stéréotypée -seconde <<signal>> +incrementer_heure() représentative de l'appui Signal_A Signal_B +incrementer_minute() sur le bouton A ou B +incrementer_seconde() +afficher_heure() +afficher_minute() +afficher_seconde() +raz_heure() +raz_minute() +raz_seconde() Reveil Pile -heure -minute -niveau_energie +regler_sonnerie() +sonner() b) On pourrait

Recently converted files (publicly available):