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

TIN2017-86217-R

Financiado

CAVI-ART-2: VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIONES, DEM...

CAVI-ART-2: VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIONES, DEMOSTRACIONES MATEMATICAS Y PRUEBAS DE EJECUCION A PESAR DE LOS NUMEROSOS AVANCES PRODUCIDOS EN LOS ULTIMOS DECENIOS EN LA CALIDAD DE LOS LENGUAJES DE PROGRAMACION, EN LAS METODOLOGIAS DE DESARROLLO DE PROGRAMAS Y EN LAS TECNICAS Y HERRAMIENTAS DE PRUEBAS, LOS SISTEMAS INFORMATI... ver más

01/01/2017

UCM

78K€

Presupuesto del proyecto: 78K€

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3279

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

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UCM

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

TIN2008-05624 DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE 505K€ Cerrado

TIN2010-20639 VERIFICACION PARAMETRIZADA DE SISTEMAS INFORMATICOS 44K€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

TIN2009-14599-C03-02 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 308K€ Cerrado

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ Cerrado

TIN2009-14599-C03-03 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 159K€ Cerrado

Líder del proyecto

Universidad Complutense de Madrid No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3279

Presupuesto del proyecto 78K€

Descripción del proyecto A PESAR DE LOS NUMEROSOS AVANCES PRODUCIDOS EN LOS ULTIMOS DECENIOS EN LA CALIDAD DE LOS LENGUAJES DE PROGRAMACION, EN LAS METODOLOGIAS DE DESARROLLO DE PROGRAMAS Y EN LAS TECNICAS Y HERRAMIENTAS DE PRUEBAS, LOS SISTEMAS INFORMATICOS SIGUEN CONTENIENDO ERRORES AUN DESPUES DE DESPLEGADOS, ES POR TANTO IMPRESCINDIBLE UNA INVESTIGACION MAS INTENSA EN ESTE CAMPO, EN LOS ULTIMOS AÑOS HAN SURGIDO DIVERSAS PLATAFORMAS DE VERIFICACION ASISTIDA, CON LAS QUE SE HAN VERIFICADO NUMEROSOS ALGORITMOS, Y CON LAS QUE TAMBIEN SE HAN DETECTADO ERRORES EN ALGUNOS CONOCIDOS, COMO FUE EL CASO DE UN ALGORITMO DE ORDENACION USADO INTENSAMENTE EN TELEFONOS MOVILES, NUESTRO GRUPO HA DESARROLLADO LA PLATAFORMA DE VALIDACION ASISTIDA CAVI-ART EN UN PROYECTO PREVIO,EL PRESENTE PROYECTO SE PROPONE EXTENDER Y MEJORAR LAS CAPACIDADES DE VALIDACION DE DICHA PLATAFORMA, EN CONCRETO, SE ABORDARAN LOS SIGUIENTES NUEVOS RETOS:- VERIFICACION FORMAL DE PROGRAMAS: A PARTIR DE LOS RESULTADOS YA OBTENIDOS, NOS PROPONEMOS AMPLIAR LAS FAMILIAS DE INVARIANTES RELACIONADOS CON ARRAYS QUE LA PLATAFORMA ES CAPAZ DE SINTETIZAR AUTOMATICAMENTE, - VALIDACION BASADA EN PRUEBAS: NOS CENTRAREMOS EN AMPLIAR LAS TECNICAS AUTOMATICAS DE GENERACION Y EJECUCION DE CASOS DE PRUEBA A PARTIR DE LOS ASERTOS INCLUIDOS EN LOS PROGRAMAS,- EXTENSION DE LA PLATAFORMA: INCLUIREMOS LA AMPLIACION DE LA REPRESENTACION INTERMEDIA DE PROGRAMAS, Y DE LA GENERACION DE CONDICIONES DE VERIFICACION, PARA TRATAR LENGUAJES CON TIPADO DINAMICO,- CASOS DE ESTUDIO: POR FALTA DE TIEMPO, EL PROYECTO PRECEDENTE VERIFICO POCOS ALGORITMOS, AHORA ABORDAREMOS ALGORITMOS Y ESTRUCTURAS DE DATOS COMPLEJOS, ADEMAS DE LENGUAJES ORIENTADOS A OBJETOS CON TODAS SU COMPLEJIDADES DE COMPARTICION DEL HEAP, IMPLEMENTACION DE CLASES E INTERFACES, VINCULACION DINAMICA Y USO DE PATRONES DE DISEÑO, A PARTIR DE ESTOS EXPERIMENTOS, NOS PROPONEMOS DESARROLLAR UNA METODOLOGIA COMPLETA DE VERIFICACION DE PROGRAMAS ORIENTADOS A OBJETOS, VALIDACIÓN AUTOMÁTICA\VERIFICACIÓN FORMAL\ANÁLISIS ESTÁTICO\GENERACIÓN DE CASOS DE PRUEBA\LENGUAJES DE PROGRAMACIÓN

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores