Tester du code C avec Polyspace Test

Jour 1 sur 2

Création de tests graphiques

Objectif: Se familiariser avec l’environnement Polyspace Platform, créer et exécuter des tests graphiques simples.

• Création d'un projet Polyspace
• Configuration de l'environnement de test
• Création de tests graphiques simples
• Comprendre les artefacts générés
• Générer des rapports de test

Gestion de données complexes

Objectif: Créer des tests graphiques pour du code comprenant des données aux formats et aux portées variés.

• Évaluer des valeurs à virgule flottante
• Initialiser et évaluer des variables globales
• Initialiser et évaluer des pointeurs
• Initialiser et évaluer des structures
• Initialiser et évaluer des tableaux

Création de tests complexes

Objectif: Créer des tests avec plusieurs appels de fonctions et effectuer des tests d’exploration de paramètres.

• Créer des tests en plusieurs étapes
• Créer des tests paramétrés
• Créer des tests scriptés

Analyse des performances, couverture et génération de tests

Objectif: Exécuter des tests avec instrumentation afin d’analyser, à différents niveaux, la couverture de code, le temps d’exécution et la pile.

• Mesurer la couverture de code
• Générer des tests pour la couverture de code manquante
• Analyser le temps d’exécution
• Analyser l’utilisation de la mémoire
• Automatiser la couverture de code et l’analyse de performance en ligne de commande

Jour 2 sur 2

Utilisation de stubs et de mocks

Objectif: Ajouter des fonctions stubs pour les fonctions appelées sans implémentation et écrire des mocks pour les fonctions appelées devant être remplacées lors des tests.

• Présentation des stubs et des mocks
• Créer des stubs pour les variables globales non définies
• Créer des stubs pour les fonctions non définies
• Créer des mocks pour les fonctions définies
• Utiliser des variables mock

Création de tests avec l'API xUnit C

Objectif: Se familiariser avec les tests simples de l’API C xUnit, puis compiler et exécuter les tests directement avec une chaîne d’outils externe.

• Présentation de l'API C de xUnit
• Créer, exécuter et examiner des tests basés sur xUnit
• Utiliser des macros d'évaluation
• Exporter des résultats de test
• Importer des tests xUnit dans des projets Polyspace

Création de tests complexes avec l'API xUnit C

Objectif: Créer, à l’aide de l’API C xUnit, des suites de tests incluant des tests d’exploration de paramètres ainsi que des tests sur des données de types personnalisés.

• Configurer des suites de tests
• Créer des tests paramétrés
• Comparer des objets de types de données personnalisés
• Mesurer la couverture de code
• Mesurer le temps d’exécution et l’utilisation de la mémoire

Exécution des tests sur une cible

Objectif: Cross-compiler et exécuter des cas de test existants sur une cible externe, puis analyser les performances et la couverture de code.

• Présentation du test sur cible
• Enregistrer des cibles
• Exécuter des tests sur cible
• Analyser les performances sur cible