Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PID2021-124054OB-C32

Financiado

TESTING Y ASEGURAMIENTO DE LA CALIDAD DEL SOFTWARE CUANTICO

EL SUBPROYECTO Q-SERV-UCLM - TESTING AND QUALITY ASSESMENT OF QUANTUM SOFTWARE TIENE COMO OBJETIVO DESARROLLAR LAS TECNICAS Y HERRAMIENTAS NECESARIAS PARA PODER GESTIONAR ASPECTOS RELATIVOS A LA CALIDAD DEL SOFTWARE CUANTICO (DE... ver más

01/01/2021

UCLM

121K€

Presupuesto del proyecto: 121K€

Líder del proyecto

UNIVERSIDAD DE CASTILLA-LA MANCHA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 2586

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2021-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UCLM

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

PID2021-124054OB-C33 INGENIERIA DEL SOFTWARE SEGURA PARA LA COMPUTACION CUANTICA 60K€ Cerrado

PLEC2021-008251 Few-qubit quantum hardware, algorithms and codes, on photoni... 92K€ Cerrado

PID2021-125823NA-I00 ARQUITECTURAS Y ALGORITMOS CUANTICOS CODISEÑADOS 133K€ Cerrado

PID2019-104791RB-I00 MODERNIZACION SOFTWARE PARA DAR CABIDA A LA INFORMACION CUAN... 54K€ Cerrado

TED2021-131447B-C21 UNIDAD HIBRIDA DE PROCESADO CUANTICO PARA RESOLVER RETOS ACT... 288K€ Cerrado

ASC-Q Algorithms, Security and Complexity for Quantum Computers 1M€ Cerrado

Líder del proyecto

UNIVERSIDAD DE CASTILLA-LA MANCHA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 2586

Presupuesto del proyecto 121K€

Descripción del proyecto EL SUBPROYECTO Q-SERV-UCLM - TESTING AND QUALITY ASSESMENT OF QUANTUM SOFTWARE TIENE COMO OBJETIVO DESARROLLAR LAS TECNICAS Y HERRAMIENTAS NECESARIAS PARA PODER GESTIONAR ASPECTOS RELATIVOS A LA CALIDAD DEL SOFTWARE CUANTICO (DESARROLLADO BAJO EL PARADIGMA DE COMPUTACION CUANTICA UNIVERSAL) DESDE DOS PUNTOS DE VISTA: EL TESTING Y EL ASEGURAMIENTO DE LA CALIDAD. ESTO RESPONDE A UNA CRECIENTE NECESIDAD DE UNA INGENIERIA DEL SOFTWARE CUANTICO MEDIANTE LA CUAL, DOTAR A LOS DESARROLLADORES DE SOFTWARE CUANTICO DE TECNICAS Y HERRAMIENTAS DESDE UN PUNTO DE VISTA INGENIERIL, AFRONTANDO LOS RETOS QUE SUPONE LA COMPUTACION CUANTICA, Y EVITANDO UNA CRISIS DE SOFTWARE COMO LA QUE SE EXPERIMENTO EN LA COMPUTACION CLASICA EN LOS AÑOS 60.ASI PUES, SE PRETENDE CONTRIBUIR A ESA INGENIERIA DEL SOFTWARE CUANTICO: (I) REFORMULANDO EL PROCESO DE TESTING DEL SOFTWARE CUANTICO TENIENDO EN CUENTA ASPECTOS COMO LA PROPIA NATURALEZA ESTOCASTICA DE LOS CIRCUITOS CUANTICOS, LA IMPOSIBILIDAD DE CONSULTAR EL ESTADO DE LOS CUBITS DURANTE LA EJECUCION DE UN CIRCUITO, ETC., ASI COMO LA APLICACION DE TECNICAS DE TESTING CLASICO QUE HAN PROBADO SER ALTAMENTE EFICIENTES (POR EJEMPLO, TESTING POR MUTACION); Y II) DESARROLLANDO MODELOS DE CALIDAD PARA EL SOFTWARE CUANTICO QUE CONTEMPLEN LAS NUEVAS CARACTERISTICAS Y ATRIBUTOS DE CALIDAD DERIVADOS DE ESTE NUEVO PARADIGMA, PERMITIENDO ASI LLEVAR A CABO UN ASEGURAMIENTO DE LA CALIDAD DEL SOFTWARE CUANTICO. DADO QUE EN LA ACTUALIDAD YA ES POSIBLE ENCONTRAR DIVERSAS PLATAFORMAS Y LENGUAJES DE PROGRAMACION DE SOFTWARE CUANTICO, ESTA INVESTIGACION SE DESARROLLARA A DOS NIVELES DE ABSTRACCION: I) UN NIVEL AGNOSTICO DE LA PLATAFORMA EN EL QUE SE TRABAJARA CON MODELOS CENTRADOS EN REPRESENTAR EL SOFTWARE CUANTICO EN FORMA DE MODELOS DE CIRCUITO CUANTICO (O NIVEL PIM), Y II) UN NIVEL ESPECIFICO PARA EL CUAL, SE CONSIDERARAN RESTRICCIONES MAS ESPECIFICAS QUE PUEDEN DARSE EN EL SOFTWARE CUANTICO SEGUN LA PLATAFORMA EN LA QUE SE EXPRESE (O NIVEL PSM).FINALMENTE, LOS RESULTADOS Y AVANCES OBTENIDOS CONCRETOS OBTENIDOS SE EXTENDERAN PARA PODER TESTEAR Y ASEGURAR LA CALIDAD DE LOS MICROSERVICIOS CUANTICOS. DE ESTE MODO, EN ESTE SUBPROYECTO SE DESARROLLARAN TECNICAS Y HERRAMIENTAS PARA ASEGURAR LA CALIDAD (TESTING Y ASEGURAMIENTO DE LA CALIDAD) (I) A NIVEL DE LA COMPONENTE CUANTICA DE LOS MICROSERVICIOS CUANTICOS, Y (II) DEL PROPIO MICROSERVICIO CUANTICO, ASUMIENDO LAS CARACTERISTICAS ESPECIALES QUE ESTOS PRESENTARAN POR SU NATURALEZA HIBRIDA. NGENIERIA DEL SOFTWARE\DESARROLLO DE SOFTWARE CUANTICO\CALIDAD DEL SOFTWARE\INGENIERIA DEL SOFTWARE CUANTICO\TESTING DEL SOFTWARE

Conecta tu I+D

Entra hoy

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores