Formation ENVOL 2014 - Méthodes de test et validation des logiciels

18 nov. 2014, 12:00 → 21 nov. 2014, 15:00 Europe/Paris

Odalys

Dirk Hoffmann (Centre de Physique des Particules de Marseille)

L'édition 2014 de la formation ENVOL aura lieu du mardi 18 au vendredi 21 novembre à la résidence Odalys à la Londe les Maures. Co-organisée par le CNRS (via PLUME, DevLOG, la DSI et des laboratoires du CNRS) avec la participation de l'INRA, de VetAgro-Sup et d'Inria, l'appel aux candidatures pour une cinquantaine de places sera lancé début juillet.

Depuis 2008, PLUME proposait tous les deux ans environ, une formation pour le dEveloppemeNt et la ValOrisation des Logiciels en environnement de recherche.
Les trois premières éditions ont permis de faire un point sur les méthodes et outils de développement de logiciels, sur les moyens de valorisation de ces logiciels (ENVOL2008), avec un aspect plus concret de mise en œuvre et d'utilisation (ENVOL2010) et enfin la collaboration entre utilisateurs et/ou entre développeurs de codes (libres dans la majorité des cas), en se focalisant sur le partage et la réutilisation de modèles et de codes logiciels dans la communauté ESR (ENVOL2012).
La formation fin 2014 se focalisera sur une introduction aux méthodes et outils modernes de tests automatiques des logiciels, qui permettent d'augmenter et la qualité et la productivité du développement.

Cette édition d'ENVOL, financée dans le cadre des ANF CNRS et l'INRA, a pour ambition principale de mieux faire connaître la méthodologie de tests des logiciels, par un survol des techniques mais aussi une découverte des méthodes et outils utiles pour la communauté ESR, dans des sessions de travaux pratiques (à peu près la moitié du temps alloué).

Notre objectif est de montrer que l'on peut mieux répondre aux enjeux de qualité des logiciels développés en ESR ; les tests représentent l'un des principaux leviers de la réussite d'un projet de développement d'applications. Au cours de cette école, nous nous proposons d’aborder le test logiciel en termes de fonctionnalités, de technologies et de méthodes utilisées. Par une meilleure connaissance des méthodes et outils comme les tests unitaires, fonctionnels, de non-régression, d'intégration, … nous serons à même d’identifier les étapes successives de validation du code et de leur pilotage au travers du cycle de développement, avec par exemple le processus d’intégration continue.
Ceci sera mis en perspective par rapport aux méthodes de développement actuelles, et plus particulièrement aux approches agiles, et un élargissement se fera sur la problématique de l’embarqué.

mardi 18 novembre

13:30 navette Aix

bus Aix-en-Provence TGV - La Londe les Maures

14:30 navette Toulon

bus gare de Toulon - La Londe les Maures

1 Bienvenue / Fonctionnement de l'école

Orateur: Dr Dirk Hoffmann (Centre de Physique des Particules de Marseille)

Slides Bienvenue-ENVOL2014.pdf

Introduction et Agilité

2 Un point sur les méthodes

Orateur: M. Laurent Pérochon (VetAgro-Sup)

Transparents MethodesEnvol2014.pdf

16:00 Café de bienvenue

3 Agilité: Retour d'expérience

Orateur: M. Antoine SCHELLENBERGER (INRA)

Transparents rx_agilite_schellenberger.pdf

4 L'aspect humain dans l'Agile

Orateur: M. Thomas Lallart (Inra)

summary Abstract

Transparents Aspects_humains_dans_l'agilité_1.0.pdf

5 Programmation pratique : les tests

Orateur: Dr Dirk Hoffmann (Centre de Physique des Particules de Marseille)

Transparents Cours-PracticalProgramming.pdf

18:15 Occupation des chambres

19:00 Dîner

Brise-glace: Présentation des participants et intervenants

Président de session: Dr Dirk Hoffmann (Centre de Physique des Particules de Marseille)

6 Introduction

Orateur: Dr Dirk Hoffmann (Centre de Physique des Particules de Marseille)

7 Snootlab

