Présentation de Francis Jambon Date : jeudi 13 juin 2002 Lieu : CENA Toulouse, salle de conférence Contact : Yannick Jestin tél: 05 62 25 96 02

Titre de la présentation :
Vérification et validation des interfaces homme-machine

Résumé : Cet exposé présentera nos travaux sur les méthodes et techniques de vérification et de validation des Interfaces Homme-Machine. Après une rapide introduction du domaine de l'ingénierie de l'interaction homme-machine, nous nous intéresserons aux propriétés ergonomiques dont l'évaluation peut être automatisée. En se basant sur ces propriétés, la première approche évoquée montrera comment spécifier puis implanter un système interactif à l'aide d'un formalisme orienté modèle (B) et d'un modèle d'architecture logicielle spécialisé. La seconde approche s'intéressera au test des IHM à partir d'une analyse de la tâche de l'utilisateur. Nous présenterons les spécificités du test d'IHM, puis les techniques utilisées pour la soumission des séquences de test et la vérification des oracles. Enfin, les limites de ces approches seront évoquées ainsi que les axes de recherche en cours.

Elements de bibliographie :