Loading...
Please wait, while we are loading the content...
Similar Documents
Génération automatique de tests à partir de patrons de propriétés
| Content Provider | Semantic Scholar |
|---|---|
| Author | Dadeau, Frédéric |
| Copyright Year | 2009 |
| Abstract | Cet article propose une technique originale de generation de tests, a partir d'un modele formel d'une application, ecrit sous la forme d'une machine abstraite B, et d'une propriete definie suivant certains patrons. Les patrons sont des structures parametrees generiques permettant d'exprimer une propriete formelle se basant sur des predicats d'etats et des evenements du systeme. La technique presentee se base sur la production automatique de scenarios de tests qui sont issus de la propriete en elle-meme et d'un besoin de test, ce dernier decrivant informellement une intention de test d'un ingenieur validation. En fonction du patron de propriete consideree et de son instanciation concrete, un ou plusieurs besoins de tests peuvent s'appliquer. Les scenarios de tests produits sont exprimes sous la forme d'expressions regulieres decrivant des enchainements d'operations amenant a des etats pertinents du systeme. Un mecanisme d'animation symbolique du modele est utilise pour deplier les scenarios et instancier les tests, notamment les parametres des operations, jusqu'ici abstraits. Ceci permet de produire des cas de tests abstraits prets a etre concretises pour le systeme sous test. Nous presentons l'application de ces principes a travers une etude de cas issue du milieu industriel. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://hal.archives-ouvertes.fr/hal-00563327/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
