En este trabajo, se propone un enfoque para la identificación de estados de sistema usando el formalismo DEVS para el modelado de los sistemas de control a eventos discretos. Este enfoque puede ser considerado como una extensión de los métodos existentes en un formalismo clásico de representación de máquinas de estado finito llamado Máquinas de Mealy. En consecuencia, la naturaleza temporizada de los modelos DEVS es también tenida en cuenta en este enfoque, mientras que la semántica de este enfoque en sistemas no temporizados es análoga a la de las Máquinas de Mealy. El objetivo de estos métodos es el de deducir información acerca de los estados de un sistema observando su comportamiento de entrada/salida. En este trabajo, resultan de interés los siguientes problemas: determinar el estado final luego del test, identificar el estado inicial y verificar el estado inicial desconocido. Un posible campo de aplicación para este trabajo es el testeo de sistemas de control a eventos discretos, para los cuales son generalmente necesarias las consideraciones de tiempo. Este primer enfoque consta de dos etapas, donde se proponen extensiones de estos métodos de testeo para dos subconjuntos de modelos DEVS incrementales. Finalmente, se muestran brevemente algunas consideraciones acerca de la implementación de estos métodos de testeo.