Méthodes de Test

pour la Vérification et la Validation

MTV2



1er décembre 2016 au LRI

bâtiment 650 ou Ada Lovelace

salle 435 (salle des thèses)


 La réunion est soutenue par le GDR GPL .

Les principales informations concernant le groupe MTV2 se trouvent ici.

Pour toute demande ou modification d'inscription tardive (après le 24 novembre 2016), merci d'envoyer un mail aux organisateurs locaux : Pascale Le Gall et Nikolai Kosmatov, en précisant les nom, prénom, institution, téléphone et email des participants.

Pour venir au LRI (Université Paris Sud) :


 Les informations sont disponibles sur la page (https://www.lri.fr/info.pratiques.php)

En voiture : A6A, A6B ou A10 ; ou N118
  
Tranports en commun : RER Ligne B4 jusqu'à
    Orsay-Ville + bus 7, arrêt Moulon
    Le Guichet + bus 9, arrêt "Université Paris-Saclay"
    Massy-Palaiseau + bus 91-06B ou 91-06C ou 91-10,  arrêt "Université Paris-Saclay"            
    (l'arrêt vien d'être renommé, il s'appelait précédemment "IUT - Pôle d'Ingénierie").

Accès et horaires de bus : http://vianavigo.com/

(compter une bonne heure depuis Paris, en passant par Massy-Palaiseau, et en prenant le bus 91-06B ou 91-06C)

Organisateurs :

Nikolaï Kosmatov (CEA): nikolai.kosmatov at cea.fr

Pascale Le Gall (CentraleSupélec): pascale.legall at centralesupelec.fr

Fatiha Zaidi (LRI): fatiha.zaidi at lri.fr

Programme :

9:30 - 10:00 : Accueil, café / Welcome coffee

10:00 - 11:00 Session 1 (in French)

Reactive Property Monitoring of Hybrid Systems with Aggregation
Nicolas Rapin (CEA)

Runtime Enforcement of Properties with Uncontrollable Events
Matthieu Renard (LABRI)

Runtime binary analysis: Wanted malloc and free
Franck de Goër (LIG)



11:00 - 11:30  Pause

11:30 - 12:20 Exposé invité / Invited talk

Mutation de spécification formelle, le cas du langage Circus
Marie-Claude Gaudel (LRI)

Abstract :
Combiner test basé sur des spécifications et test par mutation pose un certain nombre de problèmes car le système sous test est un raffinement de la spécification et ne lui est pas équivalent. Ces problèmes seront illustrés dans le cas du langage Circus, une algèbre de processus à la CSP enrichie de schémas à la Z. Ce travail est le résultat d'une collaboration avec Alex Alberto, Ana Cavalcanti, et Adenilso Simão.

12:20 - 14:00 Déjeuner / Lunch

14:00 - 14:50 Exposé invité / Invited talk

Inject, Mutate, Improve, Slice – It’s all Testing
Jens Krinke (CREST, University College London)

Abstract :
Mutation Testing, Genetic Improvement, and Program Slicing seem to be separate research areas and not necessarily connected to Software Testing. However, they are all based on the principle of drastic changes to the underlying program.  This talk will present recent research based on the three areas and how they are connected and which role Software Testing plays.



14:50 - 15:20 Pause

15:20 - 16:50 Session 4 (in English)

How can we learn a model of a Black box, without resetting it?
Roland Groz (LIG)

Efficient Runtime Monitoring of Block-level Properties
Kostyantyn Vorobyov (CEA)


Decreasing the complexity of problems in FSM based testing
Natalia Kushik (TSP)

Generic and Effective Specification of Structural Test Objectives
Michaël Marcozzi (CEA)

16:50 - 17:00 Annonces, fin de la journée / Annoucements, closing