Pruebas. Una introducción práctica. Javier Gutiérrez sirve de algo? Ariane segundos después explotó.

Transcripción

1 Pruebas Una introducción práctica. Javier Gutiérrez Probar sirve de algo? Ariane 5. Lanzado por primera vez el 4 de junio de Ariane segundos después explotó. Motivo: Fallo software. La programación no se había probado lo suficiente. 1

2 y qué es una prueba?. Verificación dinámica del comportamiento del software a partir de un conjunto finito de casos de prueba. y esto qué significa?. Para probar un programa tenemos que ejecutarlo. Verificación dinámica del comportamiento del software a partir de un conjunto finito de casos de prueba. La prueba tiene un límite. No vale ejecutar el programa de cualquier manera. 2

3 y qué es un caso de prueba?. Valores de entrada. Probar es ejecutar un programa con unos cuantos casos de prueba. Acciones. Resultado esperado. Ejemplos de casos de prueba Funciona el teléfono?. Valores de prueba Acciones 1. Descolgar auricular. 2. Marcar número de Pepote. 3. Esperar contestación. Resultado esperado (Pepote): Digameee Digameee. Me está bien esta camisa? Valores de prueba Mi cuerpo. Acciones 1. Ponerme la camisa. 2. Abrochármela. 3. Moverme un poco. 4. Mirarme al espejo. Cuidado con la etiqueta o con arrugarla por si hay que devolverla Resultado esperado Elegancia y confort. 3

