PRUEBAS Y DEPURACIN DE CODIGO

K. Espinel, C Fernndez, R Martnez, A Velastegu

Resumen- Una vez que se ha obtenido el programa ejecutable, este es sometido a prueba a fin de determinar si resuelve o no el problema planteado en forma satisfactoria. Las pruebas que se le aplican son de diversa ndole y generalmente dependen del tipo de problema que se est resolviendo. Se inicia la prueba de un programa introduciendo datos vlidos, invlidos e

incongruentes y observando cmo reacciona en cada ocasin. El proceso de depuracin consiste en localizar los errores y corregirlos en caso de que estos existan. Si no existen, puede entenderse como una etapa de refinamiento en la que se ajustan detalles para optimizar el desempeo del programa. Siendo este proceso de gran importancia para el programador
Caja negra Cobertura de requisitos Cobertura de segmento Cobertura de ramas Caja blanca Cobertura de condicin /decisin Cobertura de bucles

Palabras claveCaja Depuracin, JUnit, Logger.

blanca,

Caja

negra,
Pruebas de software

Pruebas unitarias Integracin Aceptacin

I.

INTRODUCCIN

Para un programador es importante que al finalizar su programa este tenga un correcto funcionamiento para el cual fue creador, pero adems es importante que el programa sea ptimo y se ejecute de la mejor manera posible, por esto es importante la utilizacin de las pruebas y depuracin de cdigo para lograr que el programa se ejecute de una forma correcta, ya que no siempre que un programa no presente errores es significado que realiza lo que deseamos. Por lo cual la importancia de llegar a tener un buen manejo y conocimiento de los diferentes mtodos para realizar una prueba y depuracin de cdigo de un programa, pudiendo corregir de manera ms precisa los errores q este presente. II. PRUEBAS Y DEPURACIN DE CODIGO

Fig.1. Pruebas de Sofware

Pruebas Unitarias: Las pruebas unitarias son pruebas dirigidas a probar clases java aisladamente y estn relacionadas con el cdigo y la responsabilidad de cada clase y sus fragmentos de cdigo ms crticos Caractersticas y ventajas de las pruebas unitarias
Automatizable Completas Reutilizables Independientes Profesionales
Fomentan el cambio Simplifican la integracin Documentan el cdigo Separa la interfaz y la implementacin Los errores son ms sencillos de localizar

Al finalizar un programa el paso a seguir es la realizacin de pruebas de cdigo para la deteccin de los errores del mismo. Las pruebas de software son de vital importancia, garantizando la calidad de nuestros programas.

Fig.2. Caractersticas y ventajas de las pruebas unitarias

Pruebas de Caja Blanca Son pruebas estructurales ya que su objetivo es probar exhaustivamente la estructura del cdigo. Cobertura: Es un porcentaje de cdigo que se ha sido probado (cubierto)

Looger (LOG4J) Es una Biblioteca open source desarrollada en java por Apache Sofware Foundation y permite elegir la salida y nivel de granularidad de los mensajes (logs) al momento de ejecutar y no al de compilar Appenders Layouts
Los mensajes son enviados a una (o varias) salida(s) de destino Da un formato de presentacin a los mensajes

Cobertura de segmentos

Es una secuencia de sentencias sin puntos de decisin. Se ejecutan todas las sentencias o todos los segmentos.

Cobertura de ramas Pruebas de caja blanca

Permite tener una mayor cobertura que la de segmentos, ya que prueba todos los posibles casos dentro de sentencias condicionales

Fig.5. Appenders, Layout

Cobertura de condicin/desicin

Prueba casos condicionales complejos (cobertura sobre las combinaciones)

Log4j cuenta con 6 niveles de prioridad de mayor a menor

OFF FATAL ERROR WARN INFO Deshabilita todos los logs Mensajes crticos del sistema Mensaje de error en la aplicacin que se desea guardar Mensajes de alerta sobre eventos que se desea mantener constancia Mensajes similares al modo verbose en otras aplicaciones Mensajes de depuracin. Este nivel no debe estar activado cuando la aplicacin se encuentre en produccin. Mensajes con mayor nivel de detalle que debug. Habilita todos los logs (equivale a TRACE) Tabla. 1. Niveles de prioridad

Cobertura de bucles

Cubre las sentencias repetivas(bucles)

Fig.3. Pruebas de Caja Blanca

Pruebas de Caja Negra Las pruebas de caja negra son pruebas funcionales o de caja opaca, ayuda al programador a identificar si el programa cumple con las especificaciones. Para ellos se hacen pruebas de cobertura en interno con interfaces externos

DEBUG

TRACE ALL

JUnit JUnit es un Framework nos ayuda a ver si los cambios en un mdulo afectan a otros, evita las pruebas de funcionalidad a mano ya que las realiza automticamente realizando pruebas internas y externas por integracin.

