Un enfoque unificado de verificación y validación de software basado en expresiones regulares

Abstract

Este trabajo presenta una línea de investigación orientada a la Verificación y Validación de Software mediante el uso de Expresiones Regulares como mecanismo formal para la especificación y evaluación del comportamiento de sistemas informáticos. La propuesta aborda tanto actividades de verificación, vinculadas al testing de implementaciones de software, como actividades de validación, centradas en el análisis del comportamiento observable desde la perspectiva del usuario. La línea de investigación se apoya en una serie de trabajos publicados entre 2017 y 2024, en los que se exploran técnicas de testing de caja negra y caja blanca aplicadas a visualizaciones de información, sistemas orientados a objetos y software industrial. A lo largo de esta evolución, las Expresiones Regulares se utilizan para modelar secuencias de interacciones, intercambio de mensajes y ejecución de comportamientos esperados, permitiendo un enfoque unificado y flexible para el testing. Como resultado de esta línea de trabajo se desarrolló el framework de testing TAPIR [6], basado en la especificación de comportamiento mediante Expresiones Regulares y el uso de Programación Orientada a Aspectos. Actualmente, la investigación se encuentra en una nueva etapa orientada a la extensión del framework para soportar testing a nivel de clase en el paradigma orientado a objetos, mediante una estrategia modal implementada en Java. Esta línea de investigación contribuye al desarrollo de metodologías y herramientas que permiten evaluar la calidad del software en contextos complejos, promoviendo enfoques reutilizables, expresivos y alineados con las necesidades actuales de la Ingeniería de Software.