Browse Source

Splitted READMEs

root 8 years ago
parent
commit
dd6c8e3988
3 changed files with 712 additions and 712 deletions
  1. 352
    0
      README-en.md
  2. 358
    0
      README-es.md
  3. 2
    712
      README.md

+ 352
- 0
README-en.md View File

1
+
2
+#Testing and Unit Testing
3
+
4
+![](http://demo05.cloudimage.io/s/resize/215/i.imgur.com/D0laI5r.png)
5
+![](http://demo05.cloudimage.io/s/resize/215/i.imgur.com/ggDZ3TQ.png)
6
+![](http://demo05.cloudimage.io/s/resize/215/i.imgur.com/V6xFo00.png)
7
+
8
+
9
+
10
+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.
11
+
12
+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.
13
+
14
+
15
+##Objectives:
16
+
17
+1. Design tests to validate several programs “by-hand”, then use these tests to determine if the program works as expected. 
18
+2. Create unit tests to validate functions, using the `assert` function.
19
+
20
+
21
+##Pre-Lab:
22
+
23
+Before you get to the laboratory you should have:
24
+
25
+1. Reviewed the basic concepts related to testing and unit tests.
26
+
27
+2. Reviewed how to use the `assert` function to validate another function.
28
+
29
+3. Studied the concepts and instructions for this laboratory session.
30
+
31
+4. Taken the Pre-Lab quiz available in Moodle.
32
+
33
+---
34
+
35
+---
36
+
37
+## Testing a function
38
+
39
+When we test a function's validity we should test cases that activate the various results the function could return.
40
+
41
+---
42
+
43
+**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:
44
+
45
+
46
+|     Test     | Expected Result |
47
+|--------------|-----------------|
48
+| `isEven(8)`  | true            |
49
+| `isEven(7)`  | false           |
50
+
51
+---
52
+
53
+**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:
54
+
55
+|      Test      | Expected Result |
56
+|----------------|-----------------|
57
+| `ageRange(5)`  |               0 |
58
+| `ageRange(2)`  |               0 |
59
+| `ageRange(6)`  |               1 |
60
+| `ageRange(18)` |               1 |
61
+| `ageRange(17)` |               1 |
62
+| `ageRange(19)` |               2 |
63
+| `ageRange(25)` |               2 |
64
+
65
+---
66
+
67
+###`Assert` Function:
68
+
69
+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.
70
+
71
+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*.
72
+
73
+---
74
+
75
+```cpp
76
+#include <iostream>
77
+#include <cassert>
78
+using namespace std;
79
+
80
+int main() {
81
+   int i = 10, j = 15;
82
+   assert(i == 10);
83
+   assert(j == i + 5);
84
+   assert(j != i);
85
+   assert( (j < i) == false);
86
+   cout << "That's all, folks!" << endl;
87
+   return 0;
88
+}
89
+
90
+```
91
+
92
+**Figure 1.** Example of a program that passes all of the `assert` tests.
93
+
94
+---
95
+
96
+The following program will not run to completion because the second `assert` (`assert(j == i);`) contains an expression (`j==i`) that evaluates to *false*.
97
+
98
+---
99
+
100
+```cpp
101
+
102
+#include <iostream>
103
+#include <cassert>
104
+using namespace std;
105
+
106
+int main() {
107
+   int i = 10, j = 15;
108
+   assert(i == 10);
109
+   assert(j == i);
110
+   assert(j != i);
111
+   assert( (j < i) == false);
112
+   cout << "That's all, folks!" << endl;
113
+   return 0;
114
+}
115
+
116
+```
117
+
118
+**Figure 2.** Example of a program that does not pass an `assert` test.
119
+
120
+---
121
+
122
+When the program is run, instead of getting the phrase `”That's all, folks!”` in the terminal, we will obtain something like:
123
+
124
+`Assertion failed: (j == i), function main, file ../program01/main.cpp, line 8.`
125
+
126
+The program will not execute the remaining instructions after line 8.
127
+
128
+####How to use assert to validate functions?
129
+
130
+
131
+Suppose that  you want to automate the validation of the `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. 
132
+
133
+
134
+---
135
+
136
+```cpp
137
+void test_ageRange() {
138
+   assert(ageRange(5) == 0);
139
+   assert(ageRange(2) == 0);
140
+   assert(ageRange(6) == 1);
141
+   assert(ageRange(18) == 1);
142
+   assert(ageRange(17) == 1);
143
+   assert(ageRange(19) == 2);
144
+   assert(ageRange(25) == 2);
145
+   cout << "ageRange passed all tests!!!" << endl;
146
+}
147
+```
148
+
149
+**Figure 3.** Example of a test function using `assert`.
150
+
151
+
152
+
153
+---
154
+
155
+---
156
+
157
+!INCLUDE "../../eip-diagnostic/testing/en/diag-testing-01.html"
158
+
159
+!INCLUDE "../../eip-diagnostic/testing/en/diag-testing-02.html"
160
+
161
+---
162
+
163
+---
164
+
165
+
166
+##Laboratory Session:
167
+
168
+###Exercise 1: Designing tests by hand:
169
+
170
+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.
171
+
172
+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 activity described in [1].
173
+
174
+**Example 3** Suppose that a friend provides you with a program. She makes sure the program solves the following problem:
175
+
176
+`"given three integers, it displays the max value".`
177
+
178
+Suppose that the program has an interface like the following:
179
+
180
+---
181
+
182
+![figure4.png](images/figure4.png)
183
+
184
+**Figure 4** - Interface for a program that finds the max value out of three integers.
185
+
186
+---
187
+
188
+You could determine if the program provides valid results **without analyzing the source code**. For example, you could try the following cases:
189
+
190
+* a = 4, b = 2, c = 1; expected result: 4
191
+* a = 3, b = 6, c = 2; expected result: 6
192
+* a = 1, b = 10, c = 100; expected result: 100
193
+
194
+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.
195
+
196
+
197
+####Functions to validate
198
+
199
+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".
200
+
201
+* **3 Sorts:** a function that receives three strings and orders them in lexicographic (alphabetical) order. For example, given `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.
202
+
203
+  ---
204
+
205
+    ![figure5.png](images/figure5.png)
206
+
207
+    **Figure 5** - Interface for the `3 Sorts` function.
208
+
209
+  ---
210
+
211
+
212
+* **Dice:** when the user presses the `Roll them!` button, the program generates two random integers between 1 and 6. The program informs the sum of the two random integers.
213
+
214
+  ---
215
+
216
+    ![figure6.png](images/figure6.png)
217
+
218
+    **Figure 6** - Interface for the `Dice` function.
219
+
220
+  ---
221
+
222
+
223
+ * **Rock, Paper, Scissors:** each one of the players enters their play and the program informs who the winner is. Figure 7 shows the options where one object beats the other. The game's interface is shown in Figure 8.
224
+
225
+   ---
226
+
227
+    ![figure7.jpg](images/figure7.jpg)
228
+
229
+    **Figure 7** - Ways to win in "Rock, paper, scissors".
230
+
231
+  ---
232
+
233
+    ![figure8.png](images/figure8.png)
234
+
235
+    **Figure 8** - Interface for the `Rock, Paper, Scissors` function.
236
+
237
+  ---
238
+
239
+
240
+* **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:
241
+
242
+  * Given Zulu time 1230 and zone A (UTC+1), the result should be 1330.
243
+  * Given Zulu time 1230 and zone N (UTC-1), the result should be 1130.
244
+  * Puerto Rico is in military zone Q (UTC-4), therefore, when its 1800 in Zulu time, it's 1400 in Puerto Rico.
245
+
246
+  ---
247
+
248
+    ![figure9.png](images/figure9.png)
249
+
250
+    **Figure 9** - Interface for the `Zulu time` function.
251
+
252
+  ---
253
+
254
+
255
+####Instructions
256
+
257
+1. 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.
258
+
259
+    For example, you could organize your answers in a table like the following:
260
+
261
+
262
+  ---
263
+
264
+  | 3 Sorts |                           |                           |           |            |            |
265
+  |---------|---------------------------|---------------------------|-----------|------------|------------|
266
+  | Num     | Test                    | Alpha Result              | Beta Result | Gamma Result | Delta   Result |
267
+  | 1       | "deer", "coyote", "fox" | "coyote", "deer", "fox" | ....      | ....       |            |
268
+  | 2       | "deer", "fox", "coyote" | "fox", "deer", "coyote" | ....      | ....       |            |
269
+  | ....    | ....                      | ....                      | ....      | ....       | ....       |
270
+  
271
+  **Figure 10** - Table to organize the test results.
272
+
273
+  ---
274
+
275
+You can see examples of how to organize your results [here](http://i.imgur.com/ggDZ3TQ.png) and [here](http://i.imgur.com/rpApVqm.png).
276
+
277
+
278
+###Exercise 2: Doing tests “by hand”
279
+
280
+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.
281
+
282
+This exercise **DOES NOT require programming**, you should make the tests **without looking at the code.**
283
+
284
+####Instructions
285
+
286
+1. 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.
287
+
288
+2. Configure the project and run the program. You will see a window similar to the following:
289
+
290
+  ---
291
+
292
+    ![figure11.png](images/figure11.png)
293
+
294
+    **Figure 11** - Window to select the function that will be tested.
295
+
296
+  ---
297
+
298
+3. Select the button for `3 Sorts` and you will obtain the interface in Figure 5.
299
+
300
+4. 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.
301
+
302
+
303
+
304
+###Exercise 3: Using `assert` to make unit tests
305
+
306
+Doing 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.
307
+
308
+*Unit tests* help programmers validate code and simplify the process of debugging while avoiding having to do these tests by hand in each execution.
309
+
310
+####Instructions:
311
+
312
+1. In the QtCreator menu, go to `Build` and select `Clean Project "Testing"`. Then go to `File` and select `Close Project "Testing"`.
313
+
314
+2. Load the `UnitTests` project onto QtCreator by double clicking the `UnitTests.pro` file in the `Documents/eip/Testing` directory on your computer. If you downloaded the `Testing` directory in Exercise 2, the  `UnitTests` directory should be inside `Testing`.
315
+
316
+3. 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.
317
+
318
+    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.
319
+
320
+    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.**
321
+
322
+    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:
323
+
324
+     `Assertion failed: (fact(2) == 2), function test_fact, file ../UnitTests/ main.cpp, line 69.`
325
+
326
+     This is evidence enough to establish that the `fact` function is NOT correctly implemented.
327
+
328
+4. 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`.
329
+
330
+5. 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.
331
+
332
+6. Comment the `test_isALetter` call in `main` so you can continue with the other functions.
333
+
334
+7. 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.     
335
+
336
+---
337
+
338
+---
339
+
340
+##Deliverables
341
+
342
+1. 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.
343
+
344
+2. 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.
345
+
346
+---
347
+
348
+---
349
+
350
+## References
351
+
352
+[1] http://nifty.stanford.edu/2005/TestMe/

+ 358
- 0
README-es.md View File

1
+
2
+#Pruebas y pruebas unitarias
3
+
4
+![main1.png](images/main1.png)
5
+![main2.png](images/main2.png)
6
+![main3.png](images/main3.png)
7
+
8
+
9
+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 probar las funciones del programa para validar que producen los resultados correctos y esperados.
10
+
11
+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. Otra 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.
12
+
13
+##Objetivos:
14
+
15
+1. Validar el funcionamiento de varias funciones haciendo pruebas "a mano".
16
+2. Crear pruebas unitarias para validar funciones, utilizando la función `assert` 
17
+
18
+
19
+
20
+##Pre-Lab:
21
+
22
+Antes de llegar al laboratorio debes:
23
+
24
+1. Haber repasado los conceptos básicos relacionados a pruebas y pruebas unitarias.
25
+
26
+2. Haber repasado el uso de la función `assert` para hacer pruebas.
27
+
28
+3. Haber estudiado los conceptos e instrucciones para la sesión de laboratorio.
29
+
30
+4. Haber tomado el quiz Pre-Lab que se encuentra en Moodle.
31
+
32
+---
33
+
34
+---
35
+
36
+##Haciendo pruebas a una función. 
37
+
38
+Cuando probamos la validez de una función debemos probar casos que activen los diversos resultados de la función. 
39
+
40
+---
41
+
42
+**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:
43
+
44
+
45
+|   Prueba   | Resultado esperado |
46
+|------------|--------------------|
47
+| `esPar(8)` | true               |
48
+| `esPar(7)` | false                   |
49
+
50
+---
51
+
52
+**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:
53
+
54
+|      Prueba     | Resultado esperado |
55
+|-----------------|--------------------|
56
+| `rangoEdad(5)`  |                  0 |
57
+| `rangoEdad(2)`  |                  0 |
58
+| `rangoEdad(6)`  |                  1 |
59
+| `rangoEdad(18)` |                  1 |
60
+| `rangoEdad(17)` |                  1 |
61
+| `rangoEdad(19)` |                  2 |
62
+| `rangoEdad(25)` |                  2 |
63
+
64
+---
65
+
66
+###La función `assert`
67
+
68
+
69
+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ó. 
70
+
71
+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*.
72
+
73
+---
74
+
75
+```cpp
76
+#include <iostream>
77
+#include <cassert>
78
+using namespace std;
79
+
80
+int main() {
81
+   int i = 10, j = 15;
82
+   assert(i == 10);
83
+   assert(j == i + 5);
84
+   assert(j != i);
85
+   assert( (j < i) == false);
86
+   cout << "Eso es todo, amigos!" << endl;
87
+   return 0;
88
+}
89
+
90
+```
91
+
92
+**Figura 1.** Ejemplo de programa que pasa todas las pruebas de `assert`.
93
+
94
+---
95
+
96
+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*.
97
+
98
+---
99
+
100
+```cpp
101
+
102
+#include <iostream>
103
+#include <cassert>
104
+using namespace std;
105
+
106
+int main() {
107
+   int i = 10, j = 15;
108
+   assert(i == 10);
109
+   assert(j == i);
110
+   assert(j != i);
111
+   assert( (j < i) == false);
112
+   cout << "Eso es todo, amigos!" << endl;
113
+   return 0;
114
+}
115
+
116
+```
117
+
118
+**Figura 2.** Ejemplo de programa que no "pasa" una prueba de `assert`.
119
+
120
+---
121
+
122
+Al correr el pasado programa, en lugar de obtener la frase `”Eso es todo amigos!”` en el terminal, obtendremos un mensaje como el siguiente:
123
+
124
+`Assertion failed: (j == i), function main, file ../programa01/main.cpp, line 8.`
125
+
126
+El programa no ejecuta más instrucciones después de la línea 8.
127
+
128
+####¿Cómo usar assert para validar funciones?
129
+
130
+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.
131
+
132
+---
133
+
134
+```cpp
135
+void test_rangoEdad() {
136
+   assert(rangoEdad(5) == 0);
137
+   assert(rangoEdad(2) == 0);
138
+   assert(rangoEdad(6) == 1);
139
+   assert(rangoEdad(18) == 1);
140
+   assert(rangoEdad(17) == 1);
141
+   assert(rangoEdad(19) == 2);
142
+   assert(rangoEdad(25) == 2);
143
+   cout << "rangoEdad passed all tests!!!" << endl;
144
+}
145
+```
146
+
147
+**Figura 3.** Ejemplo de una función para pruebas usando `assert`.
148
+
149
+
150
+---
151
+
152
+---
153
+
154
+!INCLUDE "../../eip-diagnostic/testing/es/diag-testing-01.html"
155
+
156
+!INCLUDE "../../eip-diagnostic/testing/es/diag-testing-02.html"
157
+
158
+---
159
+
160
+---
161
+
162
+
163
+##Sesión de laboratorio:
164
+
165
+###Ejercicio 1: Diseñar pruebas "a mano"
166
+
167
+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 gráfico que se usa para interactuar con la función. 
168
+
169
+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 de la actividad descrita en [1].
170
+
171
+**Ejemplo 3.** Supón que una amiga te provee un programa. Ella asegura que el programa resuelve el siguiente problema: 
172
+
173
+`"dados tres enteros, despliega el valor máximo".` 
174
+
175
+Supón que el programa tienen una interfaz como la siguiente:
176
+
177
+---
178
+
179
+![figure4.png](images/figure4.png)
180
+
181
+**Figura 4** - Interfaz de un programa para hallar el valor máximo entre tres enteros.
182
+
183
+---
184
+
185
+Podrías determinar si el programa provee resultados válidos **sin analizar el código fuente**. Por ejemplo, podrías intentar los siguientes casos:
186
+
187
+* a = 4, b = 2, c = 1; resultado esperado: 4
188
+* a = 3, b = 6, c = 2; resultado esperado: 6
189
+* a = 1, b = 10, c = 100; resultado esperado: 100
190
+
191
+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.
192
+
193
+####Funciones para validar
194
+
195
+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".
196
+
197
+
198
+* **3 Sorts:** una función que recibe tres "strings" y los ordena en orden lexicográfico (alfabético). Por ejemplo, dados `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.
199
+
200
+  ---
201
+
202
+    ![figure5.png](images/figure5.png)
203
+
204
+    **Figura 5** - Interfaz de la función `3 Sorts`.
205
+
206
+  ---
207
+
208
+
209
+
210
+* **Dice:** cuando el usuario marca el botón `Roll them!`, el programa genera dos enteros aleatorios entre 1 y 6. El programa informa la suma de los enteros aleatorios. 
211
+
212
+  ---
213
+
214
+    ![figure6.png](images/figure6.png)
215
+
216
+    **Figura 6** - Interfaz de la función `Dice`.
217
+
218
+  ---
219
+
220
+* **Rock, Paper, Scissors:** cada uno de los jugadores entra su jugada y el programa informa quién ganó. La Figura 7 muestra las opciones en las que un objeto le gana a otro. La interfaz del juego se muestra en la  Figura 8.
221
+
222
+  ---
223
+
224
+    ![figure7.jpg](images/figure7.jpg)
225
+
226
+    **Figura 7** - Formas de ganar en el juego "Piedra, papel y tijera".
227
+
228
+  ---
229
+
230
+    ![figure8.png](images/figure8.png)
231
+
232
+    **Figura 8** - Interfaz de la función `Rock, Paper, Scissors`.
233
+
234
+  ---
235
+
236
+
237
+* **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. Puedes encontrar la lista de zonas militares válidas 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:
238
+
239
+  * Dada hora Zulu 1230 y zona A (UTC+1), el resultado debe ser 1330.
240
+  * Dada hora Zulu 1230 y zona N (UTC-1), el resultado debe ser 1130.
241
+  * Puerto Rico está en la zona militar Q (UTC-4), por lo tanto, cuando es 1800 en hora Zulu, son las 1400 en Puerto Rico.
242
+  
243
+  ---
244
+
245
+    ![figure9.png](images/figure9.png)
246
+
247
+    **Figura 9** - Interfaz de la función `Zulu time`.
248
+
249
+  ---
250
+
251
+####Instrucciones
252
+
253
+1. Para cada una de las funciones descritas arriba, escribe en tu libreta las pruebas que harás para determinar la validez de cada implementación (Alpha, Beta, Gamma y Delta). Para cada función, piensa en los errores lógicos que el programador pudo haber cometido y escribe pruebas que determinen si se cometió ese error. Para cada prueba, escribe los valores que utilizarás y el resultado que esperas obtener.
254
+
255
+  Por ejemplo, puedes organizar tus respuestas en una tabla como la que sigue:
256
+
257
+  ---
258
+
259
+
260
+  | 3 Sorts |                           |                           |           |            |            |
261
+  |---------|---------------------------|---------------------------|-----------|------------|------------|
262
+  | Num     | Prueba                    | Result Alpha              | Res. Beta | Res. Gamma | Res. Delta |
263
+  | 1       | "alce", "coyote", "zorro" | "alce", "coyote", "zorro" | ....      | ....       |            |
264
+  | 2       | "alce", "zorro", "coyote" | "zorro", "alce", "coyote" | ....      | ....       |            |
265
+  | ....    | ....                      | ....                      | ....      | ....       | ....       |
266
+
267
+  **Figura 10** - Tabla para organizar los resultados de las pruebas.
268
+
269
+  ---
270
+
271
+  Puedes ver ejemplos de cómo organizar tus resultados [aquí](http://i.imgur.com/ggDZ3TQ.png) y [aquí](http://i.imgur.com/rpApVqm.png). 
272
+
273
+
274
+
275
+###Ejercicio 2: Hacer pruebas "a mano"
276
+
277
+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.
278
+
279
+Este ejercicio **NO requiere programación**, debes hacer las pruebas **sin mirar el código.**
280
+
281
+####Instrucciones
282
+
283
+1. 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.
284
+
285
+2. Configura el proyecto y corre el programa. Verás una pantalla similar a la siguiente:
286
+  
287
+  ---
288
+
289
+    ![figure11.png](images/figure11.png)
290
+
291
+    **Figura 11** - Ventana para seleccionar la función que se va a probar.
292
+
293
+  ---
294
+
295
+3. Selecciona el botón de `3 Sorts` y obtendrás la interfaz de la Figura 5.
296
+
297
+4. 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.
298
+
299
+
300
+
301
+###Ejercicio 3: Usar `assert` para realizar pruebas unitarias
302
+
303
+Hacer 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 navegador o un procesador de palabras!
304
+
305
+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.
306
+
307
+####Instrucciones:
308
+
309
+1. En el menú de QtCreator, ve a `Build` y selecciona `Clean Project "Testing"`. Luego ve a `File` y selecciona `Close Project "Testing"`.
310
+
311
+2. Carga a QtCreator el proyecto `UnitTests` haciendo doble "click" en el archivo `UnitTests.pro` en el directorio `Documents/eip/Testing/UnitTests` de tu computadora. Si descargaste el directorio `Testing` a tu computadora durante el ejercicio 2, el directorio `UnitTests` estará bajo ese directorio.
312
+
313
+3. 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. 
314
+
315
+  Estudia la documentación de cada función (los comentarios que aparecen previo a cada función) para que comprendas la tarea que se espera que haga cada función.
316
+
317
+  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. **
318
+
319
+  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:
320
+
321
+    `Assertion failed: (fact(2) == 2), function test_fact, file ../UnitTests/ main.cpp, line 69.`
322
+
323
+  Esto es suficiente para saber que la función `fact` NO está correctamente implementada. 
324
+
325
+4. 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`.
326
+
327
+5. 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. 
328
+
329
+6. Comenta la invocación de `test_isALetter` en `main` para que puedas continuar con las otras funciones.
330
+
331
+7. 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. 
332
+
333
+---
334
+
335
+---
336
+
337
+##Entregas
338
+
339
+1. 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.
340
+
341
+2. 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.
342
+
343
+---
344
+
345
+---
346
+
347
+## Referencias
348
+
349
+[1] http://nifty.stanford.edu/2005/TestMe/
350
+
351
+---
352
+
353
+---
354
+
355
+---
356
+
357
+
358
+

+ 2
- 712
README.md View File

1
-[English](#markdown-header-testing-and-unit-testing) | [Español](#markdown-header-pruebas-y-pruebas-unitarias)
2
-
3
-#Pruebas y pruebas unitarias
4
-
5
-![main1.png](images/main1.png)
6
-![main2.png](images/main2.png)
7
-![main3.png](images/main3.png)
8
-
9
-
10
-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 probar las funciones del programa para validar que producen los resultados correctos y esperados.
11
-
12
-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. Otra 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.
13
-
14
-##Objetivos:
15
-
16
-1. Validar el funcionamiento de varias funciones haciendo pruebas "a mano".
17
-2. Crear pruebas unitarias para validar funciones, utilizando la función `assert` 
18
-
19
-
20
-
21
-##Pre-Lab:
22
-
23
-Antes de llegar al laboratorio debes:
24
-
25
-1. Haber repasado los conceptos básicos relacionados a pruebas y pruebas unitarias.
26
-
27
-2. Haber repasado el uso de la función `assert` para hacer pruebas.
28
-
29
-3. Haber estudiado los conceptos e instrucciones para la sesión de laboratorio.
30
-
31
-4. Haber tomado el quiz Pre-Lab que se encuentra en Moodle.
32
-
33
----
34
-
35
----
36
-
37
-##Haciendo pruebas a una función. 
38
-
39
-Cuando probamos la validez de una función debemos probar casos que activen los diversos resultados de la función. 
40
-
41
----
42
-
43
-**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:
44
-
45
-
46
-|   Prueba   | Resultado esperado |
47
-|------------|--------------------|
48
-| `esPar(8)` | true               |
49
-| `esPar(7)` | false                   |
50
-
51
----
52
-
53
-**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:
54
-
55
-|      Prueba     | Resultado esperado |
56
-|-----------------|--------------------|
57
-| `rangoEdad(5)`  |                  0 |
58
-| `rangoEdad(2)`  |                  0 |
59
-| `rangoEdad(6)`  |                  1 |
60
-| `rangoEdad(18)` |                  1 |
61
-| `rangoEdad(17)` |                  1 |
62
-| `rangoEdad(19)` |                  2 |
63
-| `rangoEdad(25)` |                  2 |
64
-
65
----
66
-
67
-###La función `assert`
68
-
69
-
70
-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ó. 
71
-
72
-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*.
73
-
74
----
75
-
76
-```cpp
77
-#include <iostream>
78
-#include <cassert>
79
-using namespace std;
80
-
81
-int main() {
82
-   int i = 10, j = 15;
83
-   assert(i == 10);
84
-   assert(j == i + 5);
85
-   assert(j != i);
86
-   assert( (j < i) == false);
87
-   cout << "Eso es todo, amigos!" << endl;
88
-   return 0;
89
-}
90
-
91
-```
92
-
93
-**Figura 1.** Ejemplo de programa que pasa todas las pruebas de `assert`.
94
-
95
----
96
-
97
-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*.
98
-
99
----
100
-
101
-```cpp
102
-
103
-#include <iostream>
104
-#include <cassert>
105
-using namespace std;
106
-
107
-int main() {
108
-   int i = 10, j = 15;
109
-   assert(i == 10);
110
-   assert(j == i);
111
-   assert(j != i);
112
-   assert( (j < i) == false);
113
-   cout << "Eso es todo, amigos!" << endl;
114
-   return 0;
115
-}
116
-
117
-```
118
-
119
-**Figura 2.** Ejemplo de programa que no "pasa" una prueba de `assert`.
120
-
121
----
122
-
123
-Al correr el pasado programa, en lugar de obtener la frase `”Eso es todo amigos!”` en el terminal, obtendremos un mensaje como el siguiente:
124
-
125
-`Assertion failed: (j == i), function main, file ../programa01/main.cpp, line 8.`
126
-
127
-El programa no ejecuta más instrucciones después de la línea 8.
128
-
129
-####¿Cómo usar assert para validar funciones?
130
-
131
-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.
132
-
133
----
134
-
135
-```cpp
136
-void test_rangoEdad() {
137
-   assert(rangoEdad(5) == 0);
138
-   assert(rangoEdad(2) == 0);
139
-   assert(rangoEdad(6) == 1);
140
-   assert(rangoEdad(18) == 1);
141
-   assert(rangoEdad(17) == 1);
142
-   assert(rangoEdad(19) == 2);
143
-   assert(rangoEdad(25) == 2);
144
-   cout << "rangoEdad passed all tests!!!" << endl;
145
-}
146
-```
147
-
148
-**Figura 3.** Ejemplo de una función para pruebas usando `assert`.
149
-
150
-
151
----
152
-
153
----
154
-
155
-!INCLUDE "../../eip-diagnostic/testing/es/diag-testing-01.html"
156
-
157
-!INCLUDE "../../eip-diagnostic/testing/es/diag-testing-02.html"
158
-
159
----
160
-
161
----
162
-
163
-
164
-##Sesión de laboratorio:
165
-
166
-###Ejercicio 1: Diseñar pruebas "a mano"
167
-
168
-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 gráfico que se usa para interactuar con la función. 
169
-
170
-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 de la actividad descrita en [1].
171
-
172
-**Ejemplo 3.** Supón que una amiga te provee un programa. Ella asegura que el programa resuelve el siguiente problema: 
173
-
174
-`"dados tres enteros, despliega el valor máximo".` 
175
-
176
-Supón que el programa tienen una interfaz como la siguiente:
177
-
178
----
179
-
180
-![figure4.png](images/figure4.png)
181
-
182
-**Figura 4** - Interfaz de un programa para hallar el valor máximo entre tres enteros.
183
-
184
----
185
-
186
-Podrías determinar si el programa provee resultados válidos **sin analizar el código fuente**. Por ejemplo, podrías intentar los siguientes casos:
187
-
188
-* a = 4, b = 2, c = 1; resultado esperado: 4
189
-* a = 3, b = 6, c = 2; resultado esperado: 6
190
-* a = 1, b = 10, c = 100; resultado esperado: 100
191
-
192
-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.
193
-
194
-####Funciones para validar
195
-
196
-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".
197
-
198
-
199
-* **3 Sorts:** una función que recibe tres "strings" y los ordena en orden lexicográfico (alfabético). Por ejemplo, dados `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.
200
-
201
-  ---
202
-
203
-    ![figure5.png](images/figure5.png)
204
-
205
-    **Figura 5** - Interfaz de la función `3 Sorts`.
206
-
207
-  ---
208
-
209
-
210
-
211
-* **Dice:** cuando el usuario marca el botón `Roll them!`, el programa genera dos enteros aleatorios entre 1 y 6. El programa informa la suma de los enteros aleatorios. 
212
-
213
-  ---
214
-
215
-    ![figure6.png](images/figure6.png)
216
-
217
-    **Figura 6** - Interfaz de la función `Dice`.
218
-
219
-  ---
220
-
221
-* **Rock, Paper, Scissors:** cada uno de los jugadores entra su jugada y el programa informa quién ganó. La Figura 7 muestra las opciones en las que un objeto le gana a otro. La interfaz del juego se muestra en la  Figura 8.
222
-
223
-  ---
224
-
225
-    ![figure7.jpg](images/figure7.jpg)
226
-
227
-    **Figura 7** - Formas de ganar en el juego "Piedra, papel y tijera".
228
-
229
-  ---
230
-
231
-    ![figure8.png](images/figure8.png)
232
-
233
-    **Figura 8** - Interfaz de la función `Rock, Paper, Scissors`.
234
-
235
-  ---
236
-
237
-
238
-* **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. Puedes encontrar la lista de zonas militares válidas 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:
239
-
240
-  * Dada hora Zulu 1230 y zona A (UTC+1), el resultado debe ser 1330.
241
-  * Dada hora Zulu 1230 y zona N (UTC-1), el resultado debe ser 1130.
242
-  * Puerto Rico está en la zona militar Q (UTC-4), por lo tanto, cuando es 1800 en hora Zulu, son las 1400 en Puerto Rico.
243
-  
244
-  ---
245
-
246
-    ![figure9.png](images/figure9.png)
247
-
248
-    **Figura 9** - Interfaz de la función `Zulu time`.
249
-
250
-  ---
251
-
252
-####Instrucciones
253
-
254
-1. Para cada una de las funciones descritas arriba, escribe en tu libreta las pruebas que harás para determinar la validez de cada implementación (Alpha, Beta, Gamma y Delta). Para cada función, piensa en los errores lógicos que el programador pudo haber cometido y escribe pruebas que determinen si se cometió ese error. Para cada prueba, escribe los valores que utilizarás y el resultado que esperas obtener.
255
-
256
-  Por ejemplo, puedes organizar tus respuestas en una tabla como la que sigue:
257
-
258
-  ---
259
-
260
-
261
-  | 3 Sorts |                           |                           |           |            |            |
262
-  |---------|---------------------------|---------------------------|-----------|------------|------------|
263
-  | Num     | Prueba                    | Result Alpha              | Res. Beta | Res. Gamma | Res. Delta |
264
-  | 1       | "alce", "coyote", "zorro" | "alce", "coyote", "zorro" | ....      | ....       |            |
265
-  | 2       | "alce", "zorro", "coyote" | "zorro", "alce", "coyote" | ....      | ....       |            |
266
-  | ....    | ....                      | ....                      | ....      | ....       | ....       |
267
-
268
-  **Figura 10** - Tabla para organizar los resultados de las pruebas.
269
-
270
-  ---
271
-
272
-  Puedes ver ejemplos de cómo organizar tus resultados [aquí](http://i.imgur.com/ggDZ3TQ.png) y [aquí](http://i.imgur.com/rpApVqm.png). 
273
-
274
-
275
-
276
-###Ejercicio 2: Hacer pruebas "a mano"
277
-
278
-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.
279
-
280
-Este ejercicio **NO requiere programación**, debes hacer las pruebas **sin mirar el código.**
281
-
282
-####Instrucciones
283
-
284
-1. 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.
285
-
286
-2. Configura el proyecto y corre el programa. Verás una pantalla similar a la siguiente:
287
-  
288
-  ---
289
-
290
-    ![figure11.png](images/figure11.png)
291
-
292
-    **Figura 11** - Ventana para seleccionar la función que se va a probar.
293
-
294
-  ---
295
-
296
-3. Selecciona el botón de `3 Sorts` y obtendrás la interfaz de la Figura 5.
297
-
298
-4. 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.
299
-
300
-
301
-
302
-###Ejercicio 3: Usar `assert` para realizar pruebas unitarias
303
-
304
-Hacer 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 navegador o un procesador de palabras!
305
-
306
-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.
307
-
308
-####Instrucciones:
309
-
310
-1. En el menú de QtCreator, ve a `Build` y selecciona `Clean Project "Testing"`. Luego ve a `File` y selecciona `Close Project "Testing"`.
311
-
312
-2. Carga a QtCreator el proyecto `UnitTests` haciendo doble "click" en el archivo `UnitTests.pro` en el directorio `Documents/eip/Testing/UnitTests` de tu computadora. Si descargaste el directorio `Testing` a tu computadora durante el ejercicio 2, el directorio `UnitTests` estará bajo ese directorio.
313
-
314
-3. 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. 
315
-
316
-  Estudia la documentación de cada función (los comentarios que aparecen previo a cada función) para que comprendas la tarea que se espera que haga cada función.
317
-
318
-  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. **
319
-
320
-  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:
321
-
322
-    `Assertion failed: (fact(2) == 2), function test_fact, file ../UnitTests/ main.cpp, line 69.`
323
-
324
-  Esto es suficiente para saber que la función `fact` NO está correctamente implementada. 
325
-
326
-4. 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`.
327
-
328
-5. 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. 
329
-
330
-6. Comenta la invocación de `test_isALetter` en `main` para que puedas continuar con las otras funciones.
331
-
332
-7. 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. 
333
-
334
----
335
-
336
----
337
-
338
-##Entregas
339
-
340
-1. 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.
341
-
342
-2. 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.
343
-
344
----
345
-
346
----
347
-
348
-## Referencias
349
-
350
-[1] http://nifty.stanford.edu/2005/TestMe/
351
-
352
----
353
-
354
----
355
-
356
----
357
-
358
-
359
-
360
-[English](#markdown-header-testing-and-unit-testing) | [Español](#markdown-header-pruebas-y-pruebas-unitarias)
361
-
362
-#Testing and Unit Testing
363
-
364
-![](http://demo05.cloudimage.io/s/resize/215/i.imgur.com/D0laI5r.png)
365
-![](http://demo05.cloudimage.io/s/resize/215/i.imgur.com/ggDZ3TQ.png)
366
-![](http://demo05.cloudimage.io/s/resize/215/i.imgur.com/V6xFo00.png)
367
-
368
-
369
-
370
-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.
371
-
372
-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.
373
-
374
-
375
-##Objectives:
376
-
377
-1. Design tests to validate several programs “by-hand”, then use these tests to determine if the program works as expected. 
378
-2. Create unit tests to validate functions, using the `assert` function.
379
-
380
-
381
-##Pre-Lab:
382
-
383
-Before you get to the laboratory you should have:
384
-
385
-1. Reviewed the basic concepts related to testing and unit tests.
386
-
387
-2. Reviewed how to use the `assert` function to validate another function.
388
-
389
-3. Studied the concepts and instructions for this laboratory session.
390
-
391
-4. Taken the Pre-Lab quiz available in Moodle.
392
-
393
----
394
-
395
----
396
-
397
-## Testing a function
398
-
399
-When we test a function's validity we should test cases that activate the various results the function could return.
400
-
401
----
402
-
403
-**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:
404
-
405
-
406
-|     Test     | Expected Result |
407
-|--------------|-----------------|
408
-| `isEven(8)`  | true            |
409
-| `isEven(7)`  | false           |
410
-
411
----
412
-
413
-**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:
414
-
415
-|      Test      | Expected Result |
416
-|----------------|-----------------|
417
-| `ageRange(5)`  |               0 |
418
-| `ageRange(2)`  |               0 |
419
-| `ageRange(6)`  |               1 |
420
-| `ageRange(18)` |               1 |
421
-| `ageRange(17)` |               1 |
422
-| `ageRange(19)` |               2 |
423
-| `ageRange(25)` |               2 |
424
-
425
----
426
-
427
-###`Assert` Function:
428
-
429
-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.
430
-
431
-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*.
432
-
433
----
434
-
435
-```cpp
436
-#include <iostream>
437
-#include <cassert>
438
-using namespace std;
439
-
440
-int main() {
441
-   int i = 10, j = 15;
442
-   assert(i == 10);
443
-   assert(j == i + 5);
444
-   assert(j != i);
445
-   assert( (j < i) == false);
446
-   cout << "That's all, folks!" << endl;
447
-   return 0;
448
-}
449
-
450
-```
451
-
452
-**Figure 1.** Example of a program that passes all of the `assert` tests.
453
-
454
----
455
-
456
-The following program will not run to completion because the second `assert` (`assert(j == i);`) contains an expression (`j==i`) that evaluates to *false*.
457
-
458
----
459
-
460
-```cpp
461
-
462
-#include <iostream>
463
-#include <cassert>
464
-using namespace std;
465
-
466
-int main() {
467
-   int i = 10, j = 15;
468
-   assert(i == 10);
469
-   assert(j == i);
470
-   assert(j != i);
471
-   assert( (j < i) == false);
472
-   cout << "That's all, folks!" << endl;
473
-   return 0;
474
-}
475
-
476
-```
477
-
478
-**Figure 2.** Example of a program that does not pass an `assert` test.
479
-
480
----
481
-
482
-When the program is run, instead of getting the phrase `”That's all, folks!”` in the terminal, we will obtain something like:
483
-
484
-`Assertion failed: (j == i), function main, file ../program01/main.cpp, line 8.`
485
-
486
-The program will not execute the remaining instructions after line 8.
487
-
488
-####How to use assert to validate functions?
489
-
490
-
491
-Suppose that  you want to automate the validation of the `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. 
492
-
493
-
494
----
495
-
496
-```cpp
497
-void test_ageRange() {
498
-   assert(ageRange(5) == 0);
499
-   assert(ageRange(2) == 0);
500
-   assert(ageRange(6) == 1);
501
-   assert(ageRange(18) == 1);
502
-   assert(ageRange(17) == 1);
503
-   assert(ageRange(19) == 2);
504
-   assert(ageRange(25) == 2);
505
-   cout << "ageRange passed all tests!!!" << endl;
506
-}
507
-```
508
-
509
-**Figure 3.** Example of a test function using `assert`.
510
-
511
-
512
-
513
----
514
-
515
----
516
-
517
-!INCLUDE "../../eip-diagnostic/testing/en/diag-testing-01.html"
518
-
519
-!INCLUDE "../../eip-diagnostic/testing/en/diag-testing-02.html"
520
-
521
----
522
-
523
----
524
-
525
-
526
-##Laboratory Session:
527
-
528
-###Exercise 1: Designing tests by hand:
529
-
530
-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.
531
-
532
-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 activity described in [1].
533
-
534
-**Example 3** Suppose that a friend provides you with a program. She makes sure the program solves the following problem:
535
-
536
-`"given three integers, it displays the max value".`
537
-
538
-Suppose that the program has an interface like the following:
539
-
540
----
541
-
542
-![figure4.png](images/figure4.png)
543
-
544
-**Figure 4** - Interface for a program that finds the max value out of three integers.
545
-
546
----
547
-
548
-You could determine if the program provides valid results **without analyzing the source code**. For example, you could try the following cases:
549
-
550
-* a = 4, b = 2, c = 1; expected result: 4
551
-* a = 3, b = 6, c = 2; expected result: 6
552
-* a = 1, b = 10, c = 100; expected result: 100
553
-
554
-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.
555
-
556
-
557
-####Functions to validate
558
-
559
-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".
560
-
561
-* **3 Sorts:** a function that receives three strings and orders them in lexicographic (alphabetical) order. For example, given `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.
562
-
563
-  ---
564
-
565
-    ![figure5.png](images/figure5.png)
566
-
567
-    **Figure 5** - Interface for the `3 Sorts` function.
568
-
569
-  ---
570
-
571
-
572
-* **Dice:** when the user presses the `Roll them!` button, the program generates two random integers between 1 and 6. The program informs the sum of the two random integers.
573
-
574
-  ---
575
-
576
-    ![figure6.png](images/figure6.png)
577
-
578
-    **Figure 6** - Interface for the `Dice` function.
579
-
580
-  ---
581
-
582
-
583
- * **Rock, Paper, Scissors:** each one of the players enters their play and the program informs who the winner is. Figure 7 shows the options where one object beats the other. The game's interface is shown in Figure 8.
584
-
585
-   ---
586
-
587
-    ![figure7.jpg](images/figure7.jpg)
588
-
589
-    **Figure 7** - Ways to win in "Rock, paper, scissors".
590
-
591
-  ---
592
-
593
-    ![figure8.png](images/figure8.png)
594
-
595
-    **Figure 8** - Interface for the `Rock, Paper, Scissors` function.
596
-
597
-  ---
598
-
599
-
600
-* **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:
601
-
602
-  * Given Zulu time 1230 and zone A (UTC+1), the result should be 1330.
603
-  * Given Zulu time 1230 and zone N (UTC-1), the result should be 1130.
604
-  * Puerto Rico is in military zone Q (UTC-4), therefore, when its 1800 in Zulu time, it's 1400 in Puerto Rico.
605
-
606
-  ---
607
-
608
-    ![figure9.png](images/figure9.png)
609
-
610
-    **Figure 9** - Interface for the `Zulu time` function.
611
-
612
-  ---
613
-
614
-
615
-####Instructions
616
-
617
-1. 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.
618
-
619
-    For example, you could organize your answers in a table like the following:
620
-
621
-
622
-  ---
623
-
624
-  | 3 Sorts |                           |                           |           |            |            |
625
-  |---------|---------------------------|---------------------------|-----------|------------|------------|
626
-  | Num     | Test                    | Alpha Result              | Beta Result | Gamma Result | Delta   Result |
627
-  | 1       | "deer", "coyote", "fox" | "coyote", "deer", "fox" | ....      | ....       |            |
628
-  | 2       | "deer", "fox", "coyote" | "fox", "deer", "coyote" | ....      | ....       |            |
629
-  | ....    | ....                      | ....                      | ....      | ....       | ....       |
630
-  
631
-  **Figure 10** - Table to organize the test results.
632
-
633
-  ---
634
-
635
-You can see examples of how to organize your results [here](http://i.imgur.com/ggDZ3TQ.png) and [here](http://i.imgur.com/rpApVqm.png).
636
-
637
-
638
-###Exercise 2: Doing tests “by hand”
639
-
640
-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.
641
-
642
-This exercise **DOES NOT require programming**, you should make the tests **without looking at the code.**
643
-
644
-####Instructions
645
-
646
-1. 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.
647
-
648
-2. Configure the project and run the program. You will see a window similar to the following:
649
-
650
-  ---
651
-
652
-    ![figure11.png](images/figure11.png)
653
-
654
-    **Figure 11** - Window to select the function that will be tested.
655
-
656
-  ---
657
-
658
-3. Select the button for `3 Sorts` and you will obtain the interface in Figure 5.
659
-
660
-4. 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.
661
-
662
-
663
-
664
-###Exercise 3: Using `assert` to make unit tests
665
-
666
-Doing 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.
667
-
668
-*Unit tests* help programmers validate code and simplify the process of debugging while avoiding having to do these tests by hand in each execution.
669
-
670
-####Instructions:
671
-
672
-1. In the QtCreator menu, go to `Build` and select `Clean Project "Testing"`. Then go to `File` and select `Close Project "Testing"`.
673
-
674
-2. Load the `UnitTests` project onto QtCreator by double clicking the `UnitTests.pro` file in the `Documents/eip/Testing` directory on your computer. If you downloaded the `Testing` directory in Exercise 2, the  `UnitTests` directory should be inside `Testing`.
675
-
676
-3. 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.
677
-
678
-    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.
679
-
680
-    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.**
681
-
682
-    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:
683
-
684
-     `Assertion failed: (fact(2) == 2), function test_fact, file ../UnitTests/ main.cpp, line 69.`
685
-
686
-     This is evidence enough to establish that the `fact` function is NOT correctly implemented.
687
-
688
-4. 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`.
689
-
690
-5. 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.
691
-
692
-6. Comment the `test_isALetter` call in `main` so you can continue with the other functions.
693
-
694
-7. 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.     
695
-
696
----
697
-
698
----
699
-
700
-##Deliverables
701
-
702
-1. 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.
703
-
704
-2. 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.
705
-
706
----
707
-
708
----
709
-
710
-## References
711
-
712
-[1] http://nifty.stanford.edu/2005/TestMe/
1
+## [\[English\]](README-en.md) - for README in English
2
+## [\[Spanish\]](README-es.md) - for README in Spanish