NovATIca: núm. 224, julio-agosto 2013. Pruebas de software: nuevos retos

Vuelta a inicio

Procesos de pruebas basados en modelos: Un compromiso adecuado entre teoría y práctica
Manuel Núñez (1), Mercedes G. Merayo (1), Robert M. Hierons (2)
(1) Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid; (2) Department of Information Systems and Computing, Brunel University Uxbridge, Middlesex (Reino Unido)

Resumen: En este artículo presentaremos nuestras contribuciones más recientes en el campo de los procesos de pruebas basados en modelos. Revisaremos las principales características de nuestro trabajo pero omitiremos todos los detalles técnicos. Concluiremos el artículo con una breve discusión sobre la utilidad de formalizar, en la mayor medida posible, los procesos de pruebas y enumerando distintas formas en las que nuestros modelos y resultados se pueden aplicar en entornos industriales.

Palabras clave: Procesos de pruebas basados en modelos, sistemas distribuidos, sistemas temporizados.

Vuelta a inicio

Cobertura de consultas SQL y sus aplicaciones
Javier Tuya, Claudio de la Riva, María José Suárez-Cabal, Raquel Blancot
Departamento de Informática , Universidad de Oviedo

Resumen: El concepto de cobertura es bien conocido entre los profesionales de las pruebas del software. Asimismo, existen multitud de herramientas para medir la cobertura de las pruebas respecto de los requisitos y también del código fuente. Sin embargo, cuando se trata de la cobertura del código fuente, no se contempla la cobertura de las sentencias SQL. En este artículo se presenta el concepto de cobertura para consultas SQL y cómo se puede evaluar. Se muestran además una serie de aplicaciones de la cobertura como son la generación de bases de datos de prueba y la reducción del tamaño de bases de datos preservando la cobertura, así como un conjunto de herramientas (Test4Data) que automatizan todo lo anterior.

Palabras clave: Pruebas de aplicaciones con bases de datos, consultas SQL, cobertura de pruebas, herramientas de pruebas.

Vuelta a inicio

Algoritmos bio-inspirados para la automatización de pruebas de software en la industrias
Javier Ferrer, Francisco Chicano, Enrique Albas
Universidad de Málaga, España

Resumen: El software se puede encontrar en todo tipo de dispositivos electrónicos que se entremezclan en nuestro día a día. La principal manera de asegurar su calidad es mediante la realización de diferentes pruebas del software durante y después de su desarrollo. En este trabajo vamos a estudiar las pruebas unitarias, las pruebas de regresión, las pruebas de interacción y las secuencias de pruebas. Todas las pruebas realizadas en un proyecto suponen alrededor de un 50% del costo total, por lo que la automatización de la generación de datos de prueba supondría un ahorro enorme. Para ello, la transferencia Universidad-Empresa es fundamental para la aplicación de nuevas técnicas de optimización, como los algoritmos bio-inspirados, a problemas NP-difíciles como es el de la generación automática de casos de prueba. Además, como línea de trabajo futuro evaluada ya parcialmente, destacamos la generación de escenarios de validación de la robustez de programas de ciclos de semáforos para “ciudades inteligentes”

Palabras clave: Algoritmos bio-inspirados, Ingeniería del Software Basada en Búsqueda, pruebas de software.

Vuelta a inicio

Priorización de casos de prueba: Avances y retos
Ana Belén Sánchez Jerez, Sergio Segura Rueda, Antonio Ruiz-Cortés
Departamento de Lenguajes y Sistemas Informáticos, Universidad de Sevilla

Resumen: La priorización de pruebas consiste en establecer un orden de ejecución para los casos de prueba que permita alcanzar un determinado objetivo. Por ejemplo, es posible reordenar los casos de prueba para detectar fallos lo antes posible o conseguir un determinado nivel de cobertura de código cuanto antes. En este artículo, presentamos y clasificamos de forma novedosa las propuestas de priorización de pruebas presentadas hasta la fecha. Además, destacamos algunos de los retos de la investigación en este área..

Palabras clave: Detección de fallos, estrategias de priorización, pruebas de software, priorización de casos de prueba.

Vuelta a inicio

Utilización de MDE para la prueba de sistemas de información web
Federico Toledo Rodríguez (1) , Macario Polo Usaola (2), Beatriz Pérez Lamancha (2)
(1) Abstracta, Montevideo (Uruguay); (2) Universidad de Castilla-La Mancha, Ciudad Real (España)

