Implementación de métodos de verificación de programas

Chicharro García, Rafael (2009). Implementación de métodos de verificación de programas. Proyecto Fin de Carrera / Trabajo Fin de Grado, Facultad de Informática (UPM).

Description

Title: Implementación de métodos de verificación de programas
Author/s:
  • Chicharro García, Rafael
Contributor/s:
  • Laita de la Rica, Luis M.
Item Type: Final Project
Date: 2009
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (898kB) | Preview

Abstract

Un programa de ordenador puede considerarse como una función que lanza los individuos de un conjunto que se puede llamar "conjunto de estados de entrada" y otro conjunto que se puede denominar "conjunto de estados de salida". Si la función envía los elementos del "conjunto de entrada" dentro del "conjunto de salida" se dice que el programa representado por la función es correcto. El proceso de verificar la corrección de un programa se denomina "verificar el programa". Este es el objeto de este Proyecto Fin de Carrera. Confeccionar programas se puede considerar, según Gries, como un arte, pero también como una Ciencia. Casi todos los que programamos, en realidad, nos guiamos por intuiciones, costumbres u otros métodos como el coste tiempo-dinero de un programa, etc. A eso se le podría llamar arte. Lo que se presenta en este Proyecto es más bien una Ciencia de la programación, que utiliza metodologías exactas parecidas a las usadas en las Matemáticas o en las Ciencias Exactas como la Mecánica. Lo normal es programar como un arte, porque programar como una Ciencia llevaría a una pérdida de tiempo injustificada. La verificación como Ciencia es importante, sin embargo, en partes de los programas que requieren un esfuerzo detallado de verificación. Un ejemplo de estos métodos científicos es el de Wp (Precondición más débil), el cual es objeto de este Proyecto.

More information

Item ID: 1680
DC Identifier: http://oa.upm.es/1680/
OAI Identifier: oai:oa.upm.es:1680
Deposited by: Archivo Digital UPM
Deposited on: 19 Jun 2009
Last Modified: 20 Apr 2016 06:56
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM