Actions sur le document
Séminaire du 4 février 2005
Conférencier:
Daniel Amyot, SITE, University of Ottawa
Titre :
Génération de tests à partir de modèles UCM
Heure
13h30
Lieu
PK-5115, Pavillon Président-Kennedy
(Station metro Place-Des-Arts, 5ième étage)
Résumé
La notation Use Case Map (UCM) permet de modéliser, sous forme de scénarios, les services et les exigences opérationnelles de systèmes réactifs et répartis. Elle représente donc une candidate idéale pour être réutilisée dans un contexte de génération de tests. Trois catégories d'approches de dérivation de buts de tests à partir de modèles UCM seront introduites: patrons de tests, définitions de scénarios, et transformations vers des langages formels (et particulièrement vers LOTOS). Quelques techniques seront brièvement comparées par rapport à la qualité des buts de tests obtenus, à leur facilité d'utilisation, et aux outils disponibles. Un exemple d'application au test d'une application Web, où des tests pour l’environnement Fitnesse seront générés, sera présenté.
Biographie :
Daniel Amyot est Professeur adjoint à l'École d’ingénierie et de technologie de l’information (ÉITI) à l’Université d’Ottawa. Il était auparavant chercheur senior en génie logiciel chez Mitel Networks. Ses sujets de recherche portent sur le génie logiciel orienté scénario, l’ingénierie des exigences et ses notations, les méthodes formelles, et les interactions de services. Il travaille en particulier sur la notation Use Case Map et ses applications depuis plus de douze ans. Daniel est Rapporteur pour les notations d’exigences (MSC et URN) à l’Union internationale des télécommunications (UIT-T). Il détient un doctorat et une maîtrise en informatique de l’Université d’Ottawa (2001 et 1994), de même qu’un baccalauréat en informatique de génie de l’Université Laval (1992).