Resumen: Las pruebas de software son esenciales tanto en el desarrollo de nuevos sistemas como durante su mantenimiento. En el caso concreto de los sistemas de información (aquellos en los cuales el componente principal es la base de datos, cuyas entidades el usuario gestiona mediante distintas interfaces), el componente más estable es la propia base de datos, cuyo diseño tiene una influencia directa en el diseño de las diversas aplicaciones que la gestionan. Por ello, también es interesante basar el diseño de las pruebas de los sistemas de información en las estructuras de la base de datos: es decir, en sus entidades, relaciones, restricciones, etc., para poder verificar así que son manipuladas correctamente por los programas que la gestionan. En este contexto podemos considerar que hay dos formas principales para construir casos de prueba: (1) especificando un modelo del sistema y derivando pruebas automáticamente para comprobar que se verifica esa especificación, o (2) especificando directamente las pruebas, para lo que el tester ha de mantener el modelo del sistema en su cabeza. En este artículo describimos un enfoque dirigido por modelos para generar pruebas basadas en el modelo de datos de la base de datos, y que permite seguir ambos caminos de forma integrada, describiendo el modelo del sistema para generar pruebas, o describiendo directamente las pruebas. Luego, este modelo de pruebas se utiliza para generar una infraestructura de ejecución de pruebas, incluyendo casos de prueba y datos de prueba según la especificación proporcionada. Para facilitar la especificación del modelo del sistema, se propone además la utilización de técnicas de ingeniería inversa sobre el esquema de la base de datos.

Palabras clave: Datos de prueba, pruebas basadas en modelos, pruebas de sistemas de información, pruebas de software.

Vuelta a inicio

La norma ISO/IEC/IEEE 29119 -Software Testing
Javier Tuya
Coordinador del grupo de trabajo AEN/CTN71/SC7/GT26 de AENOR; Catedrático de la Universidad de Oviedo

Resumen: El autor del artículo, como coordinador del grupo de trabajo AEN/CTN71/SC7/GT26 de AENOR, repasa la estructura, contenidos principales e interrelaciones del éstandar ISO/IEC/IEEE 29119 ("The International Software Testing Standard") en cuya elaboración, iniciada en 2007, su grupo ha venido participando.

Palabras clave: AENOR, evaluación de procesos, ISO/IEC/IEEE 29119, ISO/IEC 33063.3, normativa, pruebas de software.

Vuelta a inicio

Un marco metodológico para evaluar técnicas y herramientas para pruebas del software
Tanja E. J. Vos (1), Beatriz Marín (2), María José Escalona Cuaresma(3)
(1) Centro de Métodos de Producción de Software, Universidad Politécnica de Valencia (España); (2) Universidad Diego Portales, Santiago (Chile); (3) Ingeniería Web y Testing Temprano
(IWT2), Universidad de Sevilla (España)

Resumen: Actualmente existe una necesidad real en el sector industrial de disponer de conocimiento para decidir qué técnicas de pruebas deben usarse según los objetivos de pruebas, y para conocer cómo de usables (efectivas, eficientes y satisfactorias) pueden llegar a ser estas técnicas. Sin embargo, estas guías en realidad no existen. Podríamos plantearnos como medio para conseguirlas el realizar estudios comparativos de evaluación de técnicas de pruebas y herramientas basadas en casos de estudio. Sin embargo, estos estudios también son poco viables por falta de disponibilidad de dichos casos. En este trabajo, daremos un primer paso para crear una primera aproximación a un marco de trabajo de evaluación que permita simplificar el diseño de los casos de estudio a comparar en las herramientas de pruebas de software, haciendo los resultados lo más precisos, legibles y fáciles de comparar.

Palabras clave: Guías, Ingeniería del Software, pruebas del software, organizaciones, taxonomía.

Vuelta a inicio

Medición de pruebas para la mejora de la calidad y la eficiencia
Celestina Bianco
Systelab Technology S.A.
Resumen: Las métricas útiles para soportar el proceso de toma de decisiones son generalmente simples, siendo más potentes cuanto más están basadas en datos validados, posiblemente recopilados dentro de la organización. Permiten, por ejemplo, decidir el compromiso que cumple los objetivos de calidad, tiempo de puesta en mercado y costes de mantenimiento, basados en las dimensiones de un producto, el tiempo promedio para corregir defectos y los resultados iniciales de las pruebas de una aplicación. Este artículo trata esta importante área, mediante un recorrido a través de un caso de estudio real de estimación para el software embebido en un dispositivo médico.

Palabras clave: Calidad y test, caso de estudio, coste/beneficio, métricas y estimaciones, proceso.

Vuelta a inicio

Secciones Técnicas

