Post on 19-Jan-2016
VERIFICACION DE PROGRAMAAS
IntroducciónLos Principales aspectos estudiados son los siguientes:
Verificación (Prueba de corrección).
Terminación.
Transformación.
Principio de Inducción Para el principio de inducción establecemos que S(n) una expresión en la cual se tiene un numero entero n y este es valido para todos los enteros positivos, tenemos que:
S(1) es verdadera. Cuando n=1.
S(n+1) también es verdadera pues n=n+1.
Numero finito e infinito de pruebas
Ejemplo…El diagrama de flujo calcula el producto de
dos enteros N y M, donde N>0 sin usar la operación de multiplicación.
A
C
V
F
La ejecución alcanza un punto C tenemos que J=I x N.Caso 1: la primera vez que una ejecución alcanza un punto
C, I=0 y J=0; luego, es verdad que J=I x N=0 x N=0;Caso 2: supongamos que la ejecución se encuentra en un punto C y J=I x N son verdaderos. Llamemos a los valores de I y J en este punto de In y Jn, con el fin de tener Jn = In x N. Supongamos ahora que una ejecución continua de C para C. cuando una ejecución retorna a C, I y J tiene nuevos valores que serán llamados In+1 y Jn+1 . tales valores serán:
In+1 = In +1
Jn+1 = In x N+N (ya que Jn = In x N)
= (In +1) x N
= In+1 x N.
Corrección Parcial de Programas