Generación automática de pruebas para sistemas de tiempo real

Abstract

El presente trabajo puede resumirse proponiendo un formalismo para el modelado de sistemas de tiempo real, con el propósito principal de generar de manera automática pruebas de caja negra basadas en el mismo, que proporcione un equilibrio entre potencia expresiva y complejidad que resulte adecuado para los niveles de abstracción típicamente manejados durante la fase de pruebas del sistema. Los principales objetivos se centran en definir el marco teórico de dicho formalismo, incluyendo los principios en que se fundamenta y los algoritmos básicos asociados al mismo; y proponer la elaboración de una herramienta que permita, basándose en los principios y técnicas asociadas al formalismo propuesto, modelar un sistema y generar de manera automática pruebas para el mismo.