Suite de pruebas para un generador de aplicaciones TVDI usando modelos de características

Un generador de aplicaciones es una herramienta cuya salida es una especificación de código. La prueba de un generador de código implica identificar las entradas válidas e inválidas que producen esas especificaciones de salida. A la vez, cuando los procesos de construcción son incrementales y producen versiones de los productos de software en las distintas etapas, se requieren estrategias de generación de prueba que sistemáticamente puedan ser aplicadas y replicadas para generar los test. Dr Nau es un generador de aplicaciones interactivas para TV Digital, basado en el uso de patrones de diseño de interacción centrados en el usuario, que se construye a partir de incrementos, obteniendo en cada uno de estos, una versión funcional de la herramienta. Este trabajo presenta una suite de pruebas para el primer incremento de Dr Nau, creada a partir de modelos de características y los diferentes patrones de diseño. La suite representa el conjunto de posibles aplicaciones que puede desarrollar Dr Nau en la etapa en que se encuentra. Al ser elaborada por medio de modelos de características, es posible determinar su completitud y exactitud por medio de software automatizado para tal fin, como Fama test suite, que es el que se utilizó en esta oportunidad. Se demuestra así que el trabajo realizado manualmente es efectivo y contempla la totalidad de posibles aplicaciones.

Abstract licence: CC BY-NC-ND

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.