Resumen de FaMa Abductive: una herramienta para explicaciones de errores en modelos de características

Jesús García Galán, Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés

• La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de análisis de modelos de características. Realizar este proceso manualmente no es viable con modelos de tamaño medio/grande, e incluso tampoco para modelos pequeños, pues la mayoría de errores son extremadamente difíciles de detectar y más aún de explicar. En esta demo presentamos FaMa Abductive, una extensión de la herramienta FaMa, encargada de la diagnosis automática en modelos de características. Esta herramienta provee detección y explicaciones para errores en modelos de características, tanto básicos como extendidos, y también para productos erróneos en modelos de características básicos.