Bonjour \u00e0 tous,<\/p>\n\n\n\n
Nous avons le plaisir de vous inviter au deuxi\u00e8me s\u00e9minaire LATECE de la session d’automne 2019.<\/p>\n\n\n\n
Qui?<\/strong> Dimitri Prestat, \u00e9tudiant en doctorat sous la direction des professeurs Naouel Moha et Roger Villemaire.<\/p>\n\n\n\n O\u00f9?<\/strong> PK-5115<\/p>\n\n\n\n Quand?<\/strong> mercredi 25 septembre 2019 \u00e0 12h30 <\/p>\n\n\n\n <\/p>\n\n\n\n Titre<\/strong> : Test de syst\u00e8mes temporis\u00e9s \u00e0 base de mod\u00e8le par mutations R\u00e9sum\u00e9 : <\/strong><\/p>\n\n\n\n La g\u00e9n\u00e9ration automatique de suite de tests compl\u00e8te est tr\u00e8s importante dans un logiciel, puisque si l\u2019on est capable de g\u00e9n\u00e9rer une telle suite, alors on est s\u00fbr que si les tests sont valides, le logiciel est fiable. Nous allons pr\u00e9senter une approche formelle bas\u00e9e sur le test par mutation, permettant de d\u00e9tecter les fautes d\u2019un syst\u00e8me en se concentrant sur les erreurs li\u00e9es au temps. Il s\u2019agit d\u2019un test \u00e0 base de mod\u00e8les, o\u00f9 nous allons nous concentrer sur des machines \u00e0 \u00e9tats finis temporis\u00e9s, des automates ainsi que des formules bool\u00e9ennes SAT. La m\u00e9thode par mutation consiste \u00e0 partir d\u2019une sp\u00e9cification du syst\u00e8me, de g\u00e9n\u00e9rer des mutants, un mutant \u00e9tant une version alternative et possiblement fautive de la sp\u00e9cification, et de g\u00e9n\u00e9rer une suite de test compl\u00e8te permettant de d\u00e9tecter l\u2019ensemble de tous ces mutants. L\u2019approche est appropri\u00e9e pour d\u00e9tecter des violations de contraintes temporelles comme des temps d\u2019attente trop \u00e9lev\u00e9s ou trop bas, ainsi que des erreurs logiques, suite \u00e0 des sorties ou des changements d\u2019\u00e9tat non attendus. La m\u00e9thode sera d\u00e9taill\u00e9e \u00e0 l\u2019aide d\u2019exemples afin de mieux la comprendre. <\/p>\n\n\n\n <\/p>\n","protected":false},"featured_media":0,"template":"","class_list":["post-4922","evenement","type-evenement","status-publish","hentry"],"acf":[],"yoast_head":"\n
<\/p>\n\n\n\n