Propuesta de Arquitectura para un Generador de Casos de Prueba a partir de un RLD

Resumen

Las pruebas son necesarias en la creación de cualquier
producto de software, ya que validan la funcionalidad de éste
a través de la detección de errores y garantizan el hecho de
que lo que se construyó es lo que se espera que haga el
producto; las pruebas pueden ser unitarias (verifican el
comportamiento de un componente), integrales (comprueban
la funcionalidad entre varios componentes) o funcionales
(validan el funcionamiento de subconjuntos del sistema),
entre otras; el conjunto de pasos para reproducir la prueba se
le conoce como caso de prueba. Por otra parte, el tiempo
para probar es limitado, por lo que los esfuerzos actuales se
centran en generar casos de prueba automáticamente, para
optimizar el tiempo y presupuesto de prueba, garantizando la
certeza de dichos casos; por lo tanto, es importante que el
origen de los casos de prueba no introduzca errores o
ambigüedades en el proceso. Existen diferentes soluciones a
esta cuestión, como las definiciones formales y
semiformales. En este trabajo se plantea la creación de un
generador automático de casos de prueba funcionales que
utilice como entrada casos de uso descritos en un lenguaje de
definición de requerimientos (RDL) específico, para obtener
un grafo dirigido y posteriormente, aplicar métodos que
permitan obtener los casos de prueba tomando en
consideración el porcentaje de cobertura, el tiempo
disponible para probar y/o el tipo de escenario.