4 Un ejemplo public int suma(int a, int b) { return a + b; Qué casos de prueba podemos escribir?. Valores de prueba??? Acciones Resultado esperado??? Los casos de prueba son finitos (y cuantos menos, mejor). Un ejemplo public int suma(int a, int b) { return a + b; Qué casos de prueba podemos escribir?. Valores de prueba 0, 0 0, b = no 0 3, 4-2, -8-3, 6 Integer.MAX_ VALUE,, 6 Acciones Resultado esperado 0 b Y algunas permutaciones más. 4

5 Por qué he elegido esos casos de prueba?. 5 valores = 25 casos de prueba. Otro ejemplo I. public static void Intercambia(List l1, List l2) { Object b1=null; Object aux=null; Collections.sort(l1); Collections.sort(l2); ListIterator i1=l1.listiterator(); while (i1.hasnext()) { b1=i1.next(); int pos=collections.binarysearch(l2,b1); 1 if (pos<0) { if (i1.hasnext()){ aux=i1.next(); if (b1.equals(aux)) { 2 i1.remove(); l2.add(b1); Collections.sort(l2); Quita un elemento de la lista l1 y lo pone en la lista l2 si: 1. No está en l2. 2. Está repetido en l1. Entrada: l1 = {3, 4, 1, 2, 3, 1 l2 = {3, 4, 2, 6, 4 Salida: l1 = {1, 2, 3, 3 4 l2 = {1, 2, 3, 4, 4, 6 Veamos algunos casos De prueba. 5

6 Otro ejemplo II. Valores de prueba l1 = null o l2 = null l1 = { y l2 = * l1 = {1, 2, 3 y l2 = {4, 5, 6 l1 = {1, 3, 2, 3 y l2 = {4, 5, 6 l1 = {1, 3, 2, 3, 1, 2 l2 = {1, 2, 3, 4, 5, 6 Acciones Intercambia(l1, l2) Resultado esperado Falla!!! (Null PointerException) L2 ordenada l1 = {1, 2, 3 y l2 = {4, 5, 6 l1 = {1, 2, 3 y l2 = {3, 4, 5, 6 l1 = {1, 1, 2, 2, 3, 3 l2 = {1, 2, 3, 4, 5, 6 * Significa una lista con cualesquiera valores. Estos casos de prueba (y sus permutaciones) garantizan que el método funciona bien en cualquier circunstancia? Otro ejemplo III. Valores de prueba l1 = {1, 2, 2, 3 y l2 = {4, 5, 6 l1 = {1, 1, 2, 3, 3 y l2 = {4, 5, 6 l1 = Un valor repetido 3 veces l2 = * Acciones Intercambia(l1, l2) Resultado esperado Falla!!! l1 = {1, 2, 2, 3 y l2 = {4, 5, 6 Falla!!! l1 = {1, 2, 3, 3 y l2 = {1, 4, 5, 6 Falla!!! El valor aparece repetido en l1. * Significa una lista con cualesquiera valores. 6

7 En conclusión Probar es ejecutar casos de prueba. Caso de prueba: entrada + acciones + salida salida obtenida == salida esperada salida obtenida!= salida esperada Un programa que pasa todos sus casos de prueba es un programa sin errores?. JUnit I. Open Source framework for the automation of unit tests under Java. Existen muchas versiones para distintos lenguajes. Su API es nuestro mapa de carreteras. 7

8 IDEs: JDeveloper Eclipse Forte / Netbeans Intelli J JBuilder TogetherJ VisualAge JUnit II. JUnit III. Nuestra primera prueba Vamos a probar nuestra función suma import junit.framework.*; public class TestSuma extends TestCase { // Atributos // Pruebas public void testsumapositivos() { int r = Suma.Suma(3, 4); assertequals( Suma de 3 y 4 no es 7", r, 7 ); Los imports no se nos pueden olvidar. Cada clase guarda un conjunto de pruebas relacionadas. Las clases deben heredar de TestCase. Los atributos serán la información a compartir por las distintas pruebas. Cada método que empieze por void test es una prueba. Los métodos assertx() permiten evaluar si la prueba se pasa o no. 8

9 JUnit IV. Más cosas. Inicio y fin de la prueba. protected void setuup(){ // Me conecto a una BBDD protected void teardown(){ //Me desconecto de la BBDD Métodos assertx() void assertequals() void assertnull() void assertnotnull() Void asserttrue() JUnit V. Nuestra segunda prueba. T.A.D. Lista (Lista.java) // Devuelve el número de elementos de la lista public int size(); // Vacía la lista. public void clear(); // Vacía la lista. public void clear(); // Añade el elemento x en la posición i. public void add(int i, Object x): // Devuelve el elemento en la posición i. public Object get(int i); Escribir un conjunto de pruebas (JUnit) para el TAD lista. 9

10 JUnit V. Nuestra segunda prueba. Prueba Lista (TestLista.java) protected void setup() { listavacia = new Lista(); listallena = new Lista(); elems = new Object[4]; listallena.add(0, elems[0] = new Integer(1)); listallena.add(1, elems[1] = new Integer(2)); listallena.add(2, elems[2] = new Integer(3)); elems[3] = new Integer(4); En primer lugar el setup(). Este setup() se ejecuta siempre antes de un nuevo método test*. 2 conjuntos de pruebas: sobre una lista con elementos y sobre una lista vacía. JUnit V. Nuestra segunda prueba. T.A.D. Lista (Lista.java) 1 public void testisempty() { asserttrue(listavacia.isempty()); asserttrue(!listallena.isempty()); // Devuelve el número de elementos de la public lista. void testclear() { public int size(); 2 listavacia.clear(); asserttrue(listavacia.isempty()); // Vacía la lista. listallena.clear(); asserttrue(listallena.isempty()); public void clear(); // Devuelve true si la lista está vacía. public void testgetllena() { public boolean isempty(); assertequals(listallena.get(0),elems[0]); assertequals(listallena.get(1),elems[1]); // Añade el elemento x en la posición i. assertequals(listallena.get(2),elems[2]); public void add(int i, Object x): try { listallena.get(3); // Devuelve el elemento en la posición i. catch (IndexOutOfBoundsException e) { public Object get(int i); return; fail("error. listallena no lanzó "+ excepción indice fuera de límites"); 3 10

11 JUnit V. Nuestra segunda prueba. T.A.D. Lista (Lista.java) public void testaddllena() { 4 listallena.add(3, elems[3]); assertequals(listallena.get(3), elems[3]); // Devuelve el número de elementos listallena.add(0, de la lista. elems[3]); assertequals(listallena.get(0), elems[3]); public int size(); // Vacía la lista. public void clear(); public void testsize() { // Devuelve true si la lista está 5 assertequals(listavacia.size(), 0); vacía. assertequals(listallena.size(), 3); public boolean isempty(); listallena.add(3, elems[0]); assertequals(listallena.size(), 4); // Añade el elemento x en la posición i. listallena.add(4, elems[0]); public void add(int i, Object x): assertequals(listallena.size(), 5); // Devuelve el elemento en la posición i. public Object get(int i); JUnit VI. Ejecución de pruebas. junit.textui.testrunner junit.swingui.testrunner 11

12 Un seguro de vida Probar mientras se codifica. Siempre que modifiquemos algo hemos de escribir una nueva prueba que lo verifique y, además, las pruebas antiguas deben funcionar. Además, mejora el diseño. Una taxonomía de casos de prueba. 12