1- Mise en Place de l’approche du Test, plan de TEST.
2- Planning (Estimation des charges) +formation de nouveaux collaborateurs.
3- Rédaction des cahiers de test à partir des spécifications, SFG, SFD, etc.
4- Préparation & Exécutions des campagnes de Tests
5- Identifications des anomalies + Suivi des corrections apportées par les développeurs.
6- Repporting + Etat d’avancement. +analyse de Risques.
Outils :
HP Quality Center, Système de Reporting Commercial de la BNP-Paribas, TeraData, SQL, Infoview,
Mission : (En tant que Freelance)
1- Rédaction des MAJ des SFD (Spécifications Fonctionnelles Détaillées)
2- Rédaction des cahiers de test à partir des spécifications, SFG, SFD, etc.
3- Exécution des compagnies de testes pour le portail RH EDF (110000 utilisateurs).
4- Identifications des anomalies.
5- Suivi des corrections apportées par les développeurs.
Mission : L'objectif de la mission intitulé « Collaboration de techniques formelles pour l'analyse de systèmes critiques » est d'étudier la complémentarité des techniques de model Checking temporel et L’interprétation abstraite afin de proposer une approche de collaboration permettant de repousser leurs limites d'utilisation dans le cadre applicatif des systèmes aéronautiques et spatiaux.
Implantation en SCALA-JAVA, Eclipse& SVN et réalisation des Tests
Rédaction du Document technique.
Mission : Conception d’une solution de gestion des données de références (Master Data), Reference Data Libraries Server, partagées par l'ensemble des applications métiers du Groupe.
Réalisation d'un prototype, RDL-S, basé sur une architecture SOA (Web Services) mettant en œuvre les concepts du Web Sémantique et des RDL (Reference Data Libraries), jouant le rôle d’un middleware pour le PLM dans le cadre d'un projet pilote de Core Model groupe (PDM d'Entreprise) (35000 utilisateurs)
Projet de fin d'études au sein de l’équipe vérification-formelle : « définition des Réseaux de Petri temporellement temporisés et l’utilisation des DATA* comme modèle sémantique pour ses réseaux » (sémantique des vrais parallélismes) rapport de recherche.
Sciences et Technologies de Constantine(IST) cours de Java aux étudiants de bac+3 option génie logiciel.
JAVA, JCreater, Applet, Swing, Pattern-Matching, Java&Excel, Fichiers&JDBC, Thread&MultiThread, Traitement des Exceptions…etc.
Responsable de la partie numérique d’une thèse de doctorat Math soutenue en 9/07 : « Reliability of a multi-state Consecutive k out of n Systems »
Language C, C++.
Publication d’un article: « An algorithm computing the number of possible combinations to place M consecutive components in a multi-state system ».
cours de soutiens pour les classes de terminales au sein de diverses associations