Stage - Automatisation D’un Banc de Tests de Validation Formelle

il y a 2 semaines

AixenProvence, France CLEARSY Temps plein

**Objectif du stage**: Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cette tâche.

Le stage consistera à concevoir une nouvelle méthode afin de tester et vérifier cette extraction des données, et de concevoir des outils pour automatiser le plus possible les travaux. Le langage pressenti pour ce travail est le Python, qui est déjà utilisé dans les outils internes de validation de données.

L’outil devra également être capable de générer automatiquement et aléatoirement des données afin d’augmenter la couverture de cas vérifiés.

**Livrables attendus**:

- Analyse du process actuel
- Création d’une procédure automatisée pour la vérification des données du client
- Un outil pour automatiser ces tests et validation de l’extraction
- Un outil pour générer automatiquement des cas de tests supplémentaires

**Compétences recherchées**:

- Python
- Rigueur, autonomie, force de proposition

**Localisation** : Aix en Provence / Lyon

**Durée** : 6 mois

**Niveau** : Bac +5

Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois

Rémunération : à partir de 900,00€ par mois

Avantages:

- Prise en charge du transport quotidien

Horaires:

- Du lundi au vendredi
- Travail en journée

Lieu du poste : En présentiel

  • Stage - Constitution D’un Banc de Test Pour L’interface Graphique de L’atelier B

    il y a 2 semaines

    Aix-en-Provence, France CLEARSY Temps plein

    Constitution d’un banc de test pour l’interface graphique de Atelier B **Objectif**: mettre en place un banc de test automatique pour cette interface graphique utilisant Ranorex et à l’intégrer dans le processus d’intégration continue gitlab de Atelier B. **Contexte**: La méthode B est utilisée pour développer formellement des composants...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 semaines

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 5 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Ingénieur validation formelle de données sécuritaires H/F

    il y a 3 jours

    Aix-en-Provence, Provence-Alpes-Côte d'Azur, France Clearsy Temps plein

    Rejoignez l'équipe validation formelle de données qui a pour objectif d'automatiser les vérifications manuelles des contraintes sécuritaires sur les données de leurs projets ferroviaires. Vos missions seront de :Analyser et modéliser les contraintes sécuritaires en utilisant les méthodes formelles rigoureusesTester et valider les...

  • Ingénieur banc de test électronique

    il y a 3 jours

    Aix-en-Provence, France CELAD Temps plein

    Ingénieur banc de test électronique / IVVQ (Intégration Vérification Validation Qualification) H/FL'ingénierie à visage humainDescription du posteNous poursuivons notre développement dans le Sud-Est et recrutons un(e) Ingénieur banc de test électronique / IVVQ (Intégration Vérification Validation Qualification) confirmé pour l’un de nos clients...

  • Ingénieur Banc de Test Électronique

    il y a 5 jours

    Aix-en-Provence, France CELAD Temps plein

    Description du poste Nous poursuivons notre développement dans le Sud-Est et recrutons un(e) Ingénieur banc de test électronique / IVVQ(Intégration Vérification Validation Qualification) confirmé pour l'un de nos clients du secteur de la Défense situé à Aix-en-Provence. Mission: Intégré à un plateau en charge de la réalisation de moyens d'essais...

  • Ingénieur Banc de Test Électronique

    il y a 2 jours

    Aix-en-Provence, France Celad Temps plein

    Description du poste Nous poursuivons notre développement dans le Sud-Est et recrutons un(e) Ingénieur banc de test électronique / IVVQ(Intégration Vérification Validation Qualification) confirmé pour l'un de nos clients du secteur de la Défense situé à Aix-en-Provence. Mission: Intégré à un plateau en charge de la réalisation de moyens...