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-3-R

Financiado

Cerrado

VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIONES, DEMOSTRACIONES...

VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIONES, DEMOSTRACIONES MATEMATICAS Y PRUEBAS DE EJECUCION LOS PRINCIPALES OBJETIVOS DEL PROYECTO COORDINADO CAVI-SUM Y DEL SUBPROYECTO CAVI-ART DE LA UCM SON CONTRIBUIR A LA MEJORA DE LA COMPETITIVIDAD DE LA INDUSTRIA DE DESARROLLO DE SOFTWARE EN NUESTRO PAIS: (1) CONTRIBUYENDO AL AVANCE... ver más

01/01/2013

UCM

188K€

Presupuesto del proyecto: 188K€

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 3281

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

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

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

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

TIN2016-81699-ERC ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C... 75K€ Cerrado

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

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

TIN2009-14599-C03-01 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 391K€ 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 3281

Presupuesto del proyecto 188K€

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

Descripción del proyecto LOS PRINCIPALES OBJETIVOS DEL PROYECTO COORDINADO CAVI-SUM Y DEL SUBPROYECTO CAVI-ART DE LA UCM SON 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,- 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 QUE ABSTRAEN (MEDIANTE ANALISIS ESTATICOS, INTERPRETACION ABSTRACTA, RESTRICCIONES, ETC,) LAS POSIBLES EJECUCIONES DE UN PROGRAMA DE MANERA FINITA, 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\ ANÁLISIS ESTÁTICO\ 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