Jose Ortiz 883681d285 updated sources and readme | il y a 9 ans | |
---|---|---|
UnitTests | il y a 9 ans | |
images | il y a 9 ans | |
resources | il y a 9 ans | |
Guia para el instructor.docx | il y a 9 ans | |
README.md | il y a 9 ans | |
Testing.html | il y a 9 ans | |
Testing.md | il y a 9 ans | |
Testing.pro | il y a 9 ans | |
functions.cpp | il y a 9 ans | |
functions.h | il y a 9 ans | |
images.qrc | il y a 9 ans | |
imagesTesting.zip | il y a 9 ans | |
labTesting.md | il y a 9 ans | |
main.cpp | il y a 9 ans | |
mainwindow.cpp | il y a 9 ans | |
mainwindow.h | il y a 9 ans | |
mainwindow.ui | il y a 9 ans | |
secondwindow.cpp | il y a 9 ans | |
secondwindow.h | il y a 9 ans |
Como habrás aprendido en experiencias de laboratorio anteriores, lograr que un programa compile es solo una pequeña parte de programar. El compilador se encargará de decirte si hubo errores de sintaxis, pero no podrá detectar errores en la lógica del programa. Es muy importante el probar las funciones del programa para validar que producen los resultados correctos y esperados.
Una manera de hacer estas pruebas es “a mano”, esto es, corriendo el programa múltiples veces, ingresando valores representativos (por medio del teclado) y visualmente verificando que el programa devuelve los valores esperados. Una forma más conveniente es implementar funciones dentro del programa cuyo propósito es verificar que otras funciones produzcan resultados correctos. En esta experiencia de laboratorio practicarás ambos métodos de verificación.
assert
Antes de llegar al laboratorio debes:
Haber repasado los conceptos básicos relacionados a pruebas y pruebas unitarias.
Haber repasado el uso de la función assert
para hacer pruebas.
Haber estudiado los conceptos e instrucciones para la sesión de laboratorio.
Haber tomado el quiz Pre-Lab que se encuentra en Moodle.
Cuando probamos la validez de una función debemos probar casos que activen los diversos resultados de la función.
Ejemplo 1: si fueras a validar una función esPar(unsigned int n)
que determina si un entero positivo n es par, deberías hacer pruebas a la función tanto con números pares como números impares. Un conjunto adecuado de pruebas para dicha función podría ser:
Prueba | Resultado esperado |
---|---|
esPar(8) |
true |
esPar(7) |
false |
Ejemplo 2: Digamos que un amigo ha creado una función unsigned int rangoEdad(unsigned int edad)
que se supone que devuelva 0 si la edad está entre 0 y 5 (inclusive), 1 si la edad está entre 6 y 18 inclusive, y 2 si la edad es mayor de 18. Una fuente común de errores en funciones como esta son los valores próximos a los límites de cada rango, por ejemplo, el número 5 se presta para error si el programador no usó una comparación correcta. Un conjunto adecuado de pruebas para la función rangoEdad
sería:
Prueba | Resultado esperado |
---|---|
rangoEdad(5) |
0 |
rangoEdad(2) |
0 |
rangoEdad(6) |
1 |
rangoEdad(18) |
1 |
rangoEdad(17) |
1 |
rangoEdad(19) |
2 |
rangoEdad(25) |
2 |
assert
La función assert(bool expression)
se puede utilizar como herramienta rudimentaria para validar de funciones. assert
tiene un funcionamiento muy sencillo y poderoso. Si la expresión que colocamos entre los paréntesis de assert
es cierta la función permite que el programa continúe con la próxima instrucción. De lo contrario, si la expresión que colocamos entre los paréntesis es falsa, la función assert
hace que el programa termine e imprime un mensaje al terminal que informa al usuario sobre la instrucción de assert
que falló.
Por ejemplo, el siguiente programa correrá de principio a fin sin problemas pues todos las expresiones incluidas en los paréntesis de los asserts evalúan a true.
#include <iostream>
#include <cassert>
using namespace std;
int main() {
int i = 10, j = 15;
assert(i == 10);
assert(j == i + 5);
assert(j != i);
assert( (j < i) == false);
cout << "Eso es todo, amigos!" << endl;
return 0;
}
Figura 1. Ejemplo de programa que pasa todas las pruebas de assert
.
El siguiente programa no correrá hasta el final pues el segundo assert
(assert(j == i);
) contiene una expresión (j==i
) que evalúa a false.
#include <iostream>
#include <cassert>
using namespace std;
int main() {
int i = 10, j = 15;
assert(i == 10);
assert(j == i);
assert(j != i);
assert( (j < i) == false);
cout << "Eso es todo, amigos!" << endl;
return 0;
}
Figura 2. Ejemplo de programa que no “pasa” una prueba de assert
.
Al correr el pasado programa, en lugar de obtener la frase ”Eso es todo amigos!”
en el terminal, obtendremos un mensaje como el siguiente:
Assertion failed: (j == i), function main, file ../programa01/main.cpp, line 8.
El programa no ejecuta más instrucciones después de la línea 8.
Digamos que deseas automatizar la validación de la función rangoEdad
. Un forma de hacerlo es crear una función que llame a la función rangoEdad
con diversos argumentos y verifique que lo devuelto concuerde con el resultado esperado. Si incluimos cada comparación entre lo devuelto por rangoEdad
y el resultado esperado dentro de un assert
, obtenemos una función que se ejecuta de principio a fin solo si todas las invocaciones devolvieron el resultado esperado.
void test_rangoEdad() {
assert(rangoEdad(5) == 0);
assert(rangoEdad(2) == 0);
assert(rangoEdad(6) == 1);
assert(rangoEdad(18) == 1);
assert(rangoEdad(17) == 1);
assert(rangoEdad(19) == 2);
assert(rangoEdad(25) == 2);
cout << "rangoEdad passed all tests!!!" << endl;
}
Figura 3. Ejemplo de una función para pruebas usando assert
.
En este ejercicio practicarás cómo diseñar pruebas para validar funciones, utilizando solamente la descripción de la función y la interfaz que se usa para interactuar con la función.
El ejercicio NO requiere programación, solo requiere que entiendas la descripción de la función, y tu habilidad para diseñar pruebas. Este ejercicio y el Ejercicio 2 son una adaptación del ejercicio en [1].
Ejemplo 3. Supón que una amiga te provee un programa. Ella asegura que el programa resuelve el siguiente problema:
"dados tres enteros, despliega el valor máximo".
Supón que el programa tienen una interfaz como la siguiente:
Figura 4 - Interfaz de un programa para hallar el valor máximo entre tres enteros.
Podrías determinar si el programa provee resultados válidos sin analizar el código fuente. Por ejemplo, podrías intentar los siguientes casos:
Si alguno de estos tres casos no da el resultado esperado, el programa de tu amiga no funciona. Por otro lado, si los tres casos funcionan, entonces el programa tiene una probabilidad alta de estar correcto.
En este ejercicio estarás diseñando pruebas que validen varias versiones de las funciones que se describen abajo. Cada una de las funciones tiene cuatro versiones, “Alpha”, “Beta”, “Gamma” y “Delta”.
jirafa
, zorra
, y coqui
, los ordena como: coqui
, jirafa
, y zorra
. Para simplificar el ejercicio, solo usaremos “strings” con letras minúsculas. La Figura 5 muestra la interfaz de esta función. Nota que hay un menú para seleccionar la versión implementada.![figure5.png](images/figure5.png)
**Figura 5** - Interfaz de la función `3 Sorts`.
Roll them!
, el programa genera dos números aleatorios entre 1 y 6. El programa informa la suma de los números aleatorios.![figure6.png](images/figure6.png)
**Figura 6** - Interfaz de la función `Dice`.
![figure7.jpg](images/figure7.jpg)
**Figura 7** - Formas de ganar en el juego "Piedra, papel y tijera".
![figure8.png](images/figure8.png)
**Figura 8** - Interfaz de la función `Rock, Paper, Scissors`.
Zulu time: Dada una hora en tiempo Zulu (Hora en el Meridiano de Greenwich) y la zona militar en la que el usuario desea saber la hora, el programa muestra la hora en esa zona. El formato para el dato de entrada es en formato de 23 horas ####
, por ejemplo 2212
sería las 10:12 pm. La lista de zonas militares válidas la puedes encontrar en http://en.wikipedia.org/wiki/List_of_military_time_zones. Lo que sigue son ejemplos de cómo deben ser los resultados del programa:
![figure9.png](images/figure9.png)
**Figura 9** - Interfaz de la función `Zulu time`.
Por ejemplo, puedes organizar tus respuestas en una tabla como la que sigue:
| 3 Sorts | | | | | | |---------|---------------------------|---------------------------|-----------|------------|------------| | Num | Prueba | Result Alpha | Res. Beta | Res. Gamma | Res. Delta | | 1 | “alce”, “coyote”, “zorro” | “alce”, “coyote”, “zorro” | …. | …. | | | 2 | “alce”, “zorro”, “coyote” | “zorro”, “alce”, “coyote” | …. | …. | | | …. | …. | …. | …. | …. | …. |
Figura 10 - Tabla para organizar los resultados de las pruebas.
Puedes ver ejemplos de cómo organizar tus resultados aquí y aquí.
El proyecto testing
implementa varias versiones de cada una de las cuatro funciones simples que se decribieron en el Ejercicio 1. Algunas o todas las implementaciones pueden estar incorrectas. Tu tarea es, usando las pruebas que diseñaste en el Ejercicio 1, probar las versiones de cada función para determinar cuáles de ellas, si alguna, están implementadas correctamente.
Este ejercicio NO requiere programación, debes hacer las pruebas sin mirar el código.
Carga a Qt el proyecto Testing
haciendo doble “click” en el archivo Testing.pro
en el directorio Documents/eip/Testing
de tu computadora. También puedes ir a http://bitbucket.org/eip-uprrp/testing
para descargar la carpeta Testing
a tu computadora.
Configura el proyecto y corre el programa. Verás una pantalla similar a la siguiente:
![figure11.png](images/figure11.png)
**Figura 11** - Ventana para seleccionar la función que se va a probar.
Selecciona el botón de 3 Sorts
y obtendrás la interfaz de la Figura 5.
La “Version Alpha” en la caja indica que estás corriendo la primera versión del algoritmo 3 Sorts
. Usa las pruebas que escribiste en el Ejercicio 1 para validar la “Version Alpha”. Luego, haz lo mismo para las versiones Beta, Gamma y Delta. Escribe cuáles son las versiones correctas (si alguna) de la función y porqué. Recuerda que, para cada función, algunas o todas las implementaciones pueden estar incorrectas. Además, especifica cuáles pruebas te permitieron determinar las versiones que son incorrectas.
assert
para realizar pruebas unitariasHacer pruebas “a mano” cada vez que corres un programa es una tarea que resulta “cansona” bien rápido. En los ejercicios anteriores lo hiciste para unas pocas funciones simples. !Imagínate hacer lo mismo para un programa complejo completo como un buscador o un procesador de palabras!
Las pruebas unitarias ayudan a los programadores a validar códigos y simplificar el proceso de depuración (“debugging”) a la vez que evitan la tarea tediosa de hacer pruebas a mano en cada ejecución.
En el menú de QT, ve a Build
y selecciona Clean Project "Testing"
.
Carga a Qt el proyecto UnitTests
haciendo doble “click” en el archivo UnitTests.pro
en el directorio Documents/eip/Testing
de tu computadora. También puedes ir a http://bitbucket.org/eip-uprrp/testing
para descargar la carpeta Testing
a tu computadora.
El proyecto solo contiene el archivo de código fuente main.cpp
. Este archivo contiene cuatro funciones: fact
, isALetter
, isValidTime
, y gcd
, cuyos resultados son solo parcialmente correctos.
Estudia la descripción de cada una de las funciones que aparece como comentarios antes el código de la función para saber la tarea que se espera haga la función.
Tu tarea es escribir pruebas unitarias para cada una de las funciones para identificar los resultados erróneos. ** No necesitas reescribir las funciones para corregirlas. **
Para la función fact
se provee la función test_fact()
como función de prueba unitaria. Si invocas esta función desde main
, compilas y corres el programa debes obtener un mensaje como el siguiente:
`Assertion failed: (fact(2) == 2), function test_fact, file ../UnitTests/ main.cpp, line 69.`
Esto es suficiente para saber que la función fact
NO está correctamente implementada.
Nota que, al fallar la prueba anterior, el programa no continuó su ejecución. Para poder probar el código que escribirás, comenta la invocación de test_fact()
en main
.
Escribe una prueba unitaria llamada test_isALetter
para la función isALetter
. En la prueba unitaria escribe varias afirmaciones (“asserts”) para probar algunos datos de entrada y sus valores esperados (mira la función test_fact
para que te inspires). Invoca test_isALetter
desde main
y ejecuta tu programa. Si la función isALetter
pasa las pruebas que escribiste, continúa escribiendo “asserts” y ejecutando tu programa hasta que alguno de los asserts
falle.
Comenta la invocación de test_isALetter
en main
para que puedas continuar con las otras funciones.
Repite los pasos 5 y 6 paras las otras dos funciones, isValidTime
y gcd
. Recuerda que debes llamar a cada una de las funciones de prueba unitaria desde main
para que corran.
Utiliza “Entrega 1” en Moodle para entregar la tabla con las pruebas que diseñaste en el Ejercicio 1 y que completaste en el Ejercicio 2 con los resultados de las pruebas de las funciones.
Utiliza “Entrega 2” en Moodle para entregar el archivo main.cpp
que contiene las funciones test_isALetter
, test_isValidTime
, test_gcd
y sus invocaciones. Recuerda utilizar buenas prácticas de programación, incluir el nombre de los programadores y documentar tu programa.
[1] http://nifty.stanford.edu/2005/TestMe/
As you have learned in previous labs, getting a program to compile is only a minor part of programming. The compiler will tell you if there are syntactical errors, but it isn’t capable of detecting logical problems in your program. It’s very important to test the program’s functions to validate that they produce correct results.
These tests can be performed by hand, this is, running the program multiple times, providing representative inputs and visually checking that the program outputs correct results. A more convenient way is to implement functions in the program whose sole purpose is to validate that other functions are working correctly. In this lab you will be practicing both testing methods.
assert
function.Before you get to the laboratory you should have:
Reviewed the basic concepts related to testing and unit tests.
Reviewed how to use the assert
function to validate another function.
Studied the concepts and instructions for this laboratory session.
Taken the Pre-Lab quiz available in Moodle.
When we test a function’s validity we should test cases that activate the various results the function could return.
Example 1: if you were to validate the function isEven(unsigned int n)
that determines if a positive integer n is even, you should test the function using even and odd numbers. A set of tests for that function could be:
Test | Expected Result |
---|---|
isEven(8) |
true |
isEven(7) |
false |
Example 2: Suppose that a friend has created a function unsigned int ageRange(unsigned int age)
that is supposed to return 0 if the age is between 0 and 5 (inclusive), 1 if the age is between 6 and 18 inclusive, and 2 if the age is above 18. A common source of errors in functions like this one are the values near to the limits of each range, for example, the number 5 can cause errors if the programmer did not use a correct comparison. One good set of tests for the ageRange
function would be:
Test | Expected Result |
---|---|
ageRange(5) |
0 |
ageRange(2) |
0 |
ageRange(6) |
1 |
ageRange(18) |
1 |
ageRange(17) |
1 |
ageRange(19) |
2 |
ageRange(25) |
2 |
Assert
Function:The assert(bool expression)
function can be used as a rudimentary tool to validate functions. assert
has a very powerful yet simple functionality. If the expression that we place between the assert
parenthesis is true, the function allows the program to continue onto the next instruction. Otherwise, if the expression we place between the parenthesis is false, the assert
function causes the program to terminate and prints an error message on the terminal that informs the user about the assert
instruction that failed.
For example, the following program will run from start to finish without problems since every expression included in the assert’s parentheses evaluates to true.
#include <iostream>
#include <cassert>
using namespace std;
int main() {
int i = 10, j = 15;
assert(i == 10);
assert(j == i + 5);
assert(j != i);
assert( (j < i) == false);
cout << "That's all, folks!" << endl;
return 0;
}
Figure 1. Example of a program that passes all of the assert
tests.
The following program will not run to completion because the second assert
(assert(j == i);
) contains an expression (j==i
) that evaluates to false.
#include <iostream>
#include <cassert>
using namespace std;
int main() {
int i = 10, j = 15;
assert(i == 10);
assert(j == i);
assert(j != i);
assert( (j < i) == false);
cout << "That's all, folks!" << endl;
return 0;
}
Figure 2. Example of a program that does not pass an assert
test.
When the program is run, instead of getting the phrase ”That's all, folks!”
in the terminal, we will obtain something like:
Assertion failed: (j == i), function main, file ../program01/main.cpp, line 8.
The program will not execute the remaining instructions after line 8.
ageRange
. One way to do it is by implementing and calling a function that calls the ageRange
function with different arguments and verifies that each returned value is equal to the expected result. If the ageRange
function returns a value that is not expected, the testing function aborts the program and reports the test that failed. The following illustrates a function to test the ageRange
function. Observe that it consists of one assert per each of the tests we had listed earlier.void test_ageRange() {
assert(ageRange(5) == 0);
assert(ageRange(2) == 0);
assert(ageRange(6) == 1);
assert(ageRange(18) == 1);
assert(ageRange(17) == 1);
assert(ageRange(19) == 2);
assert(ageRange(25) == 2);
cout << "ageRange passed all tests!!!" << endl;
}
Figure 3. Example of a test function using assert
.
In this exercise you will practice how to design tests to validate functions, using only the function’s description and the graphical user interface that is used interact with the function.
The exercise DOES NOT require programming, it only requires that you understand the function’s description, and your ability to design tests. This exercise and Exercise 2 are an adaptation of the exercise in [1].
Example 3 Suppose that a friend provides you with a program. She makes sure the program solves the following problem:
"given three integers, it displays the max value".
Suppose that the program has an interface like the following:
Figure 4 - Interface for a program that finds the max value out of three integers.
You could determine if the program provides valid results without analyzing the source code. For example, you could try the following cases:
If one of these three cases does not have the expected result, your friend’s program does not work. On the other hand, if the three cases work, then the program has a high probability of being correct.
In this exercise you will be designing tests to validate various versions of the functions that are described below. Each one of the functions has four versions, “Alpha”, “Beta”, “Gamma” and “Delta”.
giraffe
, fox
, and coqui
, it would order them as: coqui
, fox
, and giraffe
. To simplify the exercise, we will be using strings with lowercase letters. Figure 5 shows the function’s interface. Notice there is a menu to select the implemented version.![figure5.png](images/figure5.png)
**Figure 5** - Interface for the `3 Sorts` function.
Roll them!
button, the program generates two random integers between 1 and 6. The program informs the sum of the two random numbers.![figure6.png](images/figure6.png)
**Figure 6** - Interface for the `Dice` function.
![figure7.jpg](images/figure7.jpg)
**Figure 7** - Ways to win in "Rock, paper, scissors".
![figure8.png](images/figure8.png)
**Figure 8** - Interface for the `Rock, Paper, Scissors` function.
Zulu time: Given a time in Zulu format (time at the Greenwich Meridian) and the military zone in which the user wants to know the time, the program shows the time in that zone. The format for the entry data is in the 24 hour format ####
, for example 2212
would be 10:12pm. The list of valid military zones can be found in http://en.wikipedia.org/wiki/List_of_military_time_zones. The following are examples of some valid results:
![figure9.png](images/figure9.png)
**Figure 9** - Interface for the `Zulu time` function.
For each of the functions described above, write in your notebook the tests that you will do to determine the validity of each implementation (Alpha, Beta, Gamma and Delta). For each function, think of the logical errors that the programmer could have made and write tests that determine if these errors were made. For each test, write the values that you will use and the expected result.
For example, you could organize your answers in a table like the following:
| 3 Sorts | | | | | | |---------|---------------------------|---------------------------|-----------|------------|------------| | Num | Test | Alpha Result | Beta Result | Gamma Result | Delta Result | | 1 | “deer”, “coyote”, “fox” | “coyote”, “deer”, “fox” | …. | …. | | | 2 | “deer”, “fox”, “coyote” | “fox”, “deer”, “coyote” | …. | …. | | | …. | …. | …. | …. | …. | …. |
Figure 10 - Table to organize the test results.
You can see examples of how to organize your results here and here.
The testing
project implements several versions of each of the four functions that were described in Exercise 1. Some or all of the implementations could be incorrect. Your task is, using the tests you designed in Exercise 1, to test the versions for each function to determine which of them, if any, are implemented correctly.
This exercise DOES NOT require programming, you should make the tests without looking at the code.
Load the Testing
project onto Qt by double clicking the Testing.pro
file in the Documents/eip/Testing
directory on your computer. You can also go to http://bitbucket.org/eip-uprrp/testing
to downloaded the Testing
folder on your computer.
Configure the project and run the program. You will see a window similar to the following:
![figure11.png](images/figure11.png)
**Figure 11** - Window to select the function that will be tested.
Select the button for 3 Sorts
and you will obtain the interface in Figure 5.
The “Alpha Version” in the box indicates that you’re running the first version of the 3 Sorts
algorithm. Use the tests that you wrote in Exercise 1 to validate the “Alpha Version”. Afterwards, do the same with the Beta, Gamma and Delta versions. Write down which are the correct versions of the function (if any), and why. Remember that, for each function, some or all of the implementations could be incorrect. Additionally, specify which tests allowed you to determine the incorrect versions.
assert
to make unit testsDoing tests by hand each time you run a program is a tiresome task. In the previous exercises you did it for a few simple functions. Imagine doing the same for a complex program like a search engine or a word processor.
Unit tests help programmers validate code and simplify the process of debugging while avoiding having to do these tests by hand in each execution.
In the Qt menu, go to Build
and select Clean Project "Testing"
.
Load the UnitTests
project onto Qt by double clicking the UnitTests.pro
file in the Documents/eip/Testing
directory on your computer. You can also go to http://bitbucket.org/eip-uprrp/testing
to download the Testing
folder on your computer.
The project only contains the source code file main.cpp
. This file contains four functions: fact
, isALetter
, isValidTime
, and gcd
, whose results are only partially correct.
Study the description of each function that appears as a comment before the function’s code to understand the task that the function is supposed to carry out.
Your task is to write unit tests for each of the functions to identify the erroneous results. You do not need to rewrite the functions to correct them.
For the fact
function, a test_fact()
is provided as a unit test function. If you invoke the function from main
, compile and run the program you should obtain a message like the following:
Assertion failed: (fact(2) == 2), function test_fact, file ../UnitTests/ main.cpp, line 69.
This is evidence enough to establish that the fact
function is NOT correctly implemented.
Notice that, by failing the previous test, the program did not continue its execution. To test the code you will write, comment the test_fact()
call in main
.
Write a unit test called test_isALetter
for the isALetter
function. Write various asserts in the unit test to try some data and its expected values (use the test_fact
function for inspiration). Invoke test_isALetter
from main
and execute your program. If the isALetter
function passes the test you wrote, continue writing asserts and executing the program until one of them fails.
Comment the test_isALetter
call in main
so you can continue with the other functions.
Repeat the steps in 5 and 6 for the other two functions, isValidTime
and gcd
. Remember that you should call each of the unit test functions from main
for them to run.
Use “Deliverables 1” in Moodle to hand in the table with the tests you designed in Exercise 1 and that you completed in Exercise 2 with the results from the function tests.
Use “Deliverables 2” in Moodle to hand in the main.cpp
file that contains the test_isALetter
, test_isValidTime
, test_gcd
functions and their calls. Remember to use good programming techniques, include the name of the programmers involved and document your program.