Skip to main content

Comando: Comprobar la memoria para la aplicación activa

Función: El comando inicia el comprobación de memoria para la aplicación activa.

Llamada: Depurar menú

Requisito: Los CODESYS Memory Tools el paquete está instalado. La aplicación está en modo en línea.

El área de memoria de la aplicación activa se comprueba para lo siguiente:

Los resultados de la comprobación se muestran en la vista de mensajes. Las violaciones de los criterios de prueba se enumeran como advertencias.

tabla 1.

ID de advertencia (si no se cumple el criterio de verificación)

Criterio de verificación

MC0001

BOOL las variables deben ser cualquiera de las dos 0 o 1 en la memoria.

MC0002

Las variables de enumeración solo pueden adoptar valores definidos en la enumeración.

MC0003

Las variables de un tipo de subrango solo pueden adoptar valores dentro del subrango.

MC0004

Todas las cadenas deben terminar en cero.

MC0005

Los punteros siempre deben apuntar a las direcciones que tengan la alineación correcta.

Los punteros deben apuntar a ubicaciones de memoria cuya dirección esté alineada con la granularidad del tipo, o 0 o -1.

MC0006

Los punteros deben apuntar a la memoria de la aplicación.

Los punteros de función del proyecto deben apuntar a la memoria gestionada por CODESYS Memory Tools.

Se excluyen los punteros de función a las POU de la biblioteca o a las POU externas porque pueden estar en la memoria externa.

MC0007

Los punteros deben hacer referencia a variables del tipo correcto (por ejemplo, cuando un POINTER TO STRING apunta a un REAL).

MC0008

Coherencia interna de las estructuras del compilador

Las direcciones de los punteros de las funciones deben ser coherentes internamente.

MC0009

Coherencia interna de las estructuras del compilador

Las variables de interfaz y los punteros de la tabla de funciones deben ser coherentes internamente.

MC0010

Coherencia interna de las estructuras del compilador

MC0011

El código descargado no debe haber cambiado desde la descarga.

El código de las POU compiladas no debe modificarse.

Nota: Las POU compiladas con puntos de interrupción se excluyen de la verificación porque el código se manipula para ellas en tiempo de ejecución.

MC0012

Los valores de una constante no deben haber cambiado desde la descarga.

Variable de tipo bloque constante (STRUCT, ARRAY, etc.) no deben modificarse con respecto a sus valores de inicialización.

MC0013

Coherencia interna de las estructuras del compilador

MC0014

Coherencia interna de las estructuras del compilador



Al hacer doble clic en un mensaje, se abre el Memoria vista donde la ubicación correspondiente está resaltada en naranja.

El Memoria La vista también se puede abrir mediante el Ver → Memoria dominio.

El control puede limitarse mediante el 'memory check' atributo.