G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 19/00 (2006.01) G01R 31/3183 (2006.01) G06F 11/36 (2006.01) G06F 17/50 (2006.01)
Patent
CA 2207524
A method and apparatus for defining a system design specification by using a finite set of templates that have a format for accepting a set of system expression such that a selected template, when filled with the system expressions, defines an expected behavioral attribute of the system. In one illustrative embodiment, each template has a set of qualifiers and a set of entry blanks, wherein each qualifier is associated with a entry blank. In such an embodiment, the set of entry spaces may comprise a fulfilling condition entry space for accepting a system expression that defines a required or assumed event of the system model, an enabling condition entry space for accepting a system expression that defines a precondition for starting a check of the required or assumed event, and a discharging condition entry space for accepting a system expression that defines a condition after which said fulfilling condition is no longer required or assumed by the system model. Filling the entry spaces of a selected template with the appropriate system expression can form an expression that defines an expected behavior of the system model. Thus, a set of filled templates can define a set of expected behaviors of the system model (i.e. a system design specification). The system design specification can then be used to generate computer-executable code (e.g. automata) for testing the expected behavioral attributes of the system. For example, each filled template of the system design specification can be converted to an automaton by a given subroutine.
L'invention est constituée par une méthode et un appareil servant à élaborer une spécification de construction d'un système au moyen d'un ensemble fini de gabarits qui ont le format approprié pour recevoir un ensemble d'expressions systémiques, ce format étant structuré de telle sorte que, quand un gabarit donné est rempli d'expressions systémiques, ce gabarit définit un attribut comportemental prévu du système en cause. Dans une concrétisation illustrant l'invention, chaque gabarit contient un ensemble de qualificateurs et un ensemble de champs de saisie, chacun de ces qualificateurs étant associé à un champ de saisie. Dans cette concrétisation, l'ensemble des espaces de saisie peut comprendre un espace de saisie de condition à satisfaire servant à recevoir une expression qui définit un événement requis ou supposé par le modèle du système, un espace de saisie de condition de validation servant à recevoir une expression systémique qui définit une précondition à satisfaire pour lancer une vérification de cet événement requis ou supposé, et un espace de saisie de condition de décharge servant à recevoir une expression systémique qui définit dans quelle condition la condition à satisfaire ci-dessus n'est plus requise ou supposée par le modèle du système. En remplissant les espaces de saisie d'un gabarit donné avec les expressions systémiques appropriées, on peut obtenir une expression qui décrit le comportement prévu du modèle du système. Ainsi, un ensemble de gabarits remplis peut définir un ensemble de comportements prévus du modèle du système (c.-à-d. une spécification de la construction du système). Cette spécification peut alors être utilisée pour produire des codes exécutables par ordinateur (par ex., des automates) afin de vérifier les attributs comportementaux prévus du système. Par exemple, chaque gabarit rempli de cette spécification peut être converti en automate par un sous-programme donné.
de Palma Gary F.
Glaser Arthur Barry
Kurshan Robert Paul
Wesley Glenn R.
Kirby Eades Gale Baker
Lucent Technologies Inc.
LandOfFree
Apparatus for defining properties in finite-state machines does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Apparatus for defining properties in finite-state machines, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus for defining properties in finite-state machines will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1535228