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

Abstract

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.