Innovating Works

TIN2013-44742-C4-3-R

Financiado
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... 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. ver más
01/01/2013
UCM
188K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-01-01
Presupuesto El presupuesto total del proyecto asciende a 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 3274