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

TIN2013-44742-C4-1-R

Financiado

Cerrado

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 688

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-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

UPV

Lider

Proyectos interesantes

TIN2013-44742-C4-4-R

Software

Software Testin...

23K€ Cerrado

TIN2009-14599-C03-03

Software

Software Testin...

159K€ Cerrado

TIN2009-14599-C03-02

Software

Software Testin...

308K€ Cerrado

TIN2009-14599-C03-01

Software

Software Testin...

391K€ Cerrado

TIN2013-44742-C4-3-R

Software

Software Testin...

188K€ Cerrado

TUNE

Software

Cybersecurity

2M€ Cerrado

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

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 688

Presupuesto del proyecto 109K€

Fecha límite de participación Sin fecha límite de participación.

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores