Resumen

Los sistemas embebidos se han vuelto cada vez más conectados y se comunican entre sí, formando sistemas de red a gran escala y complicados. Para hacer que su diseño y prueba sean más confiables y robustos, este documento propone un lenguaje de especificación formal llamado y una herramienta de generación de pruebas automática basada en llamada . Nuestro enfoque se resume de la siguiente manera: (1) Un usuario describe los requisitos de los sistemas de red embebidos objetivo mediante restricciones basadas en propiedades lógicas utilizando . (2) Dadas las especificaciones de , los casos de prueba se generan automáticamente utilizando un solucionador basado en SAT. Los mecanismos de filtrado para seleccionar casos de prueba eficientes también están disponibles en nuestra herramienta. (3) Además, dado un objetivo de prueba por parte del usuario, las secuencias de prueba se extraen automáticamente de los casos de prueba exhaustivos. Hemos implementado nuestro enfoque y realizado varios experimentos en estudios de casos prácticos. A través de los experimentos, confirmamos la eficiencia de nuestro enfoque en

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Sistemas embebidos; Conectados; Sistemas de red; Lenguaje de especificación formal; Herramienta de generación de pruebas; Casos de prueba
• Keywords:Embedded systems; Connected; Network systems; Formal specification language; Test generation tool; Test cases