le défi de la spec

alors moi je lance se sujet pour mettre au défi toute personnes qui aurai le courage de spécifier n'importe koi juste pour voir.

alor voila mon premier sujet de spécification: Soirée Tonus

moi je connai au moins un des invariants c L'ALCOOL

Pour continuer la spécification de ta machine, j'ajoute ces quelques éléments:

Variables : TauxDalcoolDansLeSang, [AJeun,Euphorie,Quiche,Coma]

Initialisation : TauxDalcoolDansLeSang :=AJeun (ça dépend chez certains l'état par défaut est l'un des 3 autres...)

Opérations :
- PrendreUnVerre
- AllerQuicher
- SeRidiculiserSurLaPisteDeDanse
- UnDernierPourLaRoute
- TrouverUnArretDeTramPourSeReposer

PrendreUnVerre
PRE TauxDAlcool<=TauxCritique-1
THEN NombreDeVerres:=NombreDeVerres+1
TauxDAlcool:=TauxDAlcool+1
END;

AllerQuicher
PRE TauxDAlcool>=TauxCritique
THEN ContenuEstomac:=ContenuEstomac-XContenuEstomac (avec X de 0 à 1)
END;

TrouverUnArretDeTramPourSeReposer
PRE Individu=Gauthier
TauxDAlcool>0
THEN Lit:=BancDArretDeTram
END;

Pour le reste on verra plus tard

et dire qu'il marche ce programme, je l'ai compilé une fois en bringue, et j'ai fait tous les jeux d'essais, marche impec!

il manque comme meme un peu de variable. mais je suis assé d'accord avec 20cent

une autre opération

LalcoolNuitALaSante
PRE TauxDAlcool=TauxCritique;
Begin
When RencontreFeminine
Then Apparence:=Vellard;
EtatPsychologique:=Choc;

AllerQuicher;
End;

Tout un tas d'actions diverses, variées et joyeuse

une machine a spécifier dans la machine de départ via un "SEES"


MACHINE
RencontreFéminine
PRE
Apparence /= Vellard

OPERATIONS
-------MettreDuDéodorant
PRE
odeur=repoussante
THEN
bruit=PschittPschitt
déo:=déo-PschittPschitt
END;

-------SortirSonCalibre
PRE
True!
THEN
Braguette:=Ouverte
Admiration:=Vrai
END;

-------TaterLeTerrain
PRE
HandicapéDesDeuxMains=Faux
THEN
Action:=Palper
END;

Je laisse le flambeau au suivant!

lol j'adore cette version

Bizaremment la spec ya ke sur le forum kjy arrive...