Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Guti
Guti
componentes software
Tesis Doctoral
Agustn Cernuda del Ro
Universidad de Oviedo, junio de
2002
Programa de la presentacin
1. El problema
2. Tcnicas relacionadas
3. Solucin aportada
Verificacin
Esttica sin poner el sistema en funcionamiento
(deteccin temprana de los defectos,
aprovechamiento del conocimiento disponible)
Automtica menor coste, mayor frecuencia, menor
ambigedad
Asequible
Tcnicas conocidas y viables
Comprendido y aplicado con facilidad por el personal tpico
General, flexible (retorno de inversin)
Esto exige un modelo sencillo
1. El problema
2. Tcnicas relacionadas
3. Solucin aportada
OSF/DCE (IDL)
COM, CORBA, JavaBeans
Estndares de cableado (Szyperski)
Ya funcionan (xito comercial)
Problemas
Orientados a la composicin, no a la verificacin
1. El problema
2. Tcnicas relacionadas
3. Solucin aportada
Sumideros
Expresiones restrictivas
Requisitos (para los sumideros)
Signaturas Signaturas
Requisitos - Sumidero1(int) - Sumidero1(int)
- Sumidero1 debe ser menor que
- Sumidero2(int, char) - Sumidero2(int, char)
Sumidero2 + Sumidero3
- Sumidero3(char) - Sumidero3(char)
Cdigo Cdigo
Garantas
- El valor de Fuente1 siempre estar
entre el de Sumidero2 y Sumidero3
Fuente1 Fuente2
Grafo finito
Nodos: componentes
Arcos: pares fuente/sumidero
Predicados auxiliares
Correccin topolgica de un sistema
No hay puntos de conexin aislados
No hay arcos repetidos
s1 s2
s1
OK
? s2
s1vlido?
vlido s1 positivo
s1 s2
1. El problema
2. Tcnicas relacionadas
3. Solucin aportada
val
Imprimir valor
1. El problema
2. Tcnicas relacionadas
3. Solucin aportada
Basndose en:
Interpretacin de los resultados obtenidos
Anlisis del estado del arte
Escrutinio pblico
Se concluye que:
Es posible verificar, de manera esttica, automtica y asequible
que, hasta donde nos es posible asegurar con el conocimiento
disponible, al combinar ciertos componentes software no se han
violado las condiciones de funcionamiento correcto de ninguno
de ellos.