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.
precondición, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, enero, 2013, precondición, condición, satisfacerse, justo, antes, comienzo, ejecución, porción, código, normalmente, subprograma, método, eje. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 11 de enero de 2013 Una precondicion es una condicion que ha de satisfacerse justo antes del comienzo de la ejecucion de una porcion de codigo normalmente un subprograma o metodo Por ejemplo el factorial de un numero solo esta definido para valores positivos o cero Por tanto un subprograma que calcule el factorial de un numero exigira que dicho numero sea mayor o igual que cero Existen lenguajes de programacion que incorporan construcciones sintacticas para reflejar las precondiciones de sus subprogramas o metodos El calculo del factorial en el lenguaje Eiffel por ejemplo quedaria asi factorial n INTEGER INTEGER Calcula el factorial de un numero No esta definido para cantidades negativas require no negativo n gt 0 do if n 0 then Result 1 else Result n factorial n 1 end end En donde la palabra require introduce la precondicion del metodo factorial Vease tambien EditarPostcondicion Diseno por Contrato Logica de Hoare Invariantes mantenidas por condiciones Disparador Bases de datos Datos Q1413450 Obtenido de https es wikipedia org w index php title Precondicion amp oldid 128809848, wikipedia, wiki, leyendo, leer, libro, biblioteca,
