CYRIL PACHON
Versions :
, mise à jour le 22.08.06
| |
| Etat civil |
|---|
CYRIL ALEXANDRE
PACHON
|
|
|
|
haut
UJF : Université Joseph Fourier Grenoble.
EPUG: Ecole Polythch' Université de Grenoble.
DSU : Département Scientifique Universitaire.
RICM : Réseaux informatiques et communication multimédia.
DEUG : Diplôme d'Etudes Universitaires Générales.
MIAS : Mathématiques, Informatique et Applications aux Sciences.
SM : science de la matière.
- IUT2 Informatique Université Pierre Mendès France
2005 - 2006 : Algorithme et progammation (39 eqTD 1 année)
2005 - 2006 : Architecture et Matériel (63 eqTD 1 année)
- IUT SeréCom Université Savoie Techno'lac
2004 - 2005 : Algorithme et progammation (20 eqTD 1 année)
2004 - 2005 : Programmation Dynamique web (22 eqTD 1 année)
2004 - 2005 : Système d'exploitation (33h00 eqTD 1 année)
2004 - 2005 : Système d'exploitation (8h00 eqTD 2 année)
2004 - 2005 : Base de Données (10h00 eqTD 1 année)
2004 - 2005 : Projet Tuteuré (10h00 eqTD 2 année)
- RICM troisième année EPUG UJF (Travaux Dirigés).
2002 - 2003 : Test de logiciels (12h00 eqTD)
- RICM première année EPUG UJF (Travaux pratiques).
2003 - 2004 : Projet Logiciel (24h00 eqTD)
2002 - 2003 : Projet Logiciel (6h00 eqTD)
- DEUG SMa deuxième année DSU UJF (cours - travaux dirigés - travaux pratiques).
2003 - 2004 : Méthodes informatiques au service des disciplines scientifiques - Initiation système
d'exploitation - automate (42h00 eqTD - Linux - TP Langage C)
- DEUG MIAS deuxième année DSU UJF (cours - travaux dirigés - travaux pratiques).
2002 - 2003 : Expression actionnelle - Algorithme et Programmation impérative (39h00 eqTD - TP Langage C)
- DEUG MIAS première année DSU UJF (cours - travaux dirigés - travaux pratiques).
2001 - 2002 : Initiation à la programmation (96h00 eqTD - TP Langage C)
|
TER : Travail d'Etude et de Recherche,
maîtrise informatique, Université Joseph Fourier Grenoble I.
|
|---|
|
- 02/2005 - 06/2005 : Bruno MONTAGARD ;
"Sujet : Mutation de programme IF" ;
Résumé : " L'objectif de ce TER est construire une
méthode pour muter des arbres abstraits avec des données fournies. Il s'agit
de définir quels types de mutations sont possibles et de réaliser
une application sur des exemples de programme IF" ;
- 02/2003 - 05/2003 : Jonathan FORMENTIN ; "
Sujet : Test de robustesse de programmes Java " ;
Résumé: "L'exécution de séquences de tests reste une approche incontournable
dans le processus de validation d'un logiciel. L'objectif de ce TER est de
chercher à illustrer ce que peut être un test de robustesse sur un exemple
concret de programme Java. On pourra s'appuyer pour cela sur les outils de
génération et d'exécution automatique de séquences de tests disponibles
dans le laboratoire Verimag" ;
|
|
|
Année spéciale de l'Institut Universitaire Technologique d'Informatique,
Université Pierre Mendés France - Grenoble 2
|
|---|
|
- 06/2004 - 08/2004 : David SAULNIER ; "
Sujet : Conception et réalisation d'une interface pour l'exécution
automatique de tests de robustesse" ;
Résumé : " L'objectif de ce stage est d'apporter
à la plateforme de test existante l'interface nécessaire afin d'intégrer la
génération automatique de tests de robutesse. Pour cela le travail demandé est
de compléter ou de créer un ou plusieurs outils modélisant les données afin de
les utiliser par le testeur (spider) existant. " ;
haut
|
Journaux - Journaux électroniques - Revues
|
|---|
|
-
J.C. Fernandez, L. Mounier, C Pachon
A Model-based Approach for robustness testing In Proceedings of
TESTCOM 2005,
The 17th IFIP International Conference
on Testing of Communicating Systems, Montreal (Québec), Canada , Springer Verlag Heidelberg ISSN: 0302-9743
LNCS
, Juin 2005.
- J.C. Fernandez, L. Mounier, C.Pachon
Property Oriented Test Case Generation,
FATES'03 Formal Approaches to
Software Testing: Third International Workshop, Montréal, Québec,
Canada, Octobre 2003. Springer Verlag Heidelberg ISSN: 0302-9743 ,
LNCS
2931 147 - 163, Janvier 2004.
|
|
- C.Pachon Une approche pour la génération automatique
de tests de robustesse, 1ere MAnifestation des JEunes Chercheurs du domaine des
STIC, MAJECSTIC'03,
Marseille, Octobre 2003.
|
|
- Cyril Pachon ; " Génération automatique de tests symboliques " ; Rapport de DEA " Informatique, Systèmes et Communications " ; Juin 2001.
- Cyril Pachon ; " Analyse statique pour l'optimisation de spécification SDL " ; Rapport de fin d'étude deuxième cycle; Septembre 2000.
|
|
haut
|
ACI Sécurité & Informatique
|
|---|
|
- Septembre 2004 - Octobre 2005 : Projet
ACI 'POTESTAT' Politiques
de sécurité : test et analyse par le test de systèmes en réseau ouvert
|
|
- Novembre 2001 - Janvier 2003 : Elaboration dans le cadre
d'une action spécifique 'AS' d'une
génération automatique de test de Robustesse. Ce problème est appelé à prendre
une importance accrue, en particulier dans des systèmes critiques ou embarqués.
Le test de robustesse de composants doit prendre en compte la diversité des
utilisations potentielles, d'une part pour consolider leur aptitude à réagir
correctement aux sollicitations, et d'autre part pour permettre l'identification
explicite de leurs modes de défaillances, facilitant ainsi la mise en oeuvre de
parades lors de leur intégration.
Définition : Le test de robustesse vise à vérifier
la capacité d'un système, ou d'un composant, à fonctionner de façon
acceptable en présence de fautes ou de conditions
environnementales stressantes".
Rapport de l'activité
: Test avancé de systèmes complexes, test de Robustesse AS Département STIC du
CNRS, Janvier 2003.
|
|
haut
Univ DSU
Grenoble
La réforme du
L
M
D : Licence - Master - Doctorat.
Le site de Marcel Pachon (restauration des chapelles Sainte Brigitte de
Morzine et Saint Grat de La Baume).
'Marcel Pachon'
Un jeu :
Prizee
|
haut