Orateur: Mlle Laetitia Hardy-Dessources (Snootlab)

8 Pérochon

Orateur: M. Laurent Pérochon (VetAgro-Sup)

9 Gauthier

Orateur: M. Jean-Marie Gauthier (FEMTO-ST DISC)

10 Férotin

Orateur: M. Vincent Férotin (CNRS)

11 Chaventré

Orateur: M. Thierry CHAVENTRE (LPC Caen)

Transparents Brise_glace_chaventre.odp

12 Peureux

Orateur: Dr Fabien PEUREUX (Institut FEMTO-ST)

13 Vernotte

Orateur: M. Alexandre VERNOTTE (PhD Student)

Transparents brise_glace_AVE.pdf

14 Schellenberger

Orateur: M. Antoine SCHELLENBERGER (INRA)

Transparents 2mn-schellen.odp rx_agilitie_schellenberger.pdf

15 Chetrit

Orateur: M. Bernard Chetrit (CNRS)

16 Charpin

Orateur: M. Julien Charpin (CNRS)

17 Joos

Orateur: Dr Marc Joos (CEA)

Transparents marc_joos.odp

18 Lombard

Orateur: Dr vincent lombard (CNRS)

Transparents ENVOL_2014.odp ENVOL_2014.pdf

19 Mouton

Orateur: Mlle Claire Mouton (Laboratoire CREATIS CNRS UMR 5220 – INSERM U1044 – Université Lyon 1 – INSA Lyon)

20 El Mokthari

Orateur: Mlle Salima EL MOKHTARI (IE CNRS)

Transparents elmokhtari_salima.pdf elmokhtari_salima.ppt

21 Dexet

Orateur: M. Marc Dexet (DSI CNRS)

Transparents Marc_DeXeT.odp

22 Hardy

Orateur: Mlle Laetitia Hardy-Dessources (Snootlab)

23 Arrivault

Orateur: Dr Denis Arrivault (Aix Marseille Université)

Transparents Présentation.odp

24 Jaillet

Orateur: Dr Florent Jaillet (CNRS)

25 Delage

Orateur: M. Emmanuel Delage (IN2P3/CNRS)

Transparents emmanuelDelage.odt

26 Henry

Orateur: gérard henry (CNRS)

27 Warth

Orateur: Mme Valérie Warth (LRGP-CNRS)

Transparents presentation120.pdf

28 Vivat

Orateur: M. Francis Vivat (LATMOS/CNRS)

29 Larré

Orateur: M. Jean-Marc Larré (LAAS-CNRS)

Transparents Jean-Marc.LARRE.brise-glace-ENVOL2014.odt

30 Thia

Orateur: M. Jean Marie THIA (CNRS)

Transparents ENVOL_2014.odp ENVOL_2014.pdf

31 Lodygensky

Orateur: M. oleg lodygensky (LAL/IN2P3)

32 Fortier

Orateur: M. michael fortier (LAGA - UP13 - CNRS)

Paper fortier_presentation_2_min.odt

Transparents fortier_presentation_2_min.odp

33 Salin

Orateur: M. Gérald SALIN (INRA)

Transparents salin_gerald_ENVOL2014.odp

34 Lallart

Orateur: M. Thomas Lallart (Inra)

35 Martin

Orateur: M. Nicolas MARTIN (CNRS)

Transparents NicolasMartin_Envol2014.odp

36 Cochet

Orateur: M. Gilles COCHET (INRA)

Transparents PresentationENVOL2014_GillesCOCHET.odt

37 Rousset

Orateur: M. Miled ROUSSET (MOM-CNRS)

Transparents Opentheso.pdf

38 Gauron

Orateur: Dr Philippe Gauron (LAL/CNRS-IN2P3)

Transparents présentation_brise-glace_Gauron.odp

39 Rotereau

Orateur: M. Armand ROTEREAU (CNRS - ECCOREV)

40 Frigerio

Orateur: M. Jean-Marc Frigerio (INRA)

Transparents

• frigerio.odp
• jabba_laugh.wav
• rireFextra.wav

