Software Testing Jorge Triñanes Gris (Grupo de Ingeniería de Software) InCo (Instituto de Computación) Facultad de Ingeniería - UdelaR

XIV Encuentro Internacional GeneXus2 Agenda Testing - conceptos Experiencias en el Grupo de Ingeniería de Software Proyectos

XIV Encuentro Internacional GeneXus3 Prueba Proceso en cascada Requerimientos Diseño Preliminar Diseño Detallado Programación Explotación Testing: Comparar el comportamiento del software respecto al esperado Actividad esencialmente de control de la calidad

XIV Encuentro Internacional GeneXus4 Inyección, detección y costos de defectos AnálisisDiseñoProgr.P.Unit.P.SistemaExplotación % $ Retraso en detección Costo Unitario Creciente de Corrección % Inyección % Detección Costo unitario corrección % detectado en explotación

XIV Encuentro Internacional GeneXus5 Problemas y limitaciones “El Testing sólo puede mostrar la presencia de defectos, no su ausencia” (Dijkstra) Expectativas pasó la prueba => ¿no tiene defectos? Objetivo del Testing: encontrar defectos para que se corrijan y con eso mejorar la calidad del producto

XIV Encuentro Internacional GeneXus6 Problemas y limitaciones (2) Sicología de la prueba al probar nuestro producto cuál es el objetivo ¿encontrar defectos o “mostrar” que funciona? Importancia de la independencia “Cuanto más defectos se detectan en un componente, aumenta la probabilidad de que tenga más defectos” 2do. Objetivo del testing: Evaluar la calidad de productos y componentes

XIV Encuentro Internacional GeneXus7 Pruebas Unitarias Modelo V Requerimientos Diseño Preliminar Diseño Detallado Programación Prueba de Integración Prueba del Sistema Preparar Es conveniente cierto nivel de independencia Normalmente requieren mucho conocimiento de la implementación

XIV Encuentro Internacional GeneXus8 Después de cambios en el SW G’ A C B DE E F G Producto ya probado Se prueba G’ (prueba unitaria) ¿Qué pasa con el resto? ¿Funcionará como con G? Componente G’ sustituye a G => Prueba de regresión Surge un cambio:

XIV Encuentro Internacional GeneXus9 Pruebas de regresión Estos cambios son frecuentes durante: mantenimiento y desarrollo Las mismas pruebas de regresión deben repetirse muchas veces durante la vida de un producto Problemas: Esfuerzo (costo) al hacerlas Plazo de ejecución Impacto de no llevarlas a cabo Una solución: Automatizarlas

XIV Encuentro Internacional GeneXus10 Pruebas automatizadas Programa a probar Suministro Entrada Control de la Salida E S Oráculo Salida Esperada OK Falla Coordinador

XIV Encuentro Internacional GeneXus11 Experiencias en testing Proyecto de grado: “Verificación independiente de un generador de aplicaciones” ( ) Testing de versiones Beta de Generadores Java y C# de GeneXus 7.5 Construir KBs con funcionalidad a probar Generar los programas Probarlos de forma automática con Rational Robot Resultados auspiciosos y aprendimos que Desarrollar Testware es construir software: esfuerzo, hay que probarlo, mantenerlo relevantes: modularidad, documentación

XIV Encuentro Internacional GeneXus12 Experiencias en testing (2) GXP (Extreme Programming con GeneXus) (2003) XP requiere que las pruebas sean automatizadas y que se desarrollen antes de implementar el programa Puesto a prueba en el curso “Proyecto de Ingeniería de Software” proyecto de estudiantes, de 14 semanas Rational Robot - curso de unos días Curva de aprendizaje Proyecto de grado “Verificación independiente de productos de software” (2003) Proceso definido para verificación independiente

XIV Encuentro Internacional GeneXus13 CES Centro de Ensayos de Software Emprendimiento conjunto de Facultad de Ingeniería - UdelaR ( a través de la Fundación Julio Ricaldoni ( CUTI ( Cámara Uruguaya de Tecnologías de la Información) ( Con aportes de: Unión Europea Programa de Naciones Unidas para el Desarrollo y de las entidades participantes Más información:

XIV Encuentro Internacional GeneXus14 CES Centro de Ensayos de Software (2) Entre sus servicios: Testing Ensayos de plataformas complejas Mi visión: ofrecer servicios a ARTech verificación de los generadores ofrecer servicios al resto de la comunidad GX verificación de aplicaciones certificación en plataformas sinergia aportar a la mejora de la calidad de los productos de la comunidad GeneXus

XIV Encuentro Internacional GeneXus15 Mis datos Gris (Grupo de Ingeniería de Software) InCo (Instituto de Computación) Facultad de Ingeniería - UdelaR Jorge Triñanes