Becas
Trabajo Fin de Máster Becados
Pruebas Funcionales Asistidas por Inteligencia Artificial
La Inteligencia Artificial Generativa (IAGen) se ha convertido en una pieza fundamental del desarrollo de software. Uno de los aspectos en los que están resultando decisiva es la fase de pruebas donde permite dar apoyo tanto en la generación de pruebas, como en la mejora de pruebas existentes. Esto incluye tareas como generación de datos de pruebas realistas, generación de oráculos de prueba, detección de malos olores o cálculo de cobertura, entre otros. El objetivo principal de este trabajo es analizar cómo las técnicas de IAGen actuales, y en particular los grandes modelos de lenguaje (LLMs), pueden contribuir a mejorar las pruebas funcionales en Schneider Electric.
Objetivos
- Estudio y modelado del ecosistema de pruebas funcionales, tanto de verificación como de validación, de uno de los subsistemas de Schneider Electric.
- Estudio exploratorio del uso de LLMs comerciales para la generación y mejora de pruebas existentes incluyendo tareas de generación de datos de prueba, generación de oráculos de prueba (assertions), generación de casos de prueba y cálculo de cobertura.
Planificación temporal de tareas aproximada
- Estudio y modelado del ecosistema de pruebas funcionales del subsistema seleccionado.
- Análisis de la literatura sobre el uso de IAGen en pruebas.
- Aplicación de LLMs industriales con distintas técnicas de prompting a las tareas de pruebas seleccionadas. Diseño y ejecución de experimentos.
- Evaluación cuantitativa y cualitativa de los resultados.
Tutores:
- Tutor de la Universidad: Sergio Segura Rueda
- Tutor de la Entidad: Ana Lourdes Sanz Alonso
Trabajo Fin de Grado Becados
Diseño para la fabricación y ensamblaje de los módulos SB280/A y SB280/B en la plataforma de control de subestación T500
Objetivos
Desarrollo de dos nuevos módulos para la plataforma T500: SB280/A y SB280/B, como parte del reemplazo del sistema SAGE dentro del proyecto el proyecto SAGE BRIDGE.
Planificación
- Análisis de las restricciones a tener en cuenta y de las soluciones de diseño propuestas, entre las que se encuentran la adaptación de las carcasas de DIET500, o un nuevo diseño para la nariz de HU280 adaptado a los nuevos módulos.
- Diseño mecánico de las PCB y PCBAs con el programa CREO PTC, explicando el proceso iterativo realizado y resaltando la importancia de la integración entre la mecánica y la electrónica en el diseño físico de las placas.
- Diseño para la fabricación de las partes mecánicas asociadas a los nuevos módulos.
- Rediseño de la carcasa de los módulos DIET500 de cara a la fabricación de nuevos moldes, con el objetivo de perfeccionar los modelos y facilitar el ensamblaje de SB280 y DIET500.
- Desarrollo de los planos, con una acotación basada en GD&T, y la documentación de calidad necesaria para la validación de los desarrollos.
- Selección de la solución más adecuada desde el punto de vista mecánico y de fabricación, tras evaluar las diferentes soluciones y sus implicaciones técnicas.
Tutores:
- Tutor de la Universidad: Andrés Jesús Martínez Donaire
- Tutor de la Entidad: Juan Manuel Montes Figueroa
Si tienes alguna consulta adicional escribe a schneiderus@us.es
