Test of object-based specifications using B notations - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2005

Test of object-based specifications using B notations

Ninh Thuan Truong
  • Fonction : Auteur
  • PersonId : 830522
Jeanine Souquières

Résumé

We propose an approach to test object-based specifications using B notations. We start from an UML specification in the form of a class diagram and sequence diagrams which express scenarios modelling the system's behavior. These diagrams are transformed into a B specification which is completed by the definition of the operations (messages in the sequence diagrams corresponding to the methods in the class diagram), and safety and dynamic properties on the system. The test of scenarios and the satisfaction of the properties is done by means of a theorem prover.
Fichier principal
Vignette du fichier
main.pdf (203.89 Ko) Télécharger le fichier

Dates et versions

hal-00015031 , version 1 (02-12-2005)

Identifiants

  • HAL Id : hal-00015031 , version 1

Citer

Ninh Thuan Truong, Jeanine Souquières. Test of object-based specifications using B notations. 2005. ⟨hal-00015031⟩
113 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More