Introducción a la verificación y la validación

Explore ejemplos, artículos y tutoriales.

Ejemplos de introducción

Las pruebas sistemáticas basadas en requisitos constituyen un flujo de trabajo crucial para el desarrollo de software de alta integridad. Este vídeo proporciona una visión general de un ejemplo autoguiado que utiliza productos de verificación y validación de Simulink.

Vídeo

Este ejemplo muestra cómo un diseñador comienza a trabajar con las herramientas de verificación y validación de modelos de MathWorks. Explica cómo gestionar y ver los requisitos en Simulink, comprobar conformidad con los estándares de modelado y verificar si existen errores de tiempo de ejecución. En el ejemplo se usan Simulink Requirements, Simulink Check y Simulink Design Verifier.

File Exchange

Trazabilidad y análisis de requisitos

Simulink Requirements permite crear, importar y administrar requisitos en Simulink, realizar un seguimiento de la implementación y el estado de verificación, y responder rápidamente a los cambios de requisitos.

Vídeo

Si tiene Simulink Test y Simulink Requirements, puede enlazar sus requisitos con casos de prueba en el administrador de pruebas. El enlace a las pruebas permite ver cómo se confirman los requisitos con las pruebas.

Documentación

Realice evaluaciones temporales para las pruebas con Simulink Test a fin de verificar los requisitos complejos que dependen del tiempo. Puede utilizar un formato de lenguaje natural con semántica inequívoca para especificar las evaluaciones.

Vídeo

Pruebas funcionales

Desarrolle, administre y ejecute pruebas basadas en simulaciones utilizando Simulink Test.

Vídeo

Este artículo muestra cómo se puede utilizar la cobertura de pruebas de modelos para identificar los requisitos que faltan durante las pruebas basadas en requisitos, utilizando un algoritmo de selección triple como ejemplo.

Artículo

Mida la cobertura de las pruebas en los modelos y el código generado mediante Simulink Coverage.

Vídeo

Si ya tiene Embedded Coder y Simulink Coverage, puede analizar la cobertura en busca de código generado durante una simulación software-in-the-loop (SIL) o processor-in-the-loop (PIL).

Documentación

Depure diseños complejos con más rapidez resaltando las dependencias funcionales y produciendo un modelo simplificado con la funcionalidad Model Slicer en Simulink Design Verifier.

Vídeo

Conformidad con estándares de certificación

Este artículo describe un flujo de trabajo de verificación basado en Simulink. Incluye los siguientes temas: creación de casos de prueba, generación de casos de prueba para cobertura del modelo ausente y medición de la cobertura del código.

Artículo

Aprenda cómo la comprobación en tiempo de edición identifica problemas de directrices o estándares en Simulink o Stateflow durante el proceso de edición.

Vídeo

Durante el desarrollo del modelo, compruebe y analice su modelo para verificar su calidad. Compruebe su modelo con respecto a estándares, tales como las directrices de estilo de MAB, y directrices de diseño de sistemas de alta integridad, tales como DO-178 e ISO 26262.

Documentación

En este ejemplo se muestra cómo recopilar datos de métricas de modelos usando el panel de métricas.

Ejemplo

Utilice Simulink Verification and Validation para identificar patrones duplicados en un modelo y reestructurarlo en componentes reutilizables.

Vídeo

Aprenda sobre los objetivos de calidad de modelos (MQO), definidos por líderes del sector de la automoción y MathWorks. Este estándar proporciona objetivos de calidad para modelos de Simulink en diferentes fases del ciclo de desarrollo de software.

White paper

Detección de errores de diseño

Identifique errores de diseño, genere casos de prueba y verifique diseños con respecto a requisitos mediante Simulink Design Verifier.

Vídeo

Identifique errores de diseño, demuestre el cumplimiento de requisitos y genere pruebas.

Documentación

En este ejemplo se muestra cómo detectar valores de punto flotante no finitos, NaN y por debajo de lo normal en el modelo de ejemplo sldvexFloatingPointErrorChecks. El modelo consta de operaciones aritméticas en punto flotante que generan un error. Realice análisis de detección de errores de diseño para detectar estos errores en el modelo.

Documentación

En este ejemplo se muestra cómo perfeccionar el modelo con respecto a la lógica muerta. El modelo sldvSlicerdemo_dead_logic consta de rutas de lógica muerta que se perfeccionan para el análisis de dependencias.

Documentación