| HAL : hal-00346061, version 1 |
| Fiche détaillée | Récupérer au format |
|
|
| MBT'08: Model-Based Testing (2008) 29-41 |
|
|
|
|
| j-POST: a Java Toolchain for Property-Oriented Software Testing |
|
|
Yliès Falcone 1, 2Laurent Mounier 1 |
|
|
| (21/03/2008) |
|
|
| j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test generation is based on an original approach which consists of deriving a set of communicating test processes obtained both from a requirement formula (expressed in a trace-based logic) and a behavioral specification of some specific parts of the software under test. The test execution engine is then able to coordinate the execution of these test processes against a distributed Java program. j-POST was applied to check the correct deployment of a security policy for a travel management application. |
|
|
|
|
|
|
|
|
|
|
| 1 : | VERIMAG (VERIMAG - IMAG) |
| CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) | |
| 2 : | Laboratoire d'Informatique de Grenoble (LIG) |
| Université Joseph Fourier - Grenoble I – Institut Polytechnique de Grenoble - Grenoble Institute of Technology – Université Pierre-Mendès-France - Grenoble II – CNRS : UMR5217 | |
| 3 : | Laboratoire Logiciels Systèmes Réseaux (LSR - IMAG) |
| CNRS : UMR5526 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) | |
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Réseaux et télécommunications |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
|
|
| hal-00346061, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00346061 | |
| oai:hal.archives-ouvertes.fr:hal-00346061 | |
| Contributeur : Yliès Falcone | |
| Soumis le : Jeudi 11 Décembre 2008, 08:51:24 | |
| Dernière modification le : Mercredi 17 Décembre 2008, 15:09:59 | |