¿Cuál es la abreviatura de atlas?
El análisis semántico es el foco de la compilación. En el análisis semántico, no sólo es necesario comprobar la coherencia semántica del contexto del programa, sino también proporcionar información suficiente para la generación del código objetivo. Se presenta el método de implementación del análisis semántico ATLAS y se presentan brevemente la tecnología de implementación del sistema ATLAS y el método de implementación del entorno operativo.
Para problemas especiales que deben resolverse en la semántica del atlas, utilizamos tecnología orientada a objetos para lograr buenos resultados. La implementación específica adopta un método que combina análisis semántico estático y análisis semántico dinámico. Este artículo también presenta brevemente el sistema de gestión de equipos y el sistema de entorno operativo en el sistema ATLAS, sentando las bases para un mayor desarrollo del sistema ATLAS.
Contenido
El Capítulo 1 presenta el sistema.
Introducción al sistema Atlas 1.1
C/ATLAS es la abreviatura del lenguaje de prueba común/abreviado para todos los sistemas. Es un lenguaje de prueba estándar para todo el sistema muy potente y ampliamente utilizado en los campos militar y de aviación.
En la década de 1960, ARINC patrocinó el desarrollo de un lenguaje de prueba, ATLAS, para probar sistemas de equipos electrónicos en aviones, que en ese momento significaba la abreviatura Test Language for Avionics Systems. Posteriormente, el Ejército, la Armada, la Fuerza Aérea y la Organización del Tratado del Atlántico Norte se unieron al desarrollo del idioma.
En 1976, el control de C/ATLAS fue transferido de ARINC a IEEE. En este momento, ATLAS tiene un significado más amplio: la abreviatura de lenguaje de prueba para todos los sistemas. Al mismo tiempo, ARINC lanzó el estándar ARINC416-13A en formato IEEE en 1988. IEEE publicó ATLAS716-1988/9 y ARINC también publicó ARINC626-1988/9 el mismo año. Desde entonces, IEEE y ARINC han actualizado sus respectivos estándares cada tres o cuatro años. En 2000, IEEE lanzó la última versión de C/ATLAS, ATLAS2000, e implementamos este sistema.
C/ATLAS tiene las siguientes características:
En primer lugar, es un lenguaje de prueba estándar. Para evitar que el idioma se haga cada vez más grande, lo que no favorece el mantenimiento, IEEE es responsable de publicar los estándares correspondientes para el idioma para lograr la estandarización y unificación del idioma. Los principales usuarios que participan en el estándar incluyen el Departamento de Defensa de EE. UU., el Departamento de Defensa alemán, el Departamento de Defensa francés, el Departamento de Defensa británico, el Departamento de Defensa sueco y compañías de radio de aviación de la industria de la aviación.
En segundo lugar, C/ATLAS es independiente del equipo de prueba y se puede aplicar a todos los sistemas de prueba. Los programas escritos en lenguaje ATLAS pueden probar varios instrumentos y equipos. El código de prueba no contiene ninguna información del hardware utilizado en la prueba. Es decir, siempre que el equipo de prueba automático (ATE) utilizado para las pruebas sea compatible con ATLAS, se puede utilizar un programa ATLAS escrito en otro sistema de prueba sin modificaciones.
En tercer lugar, ATLAS es muy potente y proporciona pruebas verdaderamente automatizadas. En pruebas anteriores, los evaluadores no solo tuvieron que considerar algoritmos y procesos de prueba, sino que también gastaron mucha energía en seleccionar el equipo utilizado para las pruebas e incluso diseñar el hardware necesario para las pruebas. Diferentes pruebas requieren diferentes equipos de prueba y los correspondientes procesos de prueba. En ATLAS, los evaluadores no necesitan considerar el hardware de prueba, pero el sistema ATLAS lo maneja automáticamente. De esta manera, los evaluadores pueden centrarse más en el diseño de algoritmos y procesos de prueba. ATE en el sistema ATLAS proporciona una gran cantidad de equipos de prueba. Un ATE puede realizar múltiples pruebas, lo que no solo simplifica la escala del sistema de prueba, sino que también mejora en gran medida la eficiencia y el nivel de las pruebas.
1.1.1 Entorno hardware para pruebas ATLAS.
El lenguaje ATLAS se puede utilizar para probar diversos instrumentos y equipos electrónicos y no electrónicos. Con el desarrollo continuo de la tecnología y los equipos de prueba, el lenguaje ATLAS se modifica constantemente. Sobre la base de seguir los estándares IEEE, para facilitar el uso de los usuarios, el propio lenguaje ATLAS proporciona un nuevo mecanismo de extensión para completar pruebas que no se pueden realizar debido a las limitaciones de los estándares actuales.
El lenguaje ATLAS no proporciona información de prueba del hardware. Durante el uso del usuario, el sistema ATLAS asigna automáticamente el equipo y llama a las operaciones de hardware correspondientes para completar la prueba de la UUT (unidad bajo prueba) según la información característica del dispositivo en el programa. Se puede decir que el sistema ATLAS es una máquina virtual que administra el software y el hardware de prueba. No solo es responsable de compilar los programas fuente de ATLAS y generar código de máquina, sino que también necesita administrar los equipos de recursos de prueba, que incluyen: agregar y eliminar equipos; y gestionar la unidad bajo prueba (UUT) para cambiar automáticamente las rutas de conexión para el equipo del sistema de prueba (ATE); además, el sistema ATLAS debe manejar eventos durante las pruebas y monitorear el trabajo de los recursos de prueba;
La siguiente imagen muestra el entorno de hardware para la prueba ATLAS.
Diagrama de la estructura del hardware del sistema de prueba ATLAS
El hardware del sistema de prueba ATLAS consta principalmente de las siguientes partes:
ATE (equipo de prueba automática): equipo de prueba automático, que hace que todo El núcleo del sistema de prueba utiliza el bus VXI o IEEE488 para conectar el dispositivo a la computadora host. El equipo del gabinete ATE incluye principalmente: 1) Recursos utilizados para las pruebas, como diversas fuentes de alimentación CC controlables, generadores de señales controlables, multímetros digitales, osciloscopios, etc. 2) Equipo de conmutación, utilizado para conectar la interfaz de matriz fuera del ATE y el equipo dentro del ATE. 3) La interfaz de matriz ATE es la interfaz de salida de ATE y está conectada al adaptador para realizar pruebas.
UUT (unidad bajo prueba): La unidad bajo prueba, es decir, el objeto bajo prueba, se conecta al adaptador externo al ATE durante el proceso de prueba.
Adaptador: se utiliza para conectar ATE y UUT. Durante el proceso de prueba, ATE es responsable de suministrar energía a la UUT (unidad bajo prueba), ingresar señales de excitación y leer el contenido del punto de prueba de la UUT (unidad bajo prueba). La función del adaptador es establecer la conexión correspondiente desde ATE (equipo de prueba automática) a UUT, realizar conversión eléctrica y convertir señales eléctricas en señales no eléctricas, etc. Según las condiciones de UUT.
Autobuses VXI, etc. : Se utiliza para conectar el host y el equipo de prueba y los interruptores controlables en ATE (recursos de prueba automáticos) para el control de ATE y la comunicación de datos.
Host: Host de prueba en el que se ejecuta el sistema ATLAS.
1.1.2. Estructura del sistema Atlas
El sistema ATLAS es responsable de compilar y ejecutar programas de prueba escritos por ATLAS, proporcionar un entorno de depuración, un entorno de simulación de pruebas y gestionar varios dispositivos y dispositivos en Interruptor ATE. El sistema ATLAS consta del compilador ATLAS, el entorno de ejecución ATLAS, el programa de gestión del entorno ATLAS, la biblioteca de dispositivos, el protocolo extendido, el archivo de descripción del bus, el archivo de descripción del dispositivo, el archivo de descripción del conmutador y el archivo de descripción del adaptador.
La estructura del sistema se muestra en la siguiente figura:
Diagrama de flujo de prueba del sistema ATLAS
El programa de gestión del entorno ATLAS utilizará el archivo de descripción del dispositivo y cambiará El archivo de descripción en la prueba, los archivos de descripción del bus y los archivos de descripción del adaptador se convierten en información del dispositivo interno, información del interruptor, información del bus e información del pin del adaptador.
El compilador ATLAS compila el programa de prueba en un código de destino ejecutable y lo entrega al sistema operativo ATLAS para su ejecución. Durante el proceso de compilación, el compilador ATLAS asigna equipos de prueba según la información del dispositivo, la información del interruptor, la información del bus y del pin del adaptador en el sistema, genera códigos de operación para el equipo de prueba correspondiente y recicla el equipo una vez completada la prueba.
El sistema operativo ATLAS es responsable de ejecutar el código objetivo y completar la prueba final. En el sistema operativo, es necesario monitorear la ejecución del dispositivo, manejar señales e interrupciones del dispositivo de prueba, administrar el proceso de ejecución de la prueba y proporcionar a los programadores el entorno de depuración correspondiente.
Durante el proceso de ejecución, el sistema operativo ATLAS llama a la función del dispositivo en la biblioteca DLL del dispositivo para realizar la prueba. El sistema de administración de dispositivos es responsable de agregar dispositivos de prueba, modificar rutas de conmutación, modificar la información del dispositivo de prueba, eliminar dispositivos de prueba, etc. Agregar y modificar dispositivos modificará la biblioteca DLL del dispositivo en consecuencia.
El compilador ATLAS busca dispositivos basándose en la información de características del dispositivo en el programa fuente, combinada con información del dispositivo, información de pin e información de interruptor dentro del sistema. Si encuentra un dispositivo que cumple con los criterios, lo asigna y llama a su funcionamiento.
Si cambia el equipo del sistema, como agregar equipo nuevo o modificar alguna información del equipo actual, entonces necesita modificar la información del equipo dentro del sistema para poder encontrar equipo calificado al compilar el atlas.
1.2 El trabajo completado en este artículo
El trabajo presentado en este artículo es parte de nuestro proyecto, el sistema ATLAS, principalmente la parte de análisis semántico del lenguaje ATLAS. Se proporcionan la semántica formal del atlas, el entorno de compilación del atlas, el entorno de ejecución, la tecnología de análisis semántico dinámico y la tecnología de análisis semántico estático del atlas. El trabajo realizado en este artículo es el siguiente:
Implementé el análisis semántico del lenguaje ATLAS.
Utilizando tecnología orientada a objetos [5] y [6], se resuelve la expansión semántica y la independencia del dispositivo de los requisitos del atlas.
Explica la composición del sistema ATLAS y las funciones de cada parte.
Se implementa el analizador semántico de ATLAS [7] y se proporcionan los contenidos de la verificación semántica estática y la verificación semántica dinámica de ATLAS, que se describen mediante gramática de atributos.
Capítulo 2 Idioma Atlas
2.1 Atlas 2000
ATLAS es un lenguaje muy interesante. A diferencia de los lenguajes procedimentales generales, ATLAS está más cerca del lenguaje natural. En este idioma, cada oración se compone de verbos, sustantivos y su información modificadora, y una oración atlas contiene al menos un verbo y un sustantivo [2].
La estructura de la declaración ATLAS2000 se muestra en la siguiente figura:
Separador de campo fijo
,
El campo de bandera en el campo fijo es utilizado para explicar el significado de esta declaración. Si se ignora la bandera, es una declaración normal, si es una declaración de comentario, se marca con "c" o "b". Si es "e", significa que la prueba puede comenzar desde la declaración marcada, independientemente de la prueba anterior.
Los verbos incluyen verbos y modificadores verbales en ATLAS. Los verbos incluyen: aplicar, definir, declarar, exigir, desconectar, eliminar, ejecutar, etc. Los modificadores verbales se utilizan para ayudar a los verbos, como "hacer, al mismo tiempo" en oraciones, "luego restablecer" en oraciones señal, etc.
Delimitador, en ATLAS los diferentes componentes de sintaxis están separados por el delimitador ",".
Cada entrada tiene un terminador "$".
El resto de cada frase depende del contexto.
Estructura de ATLAS2000:
ATLAS2000 es un lenguaje multicapa [4]. Un programa ATLAS consta de primitivas básicas, oraciones, modelos, TTF y módulos. Los componentes centrales de ATLAS y las primitivas de ATLAS forman la base de este lenguaje, y los usuarios pueden establecer los requisitos del proyecto de prueba mediante la predefinición y estos morfemas básicos. La estructura del modelo permite a los usuarios combinar las operaciones de los componentes subyacentes. Resuma estructuras de nivel superior y describa funciones de prueba más complejas. El marco de tecnología de prueba TTF (Test Technology Frameworks), el marco de tecnología de prueba ATLAS2000 incluye y define algunos entornos de prueba especiales basados en ATLAS2000. Este módulo se utiliza para encapsular código de prueba reutilizable. La estructura específica se muestra en la siguiente figura:
Gráfico de estructura de ATLAS 2000
Notas:
ATLAS NUCLEUS define el rendimiento y las funciones típicas del lenguaje ATLAS. que se compone de gramática formal Consta de tres partes: , palabras reservadas y reglas.
Las primitivas de ATLAS son los elementos básicos que describen e ilustran las señales, acciones, propiedades y rendimiento de ATLAS. Estos elementos básicos no se pueden dividir más, incluidos sustantivos, modificadores de sustantivos, verbos, modificadores de verbos, operadores y sus definiciones funcionales.
El modelo ATLAS es una representación de una serie de funciones y procesos. En ATLAS, los modelos se utilizan para describir las características de los equipos de prueba y las unidades bajo prueba (UUT). El modelo del atlas es la base para describir los elementos de sintaxis y las palabras clave del atlas se definen según el modelo ATLAS2000. Todas las palabras clave deben ser modeladas. Una vez que se define un modelo y pasa a formar parte del Marco de tecnología de prueba (TTF), se puede utilizar como palabra clave en las declaraciones ATLAS.
El módulo ATLAS es una entidad incluida en el programa ATLAS. Se puede decir que es un contenedor que contiene procesos ATLAS y procesos no ATLAS. Este módulo se utiliza en ATLAS con una declaración "incluir".
En un módulo, el alcance de un proceso se determina declarando si sus atributos son globales o locales. Los procesos globales se pueden utilizar fuera del módulo. Todos los procesos definidos en este módulo se pueden utilizar dentro del módulo y externamente por otros módulos.
2.2 Función de análisis semántico de Atlas
El lenguaje ATLAS es el lenguaje estándar para las pruebas. Aunque no hay información específica sobre el hardware del dispositivo de prueba en el lenguaje ATLAS, como la dirección física del dispositivo, el controlador del dispositivo, las funciones operativas del dispositivo, etc., ATLAS proporciona primitivas y modelos para describir las características del dispositivo [ 1][3], incluyendo sustantivos, verbos, modificadores, palabras reservadas de conexión y señal, etc. El compilador ATLAS se basa en la información del programa ATLAS que consta de estas primitivas y modelos.
En comparación con los lenguajes de programación comunes, la característica más importante de ATLAS es que contiene cierta información y declaraciones relacionadas con el equipo de prueba o la unidad bajo prueba [1], y operar el equipo de prueba es una parte importante de la semántica de ATLAS. Ahora comparemos cómo se escriben los programas de prueba en idiomas que no son ATLAS y en idiomas ATLAS.
Comparemos un programa de prueba escrito en lenguaje C con un programa con la misma función escrito en lenguaje ATLAS.
Ejemplo: Conectar una fuente de alimentación DC con un voltaje de 28v al dispositivo bajo prueba (UUT).
Implementación:
Los pasos específicos para escribir un programa de prueba en lenguaje C son: primero encender la fuente de alimentación del sistema de prueba, configurar el interruptor de la fuente de alimentación al UUT para conectar y luego conecte la fuente de alimentación al UUT. Configure el voltaje en 28 V y luego verifique si el voltaje de salida de la fuente de alimentación es de 28 V y si la corriente de funcionamiento es inferior a 1 A. Si se cumplen las condiciones, la potencia. Se permite que el suministro funcione.
En ATLAS, estas operaciones se pueden completar con una simple frase. En el programa ATLAS no necesitamos indicar qué fuente de alimentación utilizar. Puedes ver la diferencia entre ATLAS y el lenguaje C. En el programa C, el probador especifica la fuente de alimentación que se utilizará, enciende el interruptor de la fuente de alimentación y completa la prueba. En ATLAS, estas tareas las realiza automáticamente el compilador.
La comparación de códigos escritos en lenguaje C y lenguaje ATLAS es la siguiente:
Extraído de: softlab.jlu.edu.cn/temp/thesis/2004liulei.doc