Precondición

Precondición

Precondición

Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método).

Por ejemplo: el factorial de un número sólo está definido para valores positivos (o cero). Por tanto, un subprograma que calcule el factorial de un número exigirá que dicho número sea mayor o igual que cero.

Existen lenguajes de programación que incorporan construcciones sintácticas para reflejar las precondiciones de sus subprogramas o métodos. El cálculo del factorial en el lenguaje Eiffel, por ejemplo, quedaría así:

factorial(n: INTEGER): INTEGER
        -- Calcula el factorial de un número. No está definido para cantidades negativas.
    require
        no_negativo: n >= 0
    do
        if n = 0 then
            Result := 1
        else
            Result := n * factorial(n - 1)
        end
    end

En donde la palabra require introduce la precondición del método factorial.

Obtenido de "Precondici%C3%B3n"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Precondición — Una Precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método). Por ejemplo: el factorial de un número sólo está definido para valores positivos (o… …   Enciclopedia Universal

  • Precondición libre más débil — Saltar a navegación, búsqueda La Precondición libre más débil (en inglés, weakest liberal precondition , wlp) es una extensión del concepto de la precondición más débil de E. W. Dijkstra para probar en programas de ordenador. Mientras wp… …   Wikipedia Español

  • Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… …   Wikipedia Español

  • Semántica de transformación de predicados — La semántica de transformación de predicados es una extensión de Lógica de Floyd Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores. Esta extensión fue presentada por Dijkstra en sus artículos titulados Guarded… …   Wikipedia Español

  • Aserción (informática) — Saltar a navegación, búsqueda En programación, una aserción es un predicado (i.e., una sentencia verdadero falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de …   Wikipedia Español

  • Conocimiento libre — Existen desacuerdos sobre la neutralidad en el punto de vista de la versión actual de este artículo o sección. En la página de discusión puedes consultar el debate al respecto. El conocimiento libre es una corriente epistemológica que estudia el… …   Wikipedia Español

  • Peter Bauer — Saltar a navegación, búsqueda Peter Thomas Bauer, también conocido como Barón Bauer (*1915 † 2 de mayo de 2002) fue un importante economista reconocido a nivel internacional. Bauer es recordado sobre todo por su oposición a la postura largamente… …   Wikipedia Español

  • Java Modeling Language — El Java Modeling Language, abreviado JML y en español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve de pre , postcondiciones e invariantes de la lógica de Hoare, siguiendo el paradigma de… …   Wikipedia Español

  • Actas de Navegación (Inglaterra) — Saltar a navegación, búsqueda Las Actas de Navegación inglesas fueron una serie de leyes que, comenzando por la dictada el 9 de octubre de 1651, restringieron el uso de barcos extranjeros en el comercio de Inglaterra (más tarde Gran Bretaña y sus …   Wikipedia Español

  • Actas de Navegación — Las Actas de Navegación inglesas fueron una serie de leyes que, comenzando por la dictada el 9 de octubre de 1651, restringieron el uso de barcos extranjeros en el comercio de Inglaterra (más tarde Gran Bretaña y sus colonias). Surgieron como… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”