Navegación

Búsqueda

Búsqueda avanzada

BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características

Resumen:

El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de numerosos investigadores durante las dos últimas décadas. Durante este tiempo, el número de herramientas y técnicas para el análisis de modelos de características se ha multiplicado y con ellas su complejidad. En este escenario, la falta de mecanismos específicos para validar y evaluar la funcionalidad y el rendimiento de las herramientas de análisis se ha convertido en un gran obstáculo dificultando el desarrollo de herramientas y afectando negativamente a su calidad y fiabilidad. En este artículo, presentamos BeTTy, un framework para la automatizacíon de pruebas en el análisis de modelos de características. Entre otras funcionalidades, BeTTy permite la deteccíon automática de errores en herramientas de análisis de modelos de características. Además, BeTTy permite generar modelos de características tanto aleatorios como computacionalmente duros, útiles para evaluar el rendimiento de las herramientas de análisis. Parte de la funcionalidad del framework es ofrecida a través de una aplicacíon Web que facilita en gran medida su uso.

Palabras Clave:

Autor(es):

  • Sergio Segura {}
    Departamento de Lenguajes y Sistemas Informáticos. Universidad de Sevilla. Av Reina Mercedes S/N, 41012 Sevilla, España
  • José A. Galindo {}
    Departamento de Lenguajes y Sistemas Informáticos. Universidad de Sevilla. Av Reina Mercedes S/N, 41012 Sevilla, España
  • David Benavides {}
    Departamento de Lenguajes y Sistemas Informáticos. Universidad de Sevilla. Av Reina Mercedes S/N, 41012 Sevilla, España
  • José A. Parejo {}
    Departamento de Lenguajes y Sistemas Informáticos. Universidad de Sevilla. Av Reina Mercedes S/N, 41012 Sevilla, España

Handle:

11705/JISBD/2012/076

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.