Skip to main content

Configurar y ejecutar análisis estático

Utilizando un proyecto de muestra básico a continuación, encontrará los pasos y opciones más importantes para configurar y ejecutar un análisis estático.

Requisitos: CODESYS Static Analysis esta instalado.

Proyecto de muestra

Si desea reproducir el proyecto de ejemplo, cree un proyecto estándar e inserte las POU debajo de la aplicación en el árbol de dispositivos. Luego configure los ajustes de comunicación para la conexión a su local CODESYS Control Win.

FUNCTION_BLOCK fb1
VAR_INPUT
    iVar_fb1in1 : INT;
    ivar_fb1in2 : INT;
    rVar_fb1in3 : REAL;
END_VAR
VAR_OUTPUT
       iVar_fb1out:INT;
END_VAR
VAR
    P_fSampleProperty : INT;
    rVar : REAL;
    PRO : BOOL;
END_VAR

iVar_fb1out:=iVar_fb1in1 + 1;
FUNCTION_BLOCK fb2
VAR_INPUT
    iVar_fb2in:INT;
END_VAR
VAR_OUTPUT
    iVar_fb2out:INT;
END_VAR
VAR
END_VAR

iVar_fb2out:=iVar_fb2in - 1;
PROGRAM PLC_PRG
VAR
    fb1_inst: fb1;
    fb2_inst: fb2;
END_VAR
fb1_inst(iVar_fb1in1 := 99);
fb2_inst(iVar_fb2in := 22);
fb2_inst(iVar_fb2in := 1);

Comprobar el cumplimiento de las normas

  1. Hacer clic Construir → Análisis estático → Configuración. Cambiar a la Reglas pestaña.

    Se muestra una lista que contiene todas las comprobaciones de reglas posibles. Están organizados en una estructura de árbol por categoría temática. El "número de regla" se agrega entre paréntesis (ejemplo: Variables no utilizadas (33) en categoría Objetos no utilizados).

  2. Haga clic en la casilla de verificación de la primera línea varias veces (Normas nodo).

    Al hacer clic se alterna el estado de activación. Las casillas de verificación en todo el árbol tienen una marca de verificación roja o naranja, o ninguna marca de verificación.

  3. De esta manera, active todas las entradas con una marca de verificación roja. Esto significa que CODESYS Static Analysis debe informar cualquier infracción de regla detectada como errores.

  4. Hacer clic Construir → Análisis estático → Ejecutar análisis estático.

    Los errores se informan en la vista de mensajes. Los textos de los mensajes están etiquetados con un sa_icon_message.png y comience con el número de error "SA<número de regla>".

  5. Haga doble clic en el mensaje SA0033: Variables no utilizadas 'iVar_fb2out'.

    El foco se mueve a la parte de declaración del bloque de funciones. fb2 y se selecciona la variable relevante. La variable se declara, pero no se utiliza. Esto está marcado en la Regla 33 (Variables no utilizadas). En el código, las ubicaciones relevantes están subrayadas con una línea ondulada.

  6. Para probar la ejecución automática del análisis, haga clic en Construir → Análisis estático → Configuración. Sobre el Ajustes pestaña, seleccione la Realice análisis estáticos automáticamente después de la compilación opción. Hacer clic DE ACUERDO para salir del diálogo.

  7. Hacer clic En línea → Iniciar sesión.

    Un mensaje de diálogo indica que existen errores de compilación. Los errores informados por el análisis de código se muestran nuevamente en la vista de mensajes.

  8. Hacer clic Construir → Análisis estático → Configuración. Cambiar a la Normas pestaña. Ahora borre todas las reglas en el cuadro de diálogo. En el Objetos no utilizados categoría, active explícitamente la Regla SA0035 (Variables de entrada no utilizadas (35)) con una marca de verificación de color naranja para informar una "advertencia". Vea la información sobre herramientas para el texto de la regla: Esta regla corresponde a las siguientes reglas PLCopen: CP24). Hacer clic DE ACUERDO para salir del diálogo.

  9. Hacer clic Construir → Generar código.

    El análisis se realiza automáticamente. En la vista de mensajes, se informan dos errores al Mensajes de análisis estático categoría:

    § SA0035: Entrada no utilizada 'iVar_fb1in2'

    § SA0035: Entrada no utilizada 'iVar_fb1in3'

  10. Haga doble clic en el mensaje y comente o elimine la declaración. Realice el análisis del código nuevamente.

    No se muestran mensajes de error.

Comprobación del cumplimiento de las convenciones de nomenclatura definidas

  1. Hacer clic Construir → Análisis estático → Configuración. Cambiar a la Convenciones de nombres pestaña.

    Verá una tabla en una estructura de árbol que está dividida en categorías ampliables de variables y bloques de programa.

  2. Ampliar la Prefijos para variables – Prefijos para tipos categoría, y en la Prefijo columna, especifique I para ENTRADA (14).

    Ampliar la Prefijos para POU – Prefijos para el tipo de POU categoría. En el Prefijocolumna, especifique el prog para PROGRAMA (122) y fb para BLOQUE DE FUNCIONES (103).

  3. Selecciona el El primer carácter después del prefijo debe ser una letra mayúscula. opción. Borre todas las demás opciones.

  4. Hacer clic Construir → Análisis estático → Ejecutar análisis estático.

    Error de mensajes:

    • NC0102: Nombre no válido 'PLC_PRG': se espera el prefijo 'prog' porque PLC_PRG no tiene el prefijo requerido

    • El primer carácter después del prefijo debe estar en mayúscula: 'ivar_fb1in2' porque ivar_fb1in2 : INT; es en fb1.

    • NC0014: Nombre de variable no válido P_fSampleProperty: Se espera prefijo 'i' porque esta variable entera no tiene el prefijo requerido.

Comprobación de símbolos prohibidos

  1. Hacer clic Construir → Análisis estático → Configuración. Cambiar a la Símbolos Prohibidos pestaña.

    Un editor de líneas permite especificar cadenas que no deben usarse en el código.

  2. Como ejemplo, haga doble clic en la línea en blanco y escriba la cadena no válida PRO directamente. Haga doble clic en la siguiente línea en blanco y haga clic en el _cds_icon_three_dots.png para abrir el Asistente de entrada. Desde Tipos estándar, Seleccione VERDADERO. Hacer clic OK para salir del diálogo.

  3. Hacer clic Construir → Análisis estático → Ejecutar análisis estático.

    Los mensajes de error Forbidden symbol 'REAL' y Forbidden symbol 'PRO' se muestran en la vista de mensajes. Haga doble clic en el texto del mensaje para saltar a la línea de código correspondiente.

Visualización de métricas

CODESYS Static Analysis realiza pruebas seleccionadas en el código y puede mostrar los resultados en una vista.

  1. Hacer clic Construir → Análisis estático → Configuración. Cambiar a la Métrica pestaña.

    Las métricas que CODESYS Static Analysis se aplica al código se enumeran en una tabla.

  2. Para este ejemplo, active el Número de variables de entrada métrica y especifique el rango de valores permitido: límite inferior 1 y límite superior 2.

    Activa algunas métricas más, por ejemplo Tamaño del código y Número de llamadas.

  3. Hacer clic Construir → Análisis estático → Ver métricas estándar.

    La vista incluye una tabla con una línea para cada Unidad de programa del programa de muestra. Para cada métrica activada, hay una columna que muestra los valores medidos. Los valores que están fuera del rango de valores definido en la configuración se resaltan en rojo. En el caso de este ejemplo específico, este es al menos el PLC_PRG/Entradas porque el número de variables de entrada en esta POU es mayor que el límite superior definido de 2.

En esta sección: