Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2013-44742-C4-1-R

Financiado

VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA...

VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA EL PRINCIPAL OBJETIVO DEL PROYECTO CAVI-ROSE ES CONTRIBUIR A LA MEJORA DE LA COMPETITIVIDAD DE LA INDUSTRIA DE DESARROLLO DE SOFTWARE EN NUESTRO PAIS: (1) CONTRIBUYENDO AL AVANCE DE LA INVESTIGACION EN TECNICAS DE VALIDACION DE SO... ver más

01/01/2013

UPV

109K€

Presupuesto del proyecto: 109K€

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 683

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-01-01

0% 100%

Participantes

UPV

Lider

Proyectos interesantes

TIN2013-44742-C4-3-R VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIO... 188K€ Cerrado

TIN2013-44742-C4-4-R VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y... 23K€ Cerrado

RTI2018-101963-B-I00 BUGBIRTH: HOW BUGS ARE BORN 85K€ Cerrado

Cognitive Testing QA - Desarrollo de una plat... Cognitive Testing QA - Desarrollo de una plataforma para la... Rechazado

TIN2008-06622-C03-02 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 125K€ Cerrado

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

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA

Total investigadores 683

Presupuesto del proyecto 109K€

Descripción del proyecto EL PRINCIPAL OBJETIVO DEL PROYECTO CAVI-ROSE ES CONTRIBUIR A LA MEJORA DE LA COMPETITIVIDAD DE LA INDUSTRIA DE DESARROLLO DE SOFTWARE EN NUESTRO PAIS: (1) CONTRIBUYENDO AL AVANCE DE LA INVESTIGACION EN TECNICAS DE VALIDACION DE SOFTWARE BASADAS EN METODOS PRECISOS Y RIGUROSOS Y (2) ASEGURANDO LA TRANSFERENCIA MEDIANTE EL DESARROLLO DE HERRAMIENTAS PARA LA APLICACION DE DICHAS TECNICAS A LOS RETOS ACTUALES DE LA INDUSTRIA,VIVIMOS EN UNA SOCIEDAD DIGITAL EN LA QUE LA FIABILIDAD DEL SOFTWARE SE HA CONVERTIDO EN UN ASUNTO DE VITAL IMPORTANCIA, TANTO POR LOS RIESGOS PARA LAS PERSONAS QUE UN ERROR PUEDE PROVOCAR COMO POR EL COSTE ECONOMICO DE SU MAL FUNCIONAMIENTO, LA MAYORIA DE LOS PRODUCTOS SOFTWARE ACTUALES UTILIZAN TECNOLOGIAS HETEROGENEAS Y LENGUAJES DE PROGRAMACION DIFERENTES QUE SE INTEGRAN MEDIANTE COMPLEJOS MECANISMOS, ESTA COMPLEJIDAD, JUNTO CON EL HECHO DE QUE UNA GRAN PARTE DE LOS COMPONENTES SOFTWARE UTILIZADOS SON DESARROLLADOS POR TERCERAS PARTES, HACE QUE LAS TAREAS DE VALIDACION DEL SOFTWARE SEAN PARA LAS EMPRESAS DESARROLLADORAS UN AUTENTICO DESAFIO EN TERMINOS DE COSTE, PESE A SER IMPRESCINDIBLES PARA GARANTIZAR LA CALIDAD DE SUS PRODUCTOS, POR TODO ELLO SE PLANTEA EL PRESENTE PROYECTO, CUYOS OBJETIVOS GENERALES PERSIGUEN AVANZAR EL CONOCIMIENTO Y LA TECNOLOGIA EN EL AREA DE LA VALIDACION DE SOFTWARE A DIFERENTES NIVELES:- VALIDACION BASADA EN PRUEBAS, SE TRATA DE LA TECNOLOGIA MAYORITARIA UTILIZADA POR LA INDUSTRIA DEL SOFTWARE PARA PREVENIR FALLOS DE CONSTRUCCION EN EL SOFTWARE, LAS PRUEBAS CONTROLADAS DE EJECUCION DE UN CIERTO NUMERO DE CASOS DE PRUEBA PERMITEN COMPROBAR, HASTA CIERTO PUNTO, LA CORRECCION DEL SOFTWARE DESARROLLADO, EN EL PROYECTO, NOS CENTRAREMOS EN LAS TECNICAS AUTOMATICAS DE GENERACION DE CASOS DE PRUEBA BASADAS EN EJECUCION SIMBOLICA,- VERIFICACION FORMAL DE PROGRAMAS, EL PRINCIPAL INCONVENIENTE DE LAS TECNICAS DE VALIDACION BASADAS EN PRUEBAS ES QUE, AUNQUE PUEDEN AYUDAR A LOCALIZAR LOS ERRORES DE UN PROGRAMA, NO ES POSIBLE ASEGURAR SU AUSENCIA, POR ELLO, CONSIDERAREMOS TAMBIEN TECNICAS DE VERIFICACION FORMAL BASADAS EN EJECUCION SIMBOLICA Y VALIDACION DE MODELOS, ASI, ES POSIBLE OBTENER UNA GARANTIA TOTAL DE LA CORRECCION DEL PROGRAMA, LO QUE LAS HACE ESPECIALMENTE ADECUADAS PARA VALIDAR SOFTWARE CRITICO,- DEPURACION DE PROGRAMAS, COMO COMPLEMENTO A LAS TECNICAS DE VALIDACION MEDIANTE PRUEBAS Y MEDIANTE VERIFICACION FORMAL, PODEMOS ENCONTRAR UN BUEN NUMERO DE TECNICAS DE DEPURACION DE CODIGO QUE AYUDAN AL PROGRAMADOR A DETECTAR Y LOCALIZAR LOS ERRORES MAS COMUNES, EN ESTE PROYECTO, NOS CENTRAREMOS EN LAS TECNICAS MAS AVANZADAS, COMO SON LA DEPURACION ALGORITMICA O LA FRAGMENTACION DE PROGRAMAS,ADEMAS DE UN CIERTO NUMERO DE PUBLICACIONES CIENTIFICO-TECNICAS QUE NOS AYUDEN A DIFUNDIR LOS PRINCIPALES LOGROS ALCANZADOS, TENEMOS PREVISTO TAMBIEN EL DESARROLLO DE METODOS Y HERRAMIENTAS SOFTWARE UTILES PARA MEJORAR LA CALIDAD Y LA PRODUCTIVIDAD DEL PROCESO DE DESARROLLO DE SOFTWARE, POR TANTO, LOS RESULTADOS ESPERABLES DEL PROYECTO PERMITIRAN MEJORAR LA VISIBILIDAD A NIVEL INTERNACIONAL DE LA INVESTIGACION ESPAÑOLA EN LOS AMBITOS DE LA INGENIERIA DEL SOFTWARE Y LOS LENGUAJES DE PROGRAMACION, AL TIEMPO QUE PERMITIRAN MEJORAR LA COMPETITIVIDAD DEL SECTOR DEL DESARROLLO DE SOFTWARE MEDIANTE LA ADOPCION DE LA TECNOLOGIA MAS AVANZADA EN MATERIA DE VALIDACION DE PROGRAMAS, SOFTWARE\ VALIDACIÓN AUTOMÁTICA\ VERIFICACIÓN FORMAL\ DEPURACIÓN\ GENERACIÓN DE CASOS DE PRUEBA\ LENGUAJES DE PROGRAMACIÓN

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores