Formulación de Algoritmos

Pruebas de Escritorio
 ¿Qué es?

Es un proceso manual a través del cual se busca

verificar la programación y la lógica de un
algoritmo o programa.

Permite a los programadores identificar posibles fallas y

errores, que puedan hacer que este no funcione de
manera adecuada; para ello se debe hacer un
seguimiento de cada línea de código del algoritmo o
programa para constatar que se está cumpliendo con
el objetivo final del mismo.
 ¿Qué evalúan?

Evalúan la funcionalidad, seguridad, facilidad de

uso y estabilidad del algoritmo o programa antes
de su implementación, o luego de haber realizado
alguna modificación o corrección.
 Tipos de prueba de escritorio

Hay diferentes pruebas de escritorio que pueden aplicarse para

la verificación de funcionamiento de un sistema, las cuales
pueden agruparse en funcionales y no funcionales:

Funcionales: se emplean para certificar que un sistema

cumple con el objetivo para el cual fue desarrollado.

No Funcionales: verifican los parámetros no funcionales del

sistema, por ejemplo: rendimiento, accesibilidad, UX (user
experience), etc, los cuales no se abordan en las pruebas
funcionales.
 Tipos de prueba de escritorio

Algunas de las pruebas más comunes:

De Caja Negra: no interesa el proceso sino las salidas dadas unas

entradas.
De Caja Blanca: interesa el proceso.
De Accesibilidad: aplicaciones móviles o web sean usables por
todo tipo de usuario final.
De Seguridad: vulnerabilidades del sistema.
De Integración: sistemas de hardware y software se comuniquen.
De Carga: respuesta al acceso concurrente.
 Ventajas

Aunque la evolución de la tecnología nos acerca cada día más a la

automatización de los procesos, las pruebas de escritorio siguen
siendo una herramienta útil y funcional para la evaluación de un
sistema.

 Permite identificar con mayor facilidad errores o problemas

dentro de un algoritmo antes de realizar la codificación definitiva.

 Permite minimizar el tiempo de evaluación de la lógica del

programa en funcionamiento, pues generalmente son detectados
en el algoritmo.

 Es rentable ya que se realiza a través de un proceso manual.

 Desventajas

 Por ser manual, toma mayor tiempo que un proceso automático.

 Puede acarrear errores de cálculo en el proceso de verificación,

que pueden llevar al retrabajo o reproceso.
Cómo se realiza
El algoritmo de
Euclides determina
el Máximo Común
Divisor (MCD) de
dos números
enteros positivos.
 Cómo se realiza

Suponga que desea saber cuál es MCD de 15 y 4. Una prueba de

escritorio para el algoritmo de MCD consistiría, en primer lugar, de la
identificación de las variables involucradas, es decir:

      m =
   n=
   r=

La sentencia Obtener(m, n) (proceso de entrada) definirá los valores de

las variables m y n respectivamente que, con base en lo planteado en el
algoritmo y en lo que se desea saber sería:

      m = 15
   n=4
   r=
 Cómo se realiza

mientras que r se define en función de la expresión r = m mod n, es

decir:

      m = 15
   n=4
   r=3

el siguiente paso es verificar la condición del ciclo (¿es el

residuo r distinto de cero?). La condición es evaluada como
verdadera (3 # 0), se tiene la siguiente secuencia de valores para las
variables con base en las operaciones realizadas dentro del ciclo:

mientras que r se define en función de la expresión r = m mod n, es

decir:
 Cómo se realiza

 m = 15, 4
      n = 4, 3
      r = 3, 1

para la primera iteración o ejecución del ciclo. Como el residuo es

distinto de cero, la condición del ciclo es verdadera y sea realiza una
segunda iteración, generando ahora los valores:

m = 15, 4, 3
    n = 4, 3, 1
      r = 3, 1, 0

de donde puede verse, que el MCD de 15 y 4 es 1 (almacenado en n)

cuando la condición del ciclo se hace falsa, debido a que el residuo es
finalmente cero.
 Cómo se realiza

Para practicar:

Realice la prueba de escritorio para los valores 15 y

10. ¿Cuál es el MCD de 15 y 10?