41 Monat

Orateur: Mlle Cécile Monat (IRD)

Transparents CecileMonatENVOL2014.odp

42 Bayarri

Orateur: M. Grégory BAYARRI (Snootlab)

43 Mazoyer

Orateur: Mme Camille Mazoyer (IUEM, UBO)

44 Ambert

Orateur: Dr Fabrice AMBERT (Université de Franche-Comté)

45 Sabatié

Orateur: Sandrine SABATIÉ (Irstea)

46 Maldonado

Orateur: M. Eric Maldonado (Irstea Grenoble)

47 Etienne

Orateur: Mme Carole Etienne (CNRS)

48 Tranchant-Dubreuil

Orateur: Mlle Christine Dubreuil-Tranchant (IRD)

Transparents ENVOL-CDubreuil.pdf

49 Bidaut

Orateur: M. Ghislain BIDAUT (AMU 105 (CRCM))

Slides Bidaut_-_Ice_Breaker.pptx

50 Brau-Nogué

Orateur: Mme Sylvie Brau-Nogué (CNRS - IRAP)

51 Hoffmann

Orateur: Dr Dirk Hoffmann (Centre de Physique des Particules de Marseille)

mercredi 19 novembre

Tests structurels/unitaires: Cours/TD

slides Slide + Exercices pour TU Php

52 Introduction au test structurel - Les concepts (cours)

Orateur: Dr Fabien PEUREUX (Institut FEMTO-ST)

Transparents ENVOL2014_Ecole_Test_-1-_PresentationGenerale.pdf

10:30 Pause

53 Introduction au test structurel - Exemple Fil rouge (TD)

Orateurs: Dr Fabien PEUREUX (Institut FEMTO-ST), Dr Fabrice AMBERT (Université de Franche-Comté), Prof. Fabrice Bouquet (Université de Franche-Comté)

Transparents

• ENVOL_Exercice_Structurel_-_correction.pdf
• ENVOL_Exercice_Structurel_-_sans_anim.pdf
• sourcesPourGraphes.pdf
• unitestor.php.zip

12:30 Déjeuner

Tests structurels/unitaires: Travaux Pratiques

slides Slide + Exercices pour TU Php

54 Découverte des outils et écriture de tests unitaires (TP1)

16:30 Pause

55 Eléments de couverture (TP2)

Orateurs: Dr Fabien PEUREUX (Institut FEMTO-ST), Prof. Fabrice Bouquet (Université de Franche-Comté)

56 Utilisation des mocks – Tests en isolation (TP3)

19:00 Dîner

Ateliers

