Verificación de uso de protocolos a través de modelos de habilitación

• Autores: Bernatene, Romina; Fotorello, Florencia
• Año de publicación: 2011
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Caso, Guido de; Czemerinski, Hernán
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

A medida que los sistemas de software van ocupando lugares cada vez más claves dentro de los negocios, un error en los mismos agudiza el impacto de sus consecuencias. Por este motivo, la confiabilidad del software pasó a ser uno de los aspectos más importantes dentro de la ingeniería del software. Una de las piezas principales para el correcto funcionamiento de un sistema de software es el establecimiento de una buena comunicación entre sus componentes, para que cooperen adecuadamente generando el resultado esperado. A través de un protocolo se enmarca la comunicación y se brindan las reglas a respetar. El correcto uso de un protocolo garantiza el éxito en la interacción entre una API (Application Programming Interface) y su cliente, por lo tanto verificar que esto suceda es de sumo interés. Sin embargo, realizarlo tiene una complejidad muy alta ya que un protocolo define un conjunto potencialmente infinito de ejecuciones. En este trabajo se presenta una técnica de verificación de la utilización de protocolos en base a un modelo de habilitación EPA (Enableness-Preserving Abstraction). Este modelo se construye utilizando una herramienta llamada Contractor, que genera el mismo a través del contrato de la API. Para aplicar la técnica de verificación propuesta se desarrolló un prototipo de herramienta encargado de dar soporte al análisis.
Fil: Bernatene, Romina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fil: Fotorello, Florencia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.