Administración Pública electrónica
Voto electrónico venezolano: Implementación prototípica de tecnodemocracia
Sebastià Justicia Pérez (1), José Daniel González (2)
(1) Socio senior de ATI, coordinador de la sección técnica “Administración Pública electrónica de Novática; (2) Doctorando en el Instituto Ortega y Gasset, Instituto de Altos Estudios Electorales de Caracas

Resumen: La traslación de los avances tecnológicos a los diferentes ámbitos sociales y productivos no posee una excepción en los sistemas electorales. La aplicación de técnicas de digitalización comporta la automatización del evento comicial así como lo dota de más funcionalidades en cuanto a fiabilidad. Elemento añadido de promoción del voto electrónico reside en el hecho de constituir condición necesaria para el tránsito progresivo hacia una democracia más participativa. El caso particular venezolano merece especial atención en base a sus particularidades tecno-organizativas.

Palabras clave: Auditoría del software, democracia participativa, diseño centrado en el elector, voto electrónico.

Vuelta a inicio

Enseñanza Universitaria de la Informática
ENIAC: una máquina y un tiempo por redescubrir
Xavier Molero
Departament d’Informàtica de Sistemes i Computadors, Escola Tècnica Superior d’Enginyeria Informàtica, Universitat Politècnica de València

Resumen: Aunque los computadores actuales son más pequeños, baratos y rápidos que los precedentes, muy a menudo el estudio minucioso de las viejas glorias de la historia de la informática nos permite comprender mejor, no solo algunos de los aspectos de la tecnología informática de aquel momento e incluso de la actual, sino también rasgos socioculturales propios del entorno científico y humano de la época concreta en que estas venerables máquinas se desarrollaron. El ENIAC (Electronic Numerical Integrator And Computer), uno de los primeros computadores electrónicos de la historia, nunca imitado y el único disponible en EEUU entre 1946 y 1949, es un buen ejemplo de todo ello. Y aún más: analizar sus restos puede convertirse en una sorprendente manera de mirarnos en un espejo y descubrir, al mismo tiempo, los aspectos más humanos de la informática. En este trabajo pretendemos mostrar que el estudio del proceso de diseño, construcción y uso posterior de esta máquina de carácter experimental nos puede aportar, todavía, un gran abanico de conocimientos útiles y, consecuentemente, podría formar parte de los contenidos de asignaturas básicas tanto de programación como de arquitectura y estructura de computadores.

Palabras clave: Arquitectura y tecnología de computadores, historia de la informática, programación,
sociedad e informática.

Vuelta a inicio

Entorno Digital Personal
Computación en la nube, Big Data y sensores inalámbricos para la provisión de nuevos servicios de salud
Diego Gachet Páez (1), Juan Ramón Ascanio Padilla (2), Israel Sánchez de Pedro Peces-Barba (2)
(1) Universidad Europea de Madrid; (2) Encore Solutions

Resumen: Vivimos en una sociedad caracterizada por el envejecimiento de la población y actualmente inmersa en una profunda crisis económica que implica la reducción de costes de los servicios públicos y entre ellos el de salud. Es asimismo ineludible la necesidad de optimizar los recursos de los sistemas sanitarios promoviendo el desarrollo de nuevos servicios médicos basados en telemedicina, monitorización de enfermos crónicos, servicios de salud personalizados, etc. Es de esperar que estas nuevas aplicaciones incrementen de forma significativa el volumen de la información sanitaria a gestionar, incluyendo datos de sensores biológicos, historiales clínicos, información de contexto, etc. que a su vez necesitan de ladisponibilidad de las aplicaciones de salud en cualquier lugar y momento y que sean accesibles desde cualquier dispositivo. En este artículo se propone una solución para la creación de estos nuevos servicios, especialmente en entornos exteriores, en base al uso de computación en la nube y monitorización de signos vitales.

Palabras clave: Computación en la nube, enfermos crónicos, personas dependientes.

Vuelta a inicio

Sociedad de la Información

Programar es crear

El problema de la carrera de autos (Competencia UTN-FRC 2012, enunciado)
Julio Javier Castillo, Diego Javier Serrano, Marina Elizabeth Cárdenas
Laboratorio de Investigación de Software MsLabs, Dpto. Ing. en Sistemas de Información, Facultad Regional Córdoba - Universidad Tecnológica Nacional (Argentina)

El problema del CUIT (Competencia UTN-FRC 2012, problema D, solución)
Julio Javier Castillo, Diego Javier Serrano, Marina Elizabeth Cárdenas
Laboratorio de Investigación de Software MsLabs, Dpto. Ing. en Sistemas de Información, Facultad Regional Córdoba - Universidad Tecnológica Nacional (Argentina)

Última actualización: 2 de enero de 2014	Autor: Llorenç Pagés Casas
	novatica@ati.es