Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata

Résumé : Ce rapport propose de nouvelles techniques de génération de tests pour des automates temporisés avec entrées et sorties (TAIOs for {\em timed automata with inputs and outputs}) dans le cadre formel de la théorie du test de conformité tioco. Dans ce contexte, un premier problème consiste en la déterminisation des TAIOs, nécessaire pour prévoir les prochaines actions tirables, mais en général impossible. Ce problème est résolu grâce à une déterminisation approchée fondée sur la théorie des jeux, préservant tioco et garantissant la correction des cas de tests générés. Le second problème est celui de la sélection de tests pour lequel une description précise des comportements temporisés à tester est fournie par des objectifs de tests expressifs modélisés par une généralisation des TAIOs. Enfin, grâce à une analyse symbolique de co-accessibilité guidée par les objectifs de tests, les cas de tests sont générés sous la forme de TAIOs équipés de verdicts.
Type de document :
Rapport
[Research Report] RR-7501, INRIA. 2011, pp.20
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00550923
Contributeur : Thierry Jéron <>
Soumis le : vendredi 31 décembre 2010 - 17:48:19
Dernière modification le : jeudi 26 octobre 2017 - 10:52:02
Document(s) archivé(s) le : lundi 5 novembre 2012 - 15:05:14

Fichier

RR-7501.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00550923, version 1

Collections

Citation

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. [Research Report] RR-7501, INRIA. 2011, pp.20. 〈inria-00550923〉

Partager

Métriques

Consultations de la notice

232

Téléchargements de fichiers

133