Mohamed Abidi ALLAGUI

En résumé

Entreprises

• Société TELNET - Stagaire

  2014 - 2014 Sujet : Automatisation de la phase du test unitaire pour les modèles des systèmes embarqués.
  L'implémentation d'une approche proposée par une étudiante en thèse chez Telnet. L'approche proposer afin de
  générer des entrées de test est basée sur le ''Model Checking''. Cette approche exploite la capacité du ''Model
  checker'' de générer des contre-exemples relatifs à la violation des propriétés qui ne sont pas vérifiées par le
  modèle. Dans notre cas les propriétés correspondent aux critères de couverture structurelle définis par
  l'utilisateur.
  Cette approche consiste en 4 étapes :
  * Transformer le modèle simulink (sous forme mdl) en format XML
  * Parser le fichier XML et tisser les propriétés relatives à un critère de couverture structurelle.
  * Transformer le nouveau fichier XML' obtenu suite au tissage des propriétés en fichier mdl' qui correspond au
  modèle simulink transformé.
  * Appliquer le ''model checker'' sur le modèle transformé afin de générer les entrées de test relatives aux critères de
  couverture choisi par l'utilisateur.

Formations

• Université Paris-Dauphine

  Paris 2014 - maintenant mastère de recherche
  
  Etudiant Mastère 2 recherche MIDO spécialité « informatique Système Intelligents »

• Institut Supérieur D'Informatique

  2012 - 2012

• Institut Supérieur D'Informatique Tunis (L'Ariana)

  L'Ariana 2011 - 2014 Diplôme national d'ingénieur en Informatique
  
  spécialité « Génie Logiciel et Système d'information »
  avec mention Bien.

• Institut Supérieur D'Informatique Et De Mathématique De Monastir (Monastir)

  Monastir 2008 - 2011 Licence Appliquée
  
  Licence Appliquée en Système Informatique et logiciel à L'Institut Supérieur d'Informatique et
  Mathématique de Monastir (ISIMM) avec mention assez bien.

Réseau

• Ahmed CHELBI

• Ismail BEN ABDALLAH

• Med Karim BENNOUR

• Mohamed Iyadh AMMAR

• Yassin BENNACEUR