Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques

Résumé : Ce travail s'inscrit dans le cadre de la conception d'environnements de test fonctionnel de systèmes réactifs spécifiés formellement en Lustre. Lutess est un tel environnement. Il permet la génération automatique et dynamique de données de test. Cette génération est menée sous contraintes, de manière aléatoire, et éventuellement guidée par des propriétés. Nous avons étendu cet environnement par une méthode de test de type statistique, qui facilite la génération des données de test considérées comme significatives par l'utilisateur. Nous avons validé expérimentalement Lutess avant et après son extension, en montrant que les données générées étaient bien aléatoires et qu'elles respectaient les distributions statistiques attendues. De plus, nous avons utilisé Lutess et la méthode proposée de façon intensive pour la validation de spécifications de services téléphoniques sur deux études de cas conséquentes : une fournie par le CNET et une autre sous la forme d'un concours proposé en marge de la conférence "Feature Interaction Workshop'98". A cette occasion, Lutess a été déclaré "meilleur outil pour la détection d'interactions de services téléphoniques".
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1999. Français
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00004828
Contributeur : Thèses Imag <>
Soumis le : mercredi 18 février 2004 - 14:28:16
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33
Document(s) archivé(s) le : vendredi 2 avril 2010 - 19:16:52

Identifiants

  • HAL Id : tel-00004828, version 1

Collections

UJF | IMAG | UGA

Citation

Lydie Du Bousquet. Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1999. Français. 〈tel-00004828〉

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

194