Resumen

Garantizar la consistencia en la implementación del protocolo y la especificación del protocolo es la premisa básica de la comunicación inalámbrica. Con la aplicación de la comunicación inalámbrica en cada vez más campos, el entorno de la comunicación inalámbrica se vuelve cada vez más complejo, y la cobertura de fallas de las pruebas de conformidad del protocolo inalámbrico también enfrenta cada vez más desafíos. Para resolver este problema, este documento utiliza la Máquina de Estados Finitos (FSM, por sus siglas en inglés) como una herramienta de descripción formal para los protocolos inalámbricos y presenta un método de prueba combinado basado en dos métodos de prueba con características complementarias en las tecnologías de prueba basadas en cobertura estructural e identificación de estados. Luego, el documento evalúa la efectividad del método en 14 casos empíricos. Los resultados experimentales muestran que la cobertura de fallas de cada caso empírico puede mejorarse efectivamente al 100% cuando el costo promedio de la prueba solo se incrementa

• Materias:Comunicación inalámbrica Dispositivos móviles Seguridad de la información Algoritmo de inteligencia Sensor inteligente
• Subjects:Wireless communication Mobile devices Information security Algorithm intelligence Intelligent sensor
• Palabras claves:Coherencia; Implementación de protocolo; Comunicación inalámbrica; Cobertura de fallas; Pruebas de conformidad; Máquina de Estados Finitos
• Keywords:Consistency; Protocol implementation; Wireless communication; Fault coverage; Conformance testing; Finite State Machine