Ponencia
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
Autor/es | García-Galán, Jesús
Trinidad Martín Arroyo, Pablo Ruiz Cortés, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2011 |
Fecha de depósito | 2015-06-29 |
Publicado en |
|
Resumen | La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de caracter´ısticas. Realizar este proceso manualmente no es viable con modelos de tama˜no medio/grande, e incluso ... La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de caracter´ısticas. Realizar este proceso manualmente no es viable con modelos de tama˜no medio/grande, e incluso tampoco para modelos peque˜nos, pues la mayor´ıa de errores son extremadamente dif´ıciles de detectar y m´as a´un de explicar. En esta demo presentamos FaMa Abductive, una extensi´on de la herramienta FaMa, encargada de la diagnosis autom´atica en modelos de caracter´ısticas. Esta herramienta provee detecci´on y explicaciones para errores en modelos de caracter´ısticas, tanto b´asicos como extendidos, y tambi´en para productos err´oneos en modelos de caracter´ısticas b´asicos. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 172.7Kb | [PDF] | Ver/ | |