¿Por qué hay más probador de código Polyspace y Polyspace al instalar matlab2014a?
Polyspace Bug Finder R2014a se utiliza para encontrar errores de código, como división por 0, desbordamiento, acceso a matrices fuera de límites, etc. Las versiones posteriores fueron similares. La eliminación no tendrá ningún efecto.
Consulte a continuación para obtener más información: Polyspace Bug Finder
Encuentre errores de software mediante análisis estático
Polyspace Bug Finder™ identifica errores de tiempo de ejecución de código C y C++. problemas de concurrencia, vulnerabilidades de seguridad y otras fallas. Polyspace Bug Finder utiliza capacidades de análisis estático, incluido el análisis semántico, para analizar el control del software, el flujo de datos y las interacciones del programa. Polyspace Bug Finder utiliza capacidades de análisis estático, incluido el análisis semántico, para analizar el control del software, el flujo de datos y las interacciones del programa. Al resaltar los defectos tan pronto como se detectan, puede encontrarlos y solucionarlos en las primeras etapas del proceso de desarrollo.
Polyspace Bug Finder comprueba el cumplimiento de convenciones de codificación como MISRA C®, MISRA C++, JSF++ y convenciones de nomenclatura definidas por el usuario. Los informes que genera incluyen errores encontrados, violaciones de código y métricas de calidad del código (como complejidad ciclomática, etc.). Polyspace Bug Finder funciona con el entorno de desarrollo integrado Eclipse® y está integrado en el sistema de generación de compilaciones.
Para el código generado automáticamente, los resultados de la verificación de Polyspace son rastreables hasta los modelos de Simulink? y los bloques de dSPACE®TargetLink®.
Proporciona soporte para estándares de la industria con el kit de certificación IEC (para ISO 26262 e IEC 61508) y el kit de calificación DO (para DO-178). Polyspace Code Prover
Demuestre que los errores de tiempo de ejecución no existen en el software
Polyspace Code Prover™ es una herramienta de análisis estático confiable que puede demostrar que los errores de tiempo de ejecución no existen en C y Código fuente de C++ Desbordamiento, división por cero, acceso fuera de límites a la matriz y otros errores de tiempo de ejecución. Todo el proceso de análisis no requiere ejecutar programas, inyectar código ni ejecutar casos de prueba. Basado en métodos formales, Polyspace Code Prover utiliza análisis semántico e interpretación abstracta para verificar el comportamiento de las interacciones, el control y el flujo de datos del programa de software. Puede usarlo para trabajar con código escrito a mano, código generado o una combinación de ambos. Cada verificación colorea el código para indicar si el código está libre de errores de tiempo de ejecución, resulta problemático, no se puede implementar o requiere un análisis más detallado.
Polyspace Code Prover también puede mostrar información de alcance para variables y valores de retorno de funciones, y puede probar si las variables exceden los límites de alcance especificados. Estos resultados se pueden publicar en un panel para realizar un seguimiento de las métricas de calidad y garantizar el cumplimiento de los objetivos de calidad del software, y Polyspace Code Prover se puede integrar en sistemas de generación de compilaciones para realizar una verificación automatizada.
Los estándares de la industria son compatibles a través del kit de certificación IEC (para IEC 61508 e ISO 26262) y el kit de calificación DO (para DO-178). Además, es compatible con el idioma Ada.
Información:
Buscador de errores de Polyspace
.mathworks.com/products/polyspace-bug-finder/
Verificador de código de Polyspace
.mathworks..com/products/polyspace-code-prover/