Le LIF s’intéresse à tous les aspects de la vérification, du test et de la sécurité des applications informatiques. On peut mieux comprendre ce qui passionne ses chercheurs en décrivant quelques uns des projets sur lesquels ils travaillent. Tous ces projets peuvent faire intervenir autant le développement de nouvelles théories basées sur les mathématiques, que le design et l’implémentation de logiciels concrets mettant ces principes en application.
Trouver des bugs dans les applications web
Texte qui dépasse du cadre, boutons qui ne font rien, comportement incohérent… voyez comment un logiciel développé au LIF cherche à détecter ces problèmes rapidement et facilement dans les applications qu’on retrouve sur le web. [En savoir plus]
Chercher une aiguille dans une botte de foin
Du dossier médical d’un patient à la surveillance d’un réseau informatique, de plus en plus d’applications génèrent des données qui évoluent au fil du temps. Le LIF développe un logiciel de Complex Event Processing flexible et performant, appelé BeepBeep, permettant de chercher toutes sortes de choses dans de telles séquences de données… y compris des bugs dans les jeux vidéo! [En savoir plus]
Teste-toi toi-même
Tester un logiciel pour s’assurer de sa qualité est une tâche fastidieuse et complexe. Au LIF, on invente des techniques pour aider le développeur à produire des tests pour son application. Dans certains cas, le programme peut même se tester lui-même! [En savoir plus]