Cookies

El sitio web de la UCLM utiliza cookies propias y de terceros con fines técnicos y de análisis.

Aviso de Cookies


Automated generation of oracled test cases with regular expressions and combinatorial techniques

12 de Junio del 2020






Nuestros compañeros Macario Polo e Ignacio García junto con Oscar Pedreira y Ángeles S. Places han publicado el artículo "Automated generation of oracled test cases with regular expressions and combinatorial techniques", en la revista Journal of Software: Evolution and Process.

Resumen

Uno de los principales desafíos de la investigación de pruebas de software es la adición automatizada de oráculos a los casos de prueba generados: Mientras que la generación automatizada de secuencias de operaciones (que es uno de los componentes esenciales de los casos de prueba) es en la práctica un problema resuelto, la adición automatizada del oráculo (otro elemento indispensable) sigue siendo un problema importante y una cuestión de investigación abierta.

En este artículo se propone un enfoque para obtener conjuntos de pruebas ejecutables compuestos por casos de prueba completos (es decir, que incluyen el oráculo). El núcleo del método se basa en expresiones regulares anotadas. El proceso de generación de pruebas, que se apoya en una herramienta, sigue tres pasos:

1) Creación de expresiones regulares anotadas, en las que cada expresión regular describe un conjunto de secuencias de operaciones que se ejecutarán contra el sistema sometido a prueba.
2) Expansión de las expresiones regulares para obtener secuencias de operaciones, que todavía no tienen valores de parámetros.
3) Generación de los casos de prueba ejecutables con el oráculo. En este tercer paso, cada caso de prueba se genera con el oráculo adecuado, dependiendo de las condiciones especificadas en la expresión regular.


Volver a Noticias