Tecnología de ingeniería de protocolos para protocolos de comunicación de datos
La principal tecnología para la implementación práctica del protocolo. Incluye principalmente tecnología de descripción formal de protocolo, tecnología de verificación de protocolo, tecnología de análisis de protocolo y tecnología de prueba de coherencia de protocolo.
4.1 Tecnología de descripción formal de protocolo
La tecnología de descripción formal de protocolo es una tecnología que utiliza sintaxis formal o lenguaje semántico (incluidos diagramas de estado, etc.) para describir un protocolo determinado. Para lograr un medio eficaz para determinar el acuerdo, la base es una tecnología de representación que hace que el acuerdo sea inequívoco y únicamente interpretable. SDL (lenguaje de descripción y explicación), ESTELLE (lenguaje de transferencia de estado extendido) y lenguaje de descripción de tiempos LOTOSC) tres tecnologías de descripción formal.
4.2 Tecnología de verificación de protocolo
La tecnología de verificación de protocolo es una tecnología que demuestra si el objeto descrito cumple con las especificaciones del protocolo. Los métodos principales son:
1) Método de transición de estado: método que utiliza diagramas de transición de estado para representar el protocolo y verificar varios atributos del protocolo. Este método es fácil de detectar fenómenos de interbloqueo y la posibilidad de detectar estados especiales, y también puede ser implementado automáticamente por la computadora. La desventaja es que cuando aumentan el tamaño y la complejidad del protocolo, también aumenta el número de estados y también aumenta la dificultad del procesamiento informático. Este enfoque se utiliza principalmente para el intercambio de eventos entre procesos de comunicación modelados.
② Método del lenguaje de programación Basado en lenguajes de programación de alto nivel como PASCAL, se forma un método de verificación para las especificaciones del lenguaje agregando un conjunto fijo de comandos adecuados para expresar protocolos. Este método se puede utilizar para verificar protocolos de procesamiento para parámetros como números de secuencia y valores de tiempo que son difíciles de verificar mediante métodos de transferencia de estado.
③Método lógico secuencial: agregue especificaciones de método de verificación para operadores secuenciales en operadores lógicos (suma lógica, multiplicación lógica, consistencia, negación, etc.). ) Este método puede verificar la capacidad de supervivencia y seguridad del protocolo, pero cuando la escala del protocolo es grande, la comprensión del contenido de la descripción se reducirá y la verificación será difícil.
④ El método algebraico utiliza operaciones, partes de descripción de parámetros (dominio de definición, rango de valores) y axiomas para especificar el método de verificación de la especificación del protocolo. La ventaja de este enfoque es que la especificación del protocolo se da como un axioma, y la verificación y la descripción de la especificación del protocolo se pueden discutir dentro del mismo marco. La desventaja es que cuando el tamaño del protocolo es grande, la comprensibilidad se reduce y el mantenimiento se vuelve difícil.
4.3 Tecnología de análisis de protocolo
El análisis de protocolo es un método para determinar la exactitud de la ejecución del protocolo juzgando y solucionando problemas del estado de ejecución del protocolo durante el proceso de desarrollo, prueba y mantenimiento del protocolo. . tecnología. El análisis de protocolos se logra mediante el uso de un analizador de protocolos y dos métodos: monitoreo y simulación. En el modo de monitoreo, el analizador de protocolo muestra y almacena las señales de datos recibidas de la línea para el juicio y análisis del operador. En modo simulación, el analizador de protocolos sustituye al ordenador o terminal host y, bajo el control de un programa preprogramado, comprueba y analiza la exactitud del protocolo ejecutado por el dispositivo sometido a prueba.
Las pruebas de conformidad de protocolos son una tecnología que prueba la coherencia de la implementación de protocolos y los estándares de protocolo en sistemas de comunicación de datos. Su finalidad es mejorar la interoperabilidad de los equipos de comunicación de datos.