Dépôt institutionnel de l'UQO
RECHERCHER

Génération automatique de tests à partir de la spécification des besoins

Cardenas, Luis (2007). Génération automatique de tests à partir de la spécification des besoins. Mémoire. S.l., Université du Québec en Outaouais, Département d'informatique et d'ingénierie.

Le plein texte n'est pas disponible pour ce document.

Résumé

Le processus pour tester un système contient les étapes suivantes : l’identification de la partie du système à évaluer, la construction des scénarios pour tester l’application, la détermination du résultat attendu pour chaque scénario, l’obtention du résultat réel après avoir exécuté le scénario par l’application, la comparaison entre la value attendue et la valeur réelle et déterminer quand finir le processus de test. Chaque fois, lorsqu’il y a un changement dans la spécification ou dans le code du système, le testeur doit répéter le processus de test. Souvent, le testeur doit travailler avec des spécifications informelles ou avec des systèmes complexes. La construction des scénarios dans ces cas n’est pas évidente. Dans ce mémoire nous présentons un nouvel algorithme de génération des scénarios à partir d’une spécification formelle SCR (Software Cost Reduction). Avant de générer les scénarios, la spécification SCR est convertie en une structure de graphe EFSM (Extended Finite State Machine), ensuite l’algorithme construit les scénarios et détermine quelles sont les exigences qui sont atteignables et quelles sont les exigences qui ne le sont pas. Nous présentons aussi un nouvel algorithme qui minimise un ensemble de scénarios donné et garantit que chaque exigence du système sera testée au moins une fois par un scénario. L’algorithme de minimisation utilise un nouveau critère basé sur le nombre minimal des événements contenus dans l’ensemble des scénarios.

Type de document: Thèse (Mémoire)
Informations complémentaires: Thèse (M.Sc.)--Université du Québec en Outaouais, 2007. ; Comprend des réf. bibliogr. (f. [75]-76). Bibliothèque L.-Brault QA 76 .76 T48 C37 2007
Mots-clés libres: Logiciels -- Essais Analyse des besoins
Départements et école, unités de recherche et services: Informatique et ingénierie
Date de dépôt: 10 déc. 2012 21:07
Dernière modification: 15 mai 2013 18:54
URI: http://di.uqo.ca/id/eprint/324

Actions (Identification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt