Logo de la rubrique FORMATION : Vérifiez et outillez votre développement embarqué : techniques, outils et automatisation

FORMATION : Vérifiez et outillez votre développement embarqué : techniques, outils et automatisation

Pour connaitre les prochaines sessions de formation sur Logiciel embarque et programmation cliquez ici.


Les défauts logiciels (bugs) font malheureusement partie du cycle de vie de développement d’un produit. Plus le défaut est détecté en amont de la chaîne de conception, moins la correction coûte cher. A l’inverse, un défaut logiciel corrigés chez le client peut avoir un impact économique et publicitaire désastreux. Des normes et des méthodes existent et permettent d’y remédier.

L’objectif de cette formation est de présenter et d’utiliser un ensemble d’outils Open Source d’analyse et de validation logicielle permettant de détecter les erreurs de conception et de développement. Des outils gratuits seront présentés et utilisés sur carte d’évaluation STM32 nucleo. En fin de formation, le stagiaire emportera l’ensemble des travaux, exemples et exercices réalisés pendant les 2 jours.

PROGRAMME

1 - La revue de code
1.1 Qu’est-ce qu’une revue ?
1.2 Acteurs et rôles d’une revue
1.3 Déroulement d’une revue
1.4 Les outils d’une revue

2 - Le compilateur, premier outil d’analyse de code
Du bon usage de la configuration

3 - Les outils d’analyse
3.2 L’analyse statique
3.3 Les métriques
3.4 Les règles de l’industrie
3.5 L’analyse dynamique

4 - Le test Unitaire et modulaire sur cible
4.1 Tests intrusifs
4.2 Le semi-hosting
4.3 Autres stratégies de test

5 - Gestion de versions
Suivi des défauts

6 - L’intégration continue
6.1 Mise en place d’un serveur d’intégration continue
6.2 Connection avec la gestion de version
6.3 Intégration avec le système de build
6.4 Intégration des outils d’analyse
6.5 Automatisation des tests sur cible
6.6 Reporter les défauts détectés

Chaque étape de l’agenda s’accompagne d’une mise en situation réelle avec des exemples, des exercices et une pratique avec les équipements et outils suivants :

* Carte de développement : STM32 nucleo
* Environnement de développement : Eclipse
* Logiciel de debug : OpenOCD/GDB
* Outils d’analyse de code : Cppcheck
* Plateforme de test : CppUnit
* Gestion de version : svn
* Reporting de bug : Bugzilla
* Intégration continue : Jenkins

Public visé : Cette formation s’adresse aux Entreprises, PMEs, startups ou bureaux d’études qui envisagent de développer du logiciel ou qui souhaitent se perfectionner.

Prérequis : Une connaissance du langage C est nécessaire.

INFORMATIONS PRATIQUES

Date et lieu :
- 3 et 4 mars 2020
- Angers

Tarif :

  • Prix préférentiel pour les PME adhérentes CAP’TRONIC : 900 €HT pour les 2 jours
  • Pour les autres : 1 200 €HT pour les 2 jours.

Remarque : Jessica France est titulaire d’un numéro d’agrément de formation continue et est référencé DATADOCK depuis le 1er juillet 2017. Cette formation est éligible au financement par votre Opérateur de Compétences (OPCO) hors CPF.
JPEG

Les déjeuners seront pris en commun et sont à la charge du participant.

Contact et inscription  :
Bérénice RABIA rabia@captronic.fr - 02 40 73 17 24
Nombre de places limité.

Les inscriptions sont closes. Pour connaitre les prochaines sessions de formation sur Logiciel embarque et programmation cliquez ici


info portfolio