Resumen de Generación de pruebas del sistema a partir de la especificación funcional.
Javier Jesús Gutiérrez Rodríguez 
De manera general, el proceso de prueba de software suele englobar, al menos, tres tareas principales: desarrollo de los casos de prueba, ejecución de los casos de prueba y análisis de los resultados [Burnstein, 2003]. El estudio en profundidad de cualquiera de estas tareas ser&ia cute;a un tema lo suficientemente amplio como para poder centrar un trabajo de tesis. Este trabajo, en concreto, se centra en la primera tarea: cómo desarrollar casos de prueba. Los casos de prueba desarrollados en esta tesis tendrán como objetivo la verificación de la correcta implementación de la especificación funcional del sistema bajo prueba. Por eso, este trabajo se refiere a dichos casos de prueba como casos de prueba funcionales del sistema. La propuesta de investigación de esta tesis se basa en la generación de casos de prueba funcionales del sistema a partir de una especificación funcional desarrollada mediante requisitos funcionales. La principal idea de esta tesis es ofrecer una respuesta sistemática y automatizada a la pregunta: ¿cómo desarrollar casos de prueba que permitan la verificación del comportamiento definido en los requisitos del sistema?. La respuesta a esta pregunta se concreta en las siguientes páginas utilizando una técnica de la ingeniería del software, transformaciones, para obtener casos de prueba funcionales a partir de la especificación funcional, y metamodelos para la especificación formal de la información de una especificación y de la información de un conjunto de casos de prueba funcionales del sistema. En el capítulo 2 se ofrece una visión general de cómo es tratada la generación de pruebas funcionales del sistema en el ámbito de la investigación actual. Esta visión general permitirá analizar cómo está definida la generación de pruebas funcionales del sistema en la literatura existente. A continuación, el capítulo 3 expone el planteamiento del problema. Como un paso natural, este capítulo también define los objetivos a satisfacer por la tesis en base a la descripción del problema presentado. En este capítulo se definirá con más detalle los antecedentes e influencias de este trabajo, así como las técnicas utilizadas para la definición del proceso de transformación y la información involucrada. Planteado el problema y los objetivos a conseguir, se comienza a trabajar en ellos en el capítulo 4 y en el capítulo 5. En ambos se presenta, de manera formal, la información necesaria para hacer un tratamiento adecuado, tanto de los requisitos funcionales de origen como de los casos de pruebas funcionales obtenidas. Una vez definida esta información, el capítulo 6 presenta la especificación del proceso de generación de casos de pruebas funcionales del sistema a partir de la información de los requisitos funcionales. En el capítulo 7, la información y el proceso descritos en los 3 capítulos anteriores se implementa en una herramienta CASE llamada MDETest que permite obtener de manera automatizada un conjunto de casos de prueba funcionales del sistema a partir de los requisitos funcionales. En este capítulo también se presentan distintos formatos para representar la información de los requisitos funcionales y de las pruebas funcionales del sistema. Finalmente, el capitulo 8 recoge las conclusiones del trabajo y las líneas futuras de investigación que se han abierto en base a los resultados obtenidos. Este trabajo de tesis, además, ofrece 5 anexos. En el primero de ellos se presenta un glosario con las definiciones de los términos más técnicos del ámbito de las pruebas y del desarrollo orientado a modelos. En el segundo anexo se presenta el manual de usuario de la herramienta CASE MDETest. En el tercer anexo se ofrece un ejemplo, basado en un proyecto web real, y se describe la aplicación del proceso de generación de pruebas funcionales del sistema. El cuarto capítulo presenta los perfiles de UML definidos para recoger información presentada en los capítulos 4 y 5. El concepto de perfil de UML se definirá más adelante en este trabajo de tesis. Finalmente, el quinto y último anexo engloba todas las publicaciones realizadas en torno a la tesis durante los años de su realización.