57 Atelier : Sécurité applications web (tests d'intrusion etc.)

Orateur: M. Alexandre VERNOTTE (PhD Student)

Transparents Slides de l'atelier "Sécurité des applications Web"

58 Ouverture sur l'embarqué : Arduino, intro

- Introduction : plateforme, IDE, langage (de type "C") - capteurs et actionneurs - Applications : générateur de sons, éthylotest avec VU-mètre à LEDs

Orateurs: Greg Bayarri (Snootlab), Mlle Laetitia Hardy-Dessources (Snootlab)

Fritzing LightThereminWiring.fzz

Image LightThereminMontage.png

Sketch LightThereminCode.ino

Transparents Présentation_Atelier_1.pdf

jeudi 20 novembre

Tests fonctionnels / intégrations / acceptations: Cours / TD

59 Introduction au test fonctionnel - Les concepts (cours)

Orateur: Prof. Fabrice Bouquet (Université de Franche-Comté)

Transparents ENVOL2014_Ecole_Test_-2-_TestFonctionnel.pdf

10:30 Pause

60 Introduction au test fonctionnel - Exemple Fil rouge (TD)

Orateurs: Dr Fabien PEUREUX (Institut FEMTO-ST), Dr Fabrice AMBERT (Université de Franche-Comté), Prof. Fabrice Bouquet (Université de Franche-Comté)

Paper TD_Robot_ENVOL2014.pdf

Transparents ENVOL2014_Ecole_Test_-_ExerciceTestFct.pdf

12:30 Déjeuner

Tests fonctionnels / intégrations / acceptations: Travaux Pratiques

61 Gestion des exigences et cahier de tests

Squash

Orateurs: M. Alexandre VERNOTTE (PhD Student), Dr Fabien PEUREUX (Institut FEMTO-ST), Dr Fabrice AMBERT (Université de Franche-Comté), Prof. Fabrice Bouquet (Université de Franche-Comté)

notes Site web robot, mettre dans /var/www de la VM

Transparents ENVOL2014_Ecole_Test_-_AtelierTestFct.pdf

16:00 Pause

62 Rédaction de tests fonctionnels exécutables

concordion, cucumber, selenium

Orateurs: M. Alexandre VERNOTTE (PhD Student), Dr Fabien PEUREUX (Institut FEMTO-ST), Dr Fabrice AMBERT (Université de Franche-Comté), Prof. Fabrice Bouquet (Université de Franche-Comté), M. Jean-Marie Gauthier (FEMTO-ST DISC)

Transparents présentation selenium + guide pas à pas de création de cas de test fonctionnels exécutables présentation au format pdf. Deux slides sont "un peu recouvertes" à cause d'animations.

19:00 Dîner

Ateliers: jeudi

63 Ouverture sur l'embarqué : Arduino/Raspberry

- Suite des applications : mini-station météo - Idées pour les "connaisseurs" - Connexion au monde extérieur (par ex. twitter) - Connexion entre Arduino et Raspberry

Orateurs: Greg Bayarri (Snootlab), Mlle Laetitia Hardy-Dessources (Snootlab)

Fritzing BreathalyserWiring.fzz MeteoWiring.fzz

Image BreathalyserMontage.png MeteoMontage.png

Librairie

• Bluetooth_Shield.zip
• Deuligne.zip
• DHT.zip
• RTClib.zip
• Tune.zip

Sketch

• BreathalyserCode.ino
• Meteo3.ino
• MeteoCode.ino
• MeteoDeuligneCode.ino
• MeteoMemoireCode.ino
• TestMemoire.ino

Transparents Présentation_Atelier_2.pdf

64 Sécurité applications web, part 2

Orateur: M. Alexandre VERNOTTE (PhD Student)

Transparents Test de pénétration assisté avec Burp Suite. Exploitation d'une faille de type XSS, avec vol de session.

65 Jenkins : un retour d'expérience

Orateur: Isabelle Dupays (IDRIS)

Transparents Presentation-ENVOL2014.pdf

vendredi 21 novembre

Ouverture vers l'embarqué

66 Linux et les logiciels libres pour l'embarqué

Orateur: Mathieu Herrb (LAAS)

Transparents l3e.pdf

09:15 Questions

67 Tests d’une application web graphique

Orateur: M. Cédric Villa (CNRS)

Transparents ENVOL2014_-_TestWebApp2.pdf

10:15 Questions

10:30 Pause + cléfs/valises, si pas encore fait !

68 Point d'information sur PLUME, ENVOL et le contexte RENATER, devLog, DSI, …

Orateurs: M. Armand ROTEREAU (Comité de Pilotage ProDev), Dr Dirk Hoffmann (RT PLUME et organisateur ENVOL2014), M. Julien Charpin (Comité de Pilotage ProDev), M. Laurent Pérochon (Ex-PLUME-suivi), Marc Dexet (Bureau DEVLOG), M. Romaric DAVID (Université de Strasbourg)

Avenir de PLUME et ENVOL Avenir.pdf

Retours des soirées

69 Sécurité WWW

Orateur: M. Emmanuel Delage (IN2P3/CNRS)

70 Arduino

Orateur: Mme Camille Mazoyer (IUEM, UBO)

71 Jenkins

Orateurs: Mlle Claire Mouton (Laboratoire CREATIS CNRS UMR 5220 – INSERM U1044 – Université Lyon 1 – INSA Lyon), M. Romaric DAVID (Université de Strasbourg)

72 Evaluation à chaud de la formation

12:45 Déjeuner (pique-nique)

13:00 Départ des bus