ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 9/RSTI1 - 2003  - pp.203-216
TITRE
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes

RÉSUMÉ
Cet article définit une représentation intermédiaire pour l'évaluation à contraintes de spécifications formelles logico-ensemblistes en particulier pour les notations B et Z. Cette représentation intermédiaire est une réécriture de la spécification formelle en un format prédicatif avant-après. Elle permet de décrire toute spécification formelle B ou Z en un système de contraintes équivalent. Cette traduction s'effectue au moyen d'une procédure spécifique permettant d'optimiser l'évaluation des comportements du modèle formel. L'autre intérêt de ce format est d'offrir un langage d'entrée unique à l'environnement de génération de tests fonctionnels aux limites BZ-Testing-Tools. Cet environnement a déjà été utilisé dans le cadre de projets industriels qui ont pu ainsi valider ses différents composants.


ABSTRACT
The article defines an intermediate form to constrained evaluation of formal model described in language B and Z. The intermediate form is a rewritten of formal specification to before-after predicate form. It allows to rewrite all formal B and Z specification into constraints system. The translation step allows to optimize the constrained evaluation of behavior of the model. Another interest of the form is to give up only one language as an input of the BZTesting-Tools environment tools. The BZ-Testing-Tools is a set of tools to generate functional limit test. It was used in different industrial case studies.


AUTEUR(S)


MOTS-CLÉS
Méthodes formelles, évaluation à contraintes, notation B, animation, génération de tests.

KEYWORDS
Formal methods, constrained evaluation, B notation, animation, test generation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (223 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier