2012 – CEA

Réunion MTV2 du 12 novembre 2012 au CEA – Saclay

La prochaine réunion du groupe aura lieu le lundi 12 novembre 2012 au CEA LIST à Saclay.

Cette réunion est soutenue par le GDR GPL et par Digiteo.

Pour vous inscrire, envoyez un mail à l’organisateur local : Nikolai Kosmatov, en précisant les nom, prénom, institution, adresse complète, téléphone et email des participants.

Programme

9h30 – Accueil (café, viennoiseries)

9h55 – Ouverture de la journée

10h-12h – Session 1

12h-13h – Pause Repas (buffet près de l’amphi)

13h-14h – Exposé invité : Andreas Zeller – Search-Based System Testing (voir détails)

14h10-15h40 – Session 2

15h40-16h – Pause café

16h-17h – Session 3

17h – Clôture de la journée

Exposé invité : Andreas Zeller – Saarland University, Saarbrücken, Germany

Site web : http://www.st.cs.uni-saarland.de/zeller/

Titre : Search-Based System Testing

Résumé : Automatic test case generation so far has been applied at two levels. At the unit level, one can systematically explore and cover the program structure, but may generate executions that are infeasible in real systems. At the system level, all inputs are real, but the multitude of layers between the system and the code under test makes it hard to have the code structure guide test generation. Search-based system testing aims at combining the strengths of the two approaches: By generating test cases at the GUI level, our EXSYST and WEBMATE prototypes can avoid infeasible runs by construction, yet being search-based, their test case generation is guided by the code structure, aiming for maximal coverage. In our evaluation, search-based system testing even achieves higher coverage than test generators at the unit level.

Biographie : Andreas Zeller is a full professor for Software Engineering at Saarland University in Saarbrücken, Germany. His research concerns the analysis of large software systems and their development process; his students are funded by companies like Google, Microsoft, or SAP. In 2010, Zeller was inducted as Fellow of the ACM for his contributions to automated debugging and mining software archives. In 2011, he received an ERC Advanced Grant, Europe’s highest and most prestigious individual research grant, for work on specification mining and test case generation.

Venir au CEA-LIST

La réunion aura lieu sur le site Nano-Innov au CEA LIST, avenue de la Vauve à Palaiseau.

Venir en train+bus

Depuis la gare SNCF/RER B de Massy-Palaiseau, prendre le bus 91-06B ou 91-06C ou 91-10, et descendre à l’arrêt Thomson-Corbeville. Le CEA LIST se trouve dans les bâtiments gris près de cet arrêt de bus.
(Attention, les bus 91-06A et 91-06D ne passent pas par cet arrêt. Il est recommandé de demander au chauffeur si le bus passe par Thomson-Corbeville en cas de doute.)

Les horaires des bus sont disponibles sur le site d’Albatrans (fiche hiver 2012).

Vous pouvez trouver un itinéraire depuis un arrêt ou une gare en Ile-de-France jusqu’à l’arrêt Thomson-Corbeville (à Orsay) sur le site transilien.com ou sur le site de la RATP.

Venir en voiture

Par la N118 : Prendre la sortie 9 sur la N118, puis la direction Palaiseau (la D128). Le CEA LIST se situe dans les premiers grands bâtiments gris sur la droite à 1-2 km environ en suivant la D128 en direction de Palaiseau. Tourner à droite juste avant les bâtiments, puis tout de suite rentrer sur le parking à gauche. On peut se garer sur le parking extérieur (« Visiteurs »), ou dans le parking souterrain (« Personnel »).

Par la D128 du côté de Palaiseau : il n’est pas possible de tourner à gauche (un feu est en train d’être installé et sera bientôt mis en service pour le permettre), donc il faut aller au rond-point près de la N118, puis repartir par la D128 en direction de Palaiseau comme expliqué plus haut.

Venir en taxi

L’adresse du CEA LIST ne comporte pas encore de numéro, donc suivre l’itinéraire conseillé en voiture. L’Avenue de la Vauve (=D128) à Palaiseau et l’arrêt de bus « Thomson-Corbeville » restent les meilleurs repères.

Les commentaires sont clos.