Esta línea aborda la actividad investigadora relacionada con la metodología para la producción de software, haciendo especial hincapié en los procesos de testo. Las principales áreas de interés son:

• Metodología para la mejora de proceso de testeo. El fin es desarrollar, validar y diseminar una metodología para la mejora del proceso de testeo basada en un modelo para medir el nivel de madurez de un proceso de testeo.
• Generación automática de casos de testeo.
• Composición de componentes distribuidos basado en exclusión mutua. Esta línea de investigación consiste en el desarrollo y la aplicación de una teoría formal de composición.
• Metodología para la ingeniería y gestión de software. Esta línea de actuación intenta definir el conjunto de procesos que intervienen en la construcción de un producto de software, y caracterizar sus interacciones a lo largo del ciclo de vida.
• Metodología de certificación de productos software. Esta línea totalmente novedosa persigue el desarrollo de un modelo que permita certificar productos software cumpliendo con toda una serie de requisitos definidos.

Volver a líneas I+D+I