 |
|
|
|
| HAL : hal-00015031, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Test of object-based specifications using B notations |
|
|
| Ninh Thuan Truong 1Jeanine Souquières 1 |
|
|
| (2005) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | DEDALE (LORIA) |
|
|
|
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logiciel mathématique |
|
|
|
|
| hal-00015031, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00015031 | |
| oai:hal.archives-ouvertes.fr:hal-00015031 | |
| Contributeur : Ninh Thuan Truong | |
| Soumis le : Vendredi 2 Décembre 2005, 09:41:43 | |
| Dernière modification le : Vendredi 11 Mai 2007, 18:59:55 | |