Fig.4. Pasos para las pruebas de caja blanca

con el objetivo especfico del programa, aunque no se puede asegurar al 100% el desempeo del programa, ya que pueden existir factores no pronosticados. Las pruebas y la depuracin de cdigo no garantizan la calidad de ste, ya que las pruebas demuestran la eficacia mas no garantizan que el cdigo del programa sea adecuado.

Las pruebas de caja blanca permiten realizar una revisin del programa, con una gran cobertura, se ejecuta un control sobre todo el cdigo que interviene en el programa, utilizando las diferentes coberturas de las cuales consta esta prueba. El JUnit es una herramienta para verificar errores en los programas realizados ya que compara el resultado deseado con el obtenido, para su comprobacin se puede cambiar el cdigo principal en algo y nos mostrara el mensaje del error. Permiten al programador evaluar si el programa est respondiendo al propsito para el que fue creado, cumpliendo con todos los objetivos y funcionando de manera correcta en cada uno de sus mdulos.

Fig.6. Caractersticas del JUnit

CVS

Autores:

Karla Vernica Espinel Rivera naci en Quito, Ecuador el 26 de mayo de 1991. Realiz sus estudios de educacin primaria y secundaria en la Unidad Educativa La Providencia de la ciudad de Quito, gradundose en el 2008-2009 con el ttulo de Bachiller en la especialidad de fsicomatemtico. Actualmente se encuentra cursando sus estudios superiores en la Escuela Politcnica del Ejrcito en la facultad de electrnica. Fig.7. CVS

III.

CONCLUSIONES
Claudia Betzabeth Fernndez Jimnez naci en Loja, Ecuador el 16 de febrero de 1991. Realiz sus estudios de educacin primaria en la Unidad Educativa Simn Bolvar y la Unidad Educativa San Jos de Calasanz de la ciudad de Loja. Realiz sus estudios de educacin secundaria en el Instituto Superior

La realizacin e investigacin de estas pruebas de software permite asegurar el funcionamiento de un programa antes de su presentacin o distribucin para que de esa forma el programa desarrollado se encuentre totalmente bien estructurado, de esa manera se est cumpliendo

Tecnolgico Daniel lvarez Burneo gradundose en el 2008 con el ttulo de Bachiller en la especialidad de fsicomatemtico. Actualmente se encuentra cursando sus estudios superiores en la Escuela Politcnica del Ejrcito en la facultad de electrnica. Alexis Ademar Velastegu Sigcha naci en Quito, Ecuador el 24 de enero de 1992. Realiz sus estudios de educacin primaria en la Colegio Francs de Quito. Realiz sus estudios de educacin secundaria en el ColegioTcnico Experimental Salesiano Don Bosco gradundose en el 2009 con el ttulo de Bachiller en la especialidad de Electricidad y Electrnica. Actualmente se encuentra cursando sus estudios superiores en la Escuela Politcnica del Ejrcito en la facultad de Electrnica.

[3]

[4]

[5]

[6]

[7]

The Eclipse Foundation (2011). CVS. http://www.eclipse.org/eclipse/platform-cvs/#ABOUT. Extrado el 12 de octubre del 2011.Rodriguez Jorge (2006). Rodriguez Jorge (2006) Pruebas Unitarias http://blog.continuum.cl/wpcontent/uploads/2008/08/pruebas-unitarias.pdf . Extrado el 14 de octubre del 2011. Graversen Kasper (2006). CVS. http://supercsv.sourceforge.net/csvSpecification.html Extrado el 12 de octubre del 2011. Maas Jos A. (1994). Prueba de programas. www.lab.dit.upm.es/~lprg/material/apuntes/pruebas/testi ng.htm#s1. Extrado el 14 de octubre del 2011 Villena Julio, Frnandez Carmen (2001). Pruebas de programashttp://www.it.uc3m.es/ttrd/material/05pruebas-de-programas.pdf. Extrado el 14 de octubre de 2011

Ronie Stalin Martnez Gordn naci en Quito, Ecuador el 1 de Enero de 1993. Curs sus estudios primarios en el Colegio Miguel ngel Asturias en Caldern. Realiz sus estudios de educacin secundaria en el Colegio San Gabriel promocin 2009 con ttulo de Bachiller en especialidad Fsico Matemtico. Actualmente cursa sus estudios de educacin superior en la Escuela Superior Politcnica del Ejercito (ESPE) en la facultad de Electrnica.

[1]

[2]

Soto Lauro (2010). Pruebas y Depuracinhttp://www.mitecnologico.com/Main/Pruebas YDepuracion. Extrado el 14 de octubre de 2011. Linux GarZa (2002) Manual de CVS. http://mygnet.net/manuales/java/cvs_concurrent_versioni ng_system.1974. Extrado el 13 de octubre del 2011.