Séminaire R-D : Comment tester des applications web soumises à des contraintes de présentation déclaratives?

Séminaire R-D : Comment tester des applications web soumises à des contraintes de présentation déclaratives?
5/12/19 11h00
CRIM (405, avenue Ogilvy, bureau 101, Montréal)

Comment tester des applications web soumises à des contraintes de présentation déclaratives?

CONFÉRENCIER

Sylvain Hallé, Ph. D.
Professeur titulaire au Département d’informatique et de mathématique et Titulaire de la Chaire de recherche du Canada en spécification, test et vérification de systèmes informatiques à l'Université du Québec à Chicoutimi (UQAC).

RÉSUMÉ

On peut résumer l'interaction avec un site web comme une séquence d'actions provoquant l'affichage d'une série de pages. Un moniteur est un oracle passif qui observe cette séquence de pages, et détermine si une propriété, exprimée dans une notation formelle quelconque, est respectée par cette séquence. Le logiciel Cornipickle, développé au Laboratoire d'informatique formelle de l'UQAC, est un exemple de tel moniteur; il permet d'énoncer des contraintes complexes faisant intervenir le contenu et la séquence des pages visitées par un testeur humain.

Dans un scénario d'utilisation classique, un développeur web écrit à l'avance les contraintes qui devront être respectées par l'interface graphique d'un site : ordre de présentation des pages, contenu, positionnement, apparence des différents éléments de la page tels les boutons, boîtes de texte, etc. Une fois le site développé, il utilise ensuite le moniteur pour déterminer automatiquement si les conditions sont respectées par l'interface telle qu'affichée.

Une question demeure cependant : peut-on automatiser l'interaction avec le site à des fins de tests, ou à tout le moins guider partiellement un utilisateur à qui on aurait confié cette tâche? On présentera quelques résultats préliminaires à ce sujet, basés sur une structure algébrique appelée graphe de Cayley.

BIOGRAPHIE

Sylvain Hallé est titulaire de la Chaire de recherche du Canada en spécification, test et vérification de systèmes informatiques et professeur titulaire au Département d’informatique et de mathématique de l’UQAC, où il travaille depuis 2010. Auparavant, il a obtenu un doctorat en informatique de l’UQAM et a travaillé comme chercheur postdoctoral à l’University of California, Santa Barbara, de 2008 à 2010. Le Pr Hallé est lauréat de nombreux prix internationaux pour ses recherches sur le test et la vérification d’applications. Il est entre autres le maître d'oeuvre du projet BeepBeep, une librairie de traitement de flux d'événements, ainsi que de Cornipickle, un logiciel de tests pour les interfaces web.


Les séminaires scientifiques du CRIM, gratuits et ouverts à tous, sont donnés par des experts de renommée internationale, des collaborateurs universitaires, le personnel de R-D et les étudiants du CRIM. Au programme, des présentations conviviales sur les dernières avancées scientifiques et technologiques.


Conférence gratuite. Inscription requise.

Événement à venir

  • Gala des Prix Innovation 2019 de l'ADRIQ
    21/11/19 0h00
    Palais des Congrès de Montréal
    Le CRIM est heureux d'être partenaire des Prix Innovation 2019 de l'ADRIQ et de contribuer ainsi au rayonnement et à la reconnaissance des innovations technologiques. Période de mise en candidature jusqu'au 10 mai 2019.
    +
  • #Demain ???? Détection de signes de maladie mentale et de troubles du comportement à partir de la communication en lig… https://t.co/y8ZEQDBYsc
  • CNRC RT @CNRC_NRC: Le Gala des Prix Innovation 2019 de l’@ADRIQ_RCTi aura lieu demain! Des scientifiques d’#AutomobileCNRC et #TransportsCNRC so…