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.

Estándares de codificación y métricas de código

Conjuntos de reglas de codificación MISRA, AUTOSAR, CERT y JSF, reglas de codificación personalizadas y métricas de código

Para especificar qué estándares de codificación desea comprobar, por ejemplo, MISRA C™2012 o AUTOSAR C++14, utilice las opciones de estándar de codificación. Para ver las métricas de complejidad del código en los resultados del análisis, por ejemplo, la complejidad ciclomática y el número de funciones de llamada o funciones llamadas, utilice la opción de métricas de código.

Opciones de Polyspace

expandir todo

Estándares de codificación: C

`Comprobar MISRA C:2012 (-misra3)`	Check for violations of MISRA C:2012 rules and directives
`Utilizar requisitos de código generados (-misra3-agc-mode)`	Check for violations of MISRA C:2012 rules and directives that apply to generated code
`Comprobar MISRA C:2023 (-misra-c-2023)`	Check for violations of MISRA C:2023 rules and directives (Desde R2024a)
`Utilizar requisitos de código generados (-misra-c-2023-agc-mode)`	Check for violations of MISRA C:2023 rules and directives that apply to generated code (Desde R2024a)
`Tipos booleanos efectivos (-boolean-types)`	Specify data types that coding rule checker must treat as effectively Boolean
`Comprobar SEI CERT-C (-cert-c)`	Check for violations of CERT C rules and recommendations
`Comprobar ISO/IEC TS 17961 (-iso-17961)`	Check for violations of ISO/IEC TS 17961 rules

Estándares de codificación: C++

`Comprobar MISRA C++:2023 (-misra-cpp-2023)`	Check for violations of MISRA C++:2023 rules and directives (Desde R2024b)
`Comprobar MISRA C++:2008 (-misra-cpp)`	Check for violations of MISRA C++ rules
`Comprobar JSF AV C++ (-jsf-coding-rules)`	Check for violations of JSF C++ rules
`Comprobar AUTOSAR C++14 (-autosar-cpp14)`	Check for violations of AUTOSAR C++ 14 rules
`Comprobar SEI CERT-C++ (-cert-cpp)`	Check for violations of CERT C++ rules

Estándares de codificación: Todas

`Establecer comprobadores por archivo (-checkers-selection-file)`	Define a custom set of coding standards checks for your analysis
`Comprobar CWE (-cwe)`	Check for weaknesses in your code that are enumerated in CWE (Desde R2023a)
`Comprobar reglas personalizadas (-custom-rules)`	Follow naming conventions for identifiers
`Comprobar directrices (-guidelines)`	Check for violations of Guidelines (Desde R2021a)
`Pragmas permitidos (-allowed-pragmas)`	Specify pragma directives that are documented

Métricas de código

Calcular métricas de código (-code-metrics) Compute and display code complexity metrics

Comandos del sistema

polyspace-catalog-bundler (System Command) Create user-defined Polyspace coding standards at the DOS or UNIX command line

Temas

Introducción

Specify Polyspace Analysis Options
Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.
Check for and Review Coding Standard Violations
Check for violations of AUTOSAR C++14, CERT^® C, CERT C++, CWE, MISRA C, MISRA™ C++, JSF AV C++, or ISO-17961 standards with Polyspace Bug Finder.
Enforce Naming Conventions for C/C++ Variables and Functions
Enforce naming conventions and other style guidelines on C/C++ code with Polyspace.
Reduce Software Complexity by Using Polyspace Checkers
Enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.

Reglas de MISRA o JSF

Avoid Violations of MISRA C Rules 8.x
Avoid conflicting declarations or unintended modification of variables.
Coding Rule Subsets Checked Early in Analysis
Adjust your coding rules checking for a faster analysis.

Métricas de complejidad de código

Compute Code Complexity Metrics Using Polyspace
Enforce limits on code complexity metrics such as cyclomatic complexity and depth of nesting.
HIS Code Complexity Metrics
See which code complexity metrics supported in Polyspace are part of the Hersteller Initiative Software (HIS) standard.

Estándares de codificación definidos por el usuario

Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
Find Bug Finder checkers that can check for the coding rules in your user-defined coding rule standard.
Create User-Defined Coding Standard by Using Polyspace Bug Finder Checkers
Map Bug Finder checkers to coding rules in a user-defined coding standard in a sharable .pschk file.

Modificar el comportamiento de los comprobadores

Modify Default Behavior of Bug Finder Checkers

Extend or constrain the default behavior of defect or coding standard checkers using Polyspace analysis options.

Información relacionada

Estándares de codificación
Métricas de código