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