JDIR 1996, Journées Doctorales en Informatique et Réseaux, September 1996, Paris, France
Les spécifications formelles ne sont pas une fin en soi. Il faut plutot les considérer comme l’étape initiale nécessaire pour effectuer sur la spécification d’un système et ses implémentations futures des activités telles que la validation, la vérification, le test et déboguage . . .
Après avoir présenté le formalisme des comportements d’objets gérés défini dans le cadre de TIMS 1, cet article propose des ébauches de solutions pour la génération de suite de tests de spécifications de comportements d’objets gérés du RGT.
Type:
Conference
City:
Paris
Date:
1996-01-01
Department:
Digital Security
Eurecom Ref:
207
See also:
