TP K-MADe

Définir le modèle de tâche d'un ascenseur qui s'utilise de cette façon :

  1. Se rendre devant l'ascenseur

  2. Appuyer sur le bouton d'appel

  3. Attendre que l'ascenseur arrive à votre étage

  4. Attendre que la porte de l'ascenseur s'ouvre

  5. Entrer dans l'ascenseur

  6. Attendre que la porte de l'ascenseur se referme

  7. Choisir l'étage de destination

  8. Attendre que l'ascenseur se déplace

  9. Attendre que la porte de l'ascenseur s'ouvre

  10. Sortir de l'ascenseur


Certaines de ces actions sont facultatives :

  • vous pouvez déjà être devant l'ascenseur

  • l'ascenseur peut déjà être à votre étage

  • la porte peut être déjà ouverte

  • votre destination peut être l'étage courant et donc l'ascenseur ne va pas se déplacer


Certaines actions ou certains groupes d'actions peuvent également être répétées :

  • vous pouvez enchaîner les demandes de changement d'étages sans sortir de l'ascenseur


La plupart de ces actions ont des préconditions et/ou des postconditions...


Il doit être possible de réaliser des enchaînements d'actions du type :

  • 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 (utilisation dite "nominale" de l'ascenseur)

  • 5 - 10 (utilisation minimaliste de l'ascenseur)

  • ... - 5 - 6 - 7 - 8 - 9 - 6 - 7 - 8 - 9 - ... - 10 (plusieurs changements d'étages)