Tcach Lufrano - Resumen

• Título: Simulación de contratos mediante abstracciones de comportamiento basadas en habilitación
• Autor: Alexis Tcach Lufrano
• Laboratorio: Grupo de Investigación en Software Confiable
• Año: 2010
• Resumen:

Especificaciones mediante pre/postcondiciones son comunes en una variedad de actividades de ingeniería de software, desde requerimientos, pasando por diseño hasta implementación. La naturaleza fragmentada de estas especificaciones pueden dificultar la validación ya que es difícil evaluar si las varias operaciones funcionan adecuadamente juntas. En trabajo previo se han utilizado para validación abstracciones construídas en forma de modelos de comportamientos sintetizados a partir de especificaciones basadas en pre/postcondiciones. En este trabajo ahondamos en estos modelos mediate un acercamiento formal hacia la exploración de los mismo en términos de simulación sobre el los. Desarrol lamos una herramienta de línea de comandos y una visual para facilitar la utilización de dichas estructuras. Para evaluar el enfoque en esta tesis se han llevado a cabo casos de estudios.