La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Introducción a PolyspaceBug Finder

Polyspace^® Bug Finder™ identifica errores en tiempo de ejecución, problemas de simultaneidad, vulnerabilidades de seguridad y otros defectos en software integrado C y C++. Usando análisis estático, incluido el análisis semántico, Polyspace Bug Finder analiza las estructuras de control, el flujo de datos y el comportamiento interprocedimental del software. Permite clasificar y corregir fallos en una etapa temprana del proceso de desarrollo, ya que resalta los defectos en cuanto se detectan.

Polyspace Bug Finder comprueba la conformidad con estándares de reglas de codificación tales como MISRA C™, MISRA C++, JSF++, CERT^® C y CERT C++, y con convenciones de nomenclatura personalizadas. Genera informes que incluyen bugs de software, infracciones de reglas de codificación y métricas de calidad del código, incluida la complejidad ciclomática. Polyspace Bug Finder puede utilizarse con el IDE Eclipse™ para analizar código en el escritorio.

Para código generado automáticamente, los resultados de Polyspace se pueden rastrear hasta los modelos de Simulink^® y los bloques de dSPACE^® TargetLink^®.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).

Tutoriales

Escritorio

• Ejecutar Polyspace Bug Finder en el escritorio
  Compruebe código C/C++ en busca de defectos, infracciones de las reglas de codificación o vulnerabilidades de seguridad.
• Revisar resultados de Polyspace Bug Finder en la interfaz de usuario de Polyspace
  Interprete resultados de Polyspace Bug Finder, corrija código o justifique y gestione los resultados.

Interfaz de usuario de la plataforma Polyspace

• Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
  Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
• Benefits and Limitations of Switching to Polyspace Platform User Interface
  Import projects created in older user interface, run tests or static analysis on imported projects.
• Ejecutar Polyspace Bug Finder en la interfaz de usuario de la plataforma Polyspace
  Compruebe código C/C++ en busca de defectos, infracciones de las reglas de codificación o vulnerabilidades de seguridad.
• Revisar resultados de Polyspace Bug Finder en la interfaz de usuario de la plataforma Polyspace
  Interprete resultados de Polyspace Bug Finder, corrija código o justifique y gestione los resultados.

Servidor e interfaz web

• Guía de inicio rápido para los productos Polyspace Server y Access
  Consulte lo que debe hacer para configurar ejecuciones de Polyspace en un proyecto, equipo u organización.
• Ejecutar PolyspaceBug Finder en un servidor y cargar los resultados en la interfaz web
  Compruebe código después de enviarlo en busca de defectos e infracciones de estándares de codificación y cargue los resultados para revisarlos en la interfaz web
• Triage and Assign Results in Polyspace Access Web Interface (Polyspace Access)
  Navigate the dashboard, filter results, and assign issues to team members.
• Enviar notificaciones por correo electrónico con los resultados de Polyspace Bug Finder Server
  Envíe correos electrónicos a personal de desarrollo de software con archivos adjuntos que contengan enlaces a los resultados de Polyspace.
• View Assigned Results in Polyspace Access Web Interface (Polyspace Access)
  See the results that are assigned to you.

De escritorio a servidor

• Enviar análisis de Bug Finder desde el escritorio a un servidor hospedado localmente
  Transfiera un análisis de Polyspace a un servidor hospedado localmente y revise los resultados descargados en el escritorio.

IDE

• Check Code Quality in IDE Before Submitting (Polyspace Access)
  Run a single file analysis and review results in Visual Studio^®, Visual Studio Code, or Eclipse using Polyspace as You Code extensions.

Despliegue

• Productos de Polyspace y flujos de trabajo de desarrollo de software
  

  Obtenga más información acerca de los productos de Polyspace que se pueden usar en el ciclo de vida del desarrollo de software.

• Diferencias entre Polyspace Bug Finder y Polyspace Code Prover
  

  Descubra cómo Bug Finder y Code Prover se complementan entre sí y determine cuándo desplegar cada producto en el flujo de trabajo de desarrollo.

• Flujo de trabajo usando tanto Polyspace Bug Finder como Polyspace Code Prover
  

  Incorpore análisis de Bug Finder y Code Prover en su flujo de trabajo de desarrollo de software.