Marcelo| Odin| modin@fing.edu.uy| INCO / PEDECIBA Informatica| Model based testing aplicado a protocolos de optimización cross-layer| testing, cross-layer, network protocols, optimization| MAESTRIA| | Esta presentación trata de un trabajo en curso sobre testeo de protocolos cross-layer en el contexto del proyecto SCAN. Dicho proyecto aborda la composición dinámica de servicios en un 'espacio de servicios' ubicuo. SCAN está en ejecución en el marco de STIC-AmSud y en el que cooperan universidades y laboratorios chilenos, brasileños y franceses con el InCo. Como parte de nuestro trabajo desarrollamos un prototipo para Linux 2.6.31 de un sistema para introducir optimizaciones cross-layer, basado en la arquitectura ECLAIR. También construimos un modelo formal en SDL que empleamos para generar casos de test que luego corrimos contra la implementación. Actualmente estamos trabajando en la generación automática de casos de test en TTCN-3 a partir del modelo en SDL y en experimentar con nuestro prototipo en escenarios del mundo real. El diseño cross-layer consiste en no respetar la aislación entre de capas en un stack de protocolos de red. Su aplicación es frecuente al abordar el problema de adaptación de TCP/IP a medios inalámbricos. Por una parte resulta una solución conveniente cuando cambiar los protocolos actuales es inviable o demasiado costoso. Por otra, plantea muchos desafíos ya que ocasiona un alto acoplamiento y baja modularidad. En la literatura hay varias propuestas de arquitecturas y modelos analíticos así como aplicaciones concretas del diseño cross-layer. Actualmente permanece abierto el problema de determinar como combinar estos esfuerzos disjuntos. El testeo de estos sistemas cross-layer no ha sido abordado en profundidad a pesar su naturaleza delicada e intrincada. Elegimos la arquitectura ECLAIR porque ofrece mínima intrusión, portabilidad y eficiencia. De este modo abordamos los requerimientos de una arquitectura económica, compatible hacia atras que simplifique la instrumentación de optimizaciones cross-layer a través de múltiples plataformas. Para la especificación del sistema elegimos el lenguaje de modelado SDL debido a su éxito en el domino de las telecomunicaciones y diseño de protocolos, así como por la disponibilidad de herramientas para crear modelos en SDL. Interactuando con el modelo de la especificación del sistema obtuvimos trazas en formato de MSC que constituyeron los casos de test para nuestro sistema. Manualmente programamos un tester y tradujimos las trazas en MSC en inputs para el mismo. Usando el tester corrimos el test contra nuestra implementación. Actualmente se está trabajando en la generación automática de casos de test en TTCN-3 a partir de la especificación. Se decidió utilizar TTCN- 3 para simplificar la generación de test suites en diversas plataformas. TTCN-3 es el lenguaje para testeo promovido por la European Telecommunications Standards Institute (ETSI) y que fue diseñado para adecuarse a cualquier clase de actividad de testeo. Planeamos experimentar con nuestro sistema para establecer su comportamiento en varios escenarios del mundo real. Los mismos incluyen como plataformas objetivo OpenWRT y Android, aplicaciones de videoconferencia y el desarrollo de una interfaz SNMP a nuestro sistema para explorar las posibilidades de optimizaciones cross-layer globales.|