Chequeo estático extendido en Eiffel
Moisset de Espanes, Daniel Fernando
1980-
creator
Blanco, Javier Oscar
1968-
dir.
text
ag_
S.l
s.n.]
2006
monographic
spa
76 p. : il. ; 30 cm.
El presente trabajo describe una técnica para detectar automáticamente errores, inconsistencias entre programa y especificación, en programas imperativos con especificaciones Design by Contract. Las técnicas presentadas se aplican estáticamente, en tiempo de compilación y ponen énfasis particular en la detección de accesos a punteros nulos. El trabajo también describe una implementación de estas técnicas para detectar errores en programas escritos en Eiffel. Aunque las técnicas no garantizan formalmente la presición del resultado, la implementación muestra que los resultados obtenidos son útiles.
Daniel F. Moisset ; dir. por Javier O. Blanco.
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Cordoba. Facultad de Matemática, Astronomía y Física, 2006.
Incluye referencias bibliográficas: p. 75-76.
Software/Program verification
Specifying and verifying and reasoning about programs
Chequeo.
Verificación.
Estático.
Eiffel.
Contratos.
Punteros.
AR_CdUFM
110817
20170822095206.0