4. Aide à la validation (par simulation)
Si les méthodes formelles sont appliquées dans les processus requérant les plus hauts niveaux de garanties, elles ne peuvent pas toujours aboutir du fait de l'explosion combinatoire ou des surapproximations trop grossières à appliquer pour pouvoir conclure. Les méthodes de test (fonctionnel) restent très largement utilisées. Étant non exhaustives elles posent le problème de la sélection, parmi un ensemble infini de séquences de stimuli à appliquer, d'un sous-ensemble fini, extrêmement réduit, permettant de placer le système dans des configurations difficiles à atteindre et ayant été identifiées comme particulièrement sensibles. Les méthodes formelles peuvent intervenir pour aider au choix de ces séquences pertinentes et également pour construire des observateurs, analysant au fil de l'exécution des propriétés de la spécification du système....
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Aide à la validation (par simulation)
Conception sûre garantie par construction
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
