Difficile de ne pas avoir A = B + C plutôt que A = B - C... Ce genre de bogue n'est pas toujours évident à trouver. Ceci dis, la dernière norme Ada (2012) met en place les 'Type invariants' (http://www.ada2012.org/) qui permet d'éviter un certain d'erreur bête de ce genre.
Il me semble avoir entendu lors d'un exposé que la ligne 1 du métro a été automatisé en Esterel et qu'il n'a été trouvé aucun bogue. Cela semble trop beau pour être vrai à 100% mais je ne connais personne en interne pour confirmer / infirmer et je n'y connait rien en Esterel ;-)
[^] # Re: Assembleur
Posté par Sytoka Modon (site web personnel) . En réponse au journal Code source de Apollo 11. Évalué à 2.
Difficile de ne pas avoir A = B + C plutôt que A = B - C... Ce genre de bogue n'est pas toujours évident à trouver. Ceci dis, la dernière norme Ada (2012) met en place les 'Type invariants' (http://www.ada2012.org/) qui permet d'éviter un certain d'erreur bête de ce genre.
Il me semble avoir entendu lors d'un exposé que la ligne 1 du métro a été automatisé en Esterel et qu'il n'a été trouvé aucun bogue. Cela semble trop beau pour être vrai à 100% mais je ne connais personne en interne pour confirmer / infirmer et je n'y connait rien en Esterel ;-)