Prueba de código C con Polyspace Test

Día 1 de 2

Crear resultados gráficos

Objetivo: Familiarícese con la plataforma Polyspace. Cree y ejecute pruebas gráficas simples.

• Crear un proyecto de Polyspace
• Configurar el entorno de prueba
• Crear pruebas gráficas simples
• Descripción de los artefactos generados
• Generar informes de pruebas

Manejo de datos complejos

Objetivo: Cree pruebas gráficas para código que maneja diversos formatos de datos y ámbitos.

• Evaluar valores de punto flotante
• Inicializar y evaluar variables globales
• Inicializar y evaluar punteros
• Inicializar y evaluar estructuras
• Inicializar y evaluar arreglos

Crear pruebas complejas

Objetivo: Crear pruebas con múltiples llamadas a función y realizar pruebas de barrido de parámetros.

• Crear pruebas con múltiples pasos
• Crear pruebas parametrizadas
• Crear pruebas mediante scripts

Perfilado, cobertura y generación de pruebas

Objetivo: Ejecute pruebas con instrumentación para distintos niveles de cobertura de código, perfilado de tiempo de ejecución y perfilado de pila.

• Medir la cobertura de código
• Generar pruebas para deficiencia de cobertura de código
• Perfilado del tiempo de ejecución
• Perfilado de uso de memoria
• Automatizar la cobertura de código y perfilado desde la línea de comandos

Día 2 de 2

Uso de stubs y mocks

Objetivo: Agregue funciones stub para las funciones llamadas que no tienen implementación y escriba mocks para las funciones llamadas que deban sustituirse durante las pruebas.

• Visión general de stubs y mocks
• Sustituir variables globales indefinidas
• Sustituir funciones indefinidas
• Mocking de funciones definidas
• Uso de variables mock

Crear pruebas con la API C de xUnit

Objetivo: Familiarícese con pruebas simples en la API C de xUnit, y compile y ejecute pruebas directamente con una cadena de herramientas externa.

• Visión general de la API C de xUnit
• Crear, ejecutar y revisar pruebas basadas en xUnit
• Uso de macros de evaluación
• Exportar resultados de pruebas
• Importar pruebas xUnit a proyectos de Polyspace

Crear pruebas complejas con la API C de xUnit

Objetivo: Cree pruebas con la API C de xUnit, organizadas en conjuntos, pruebas de barrido de parámetros y pruebas para evaluar datos de tipos personalizados.

• Configurar conjuntos de pruebas
• Crear pruebas parametrizadas
• Comparar objetos de tipos de datos personalizados
• Medir la cobertura de código
• Medir el tiempo de ejecución y el uso de memoria

Ejecutar pruebas en la plataforma objetivo

Objetivo: Realice compilación cruzada y ejecute casos de prueba existentes en un objetivo externo y cree perfiles para mejorar el rendimiento y la cobertura de código.

• Visión general de pruebas en la plataforma objetivo
• Registrar plataformas objetivo
• Ejecutar pruebas en la plataforma objetivo
• Perfilado en la plataforma objetivo