Archivos de la etiqueta: pruebas

01Ene/15

Procedimiento para la realización de pruebas de unidad

Procedimiento para la realización de pruebas de unidad

Resumen

El factor fundamental para el éxito en la producción de software es la calidad y para ello es necesario tener en cuenta una serie de aspectos para que la misma sea óptima. La obtención de un software con calidad implica la utilización de metodologías o procedimientos estándares para el análisis, diseño, programación y prueba del software, que permitan uniformar la filosofía de trabajo en aras de lograr una mayor confiabilidad, mantenibilidad y facilidad de prueba, a la vez que eleven la productividad tanto para la labor de desarrollo como para el control de la calidad del software.

Antes de que el software se le entregue al usuario final es necesario realizar pruebas con el objetivo de detectar errores de la aplicación y la documentación; este proceso resulta de gran importancia ya que da una medida de la calidad del producto siempre que se lleve a cabo de forma apropiada. El presente trabajo se centra en la aplicación de un procedimiento para realizar pruebas de unidad con el objetivo de lograr el nivel de calidad requerido y poder registrar la documentación con los resultados de cada una de las pruebas de unidad realizadas al producto.

PALABRAS CLAVES: Pruebas de unidad, procedimiento de pruebas, calidad de software.

Guidelines for preparing articles for Cuban Journal of Engineering

Abstract

The key factor for success in software production is quality and this requires taking into account a number of areas so that it can be optimal. Obtaining a quality software involves the use of methodologies and standard procedures for analysis, design, programming and testing software, enabling uniform working philosophy in order to achieve greater reliability, maintainability and testability, the time to raise productivity for both development work and quality control software.

Before the software is delivered to the end user a testing is required in order to detect errors in the application and documentation, this process is of great importance as it gives a measure of the provided product quality, only if it is properly done. This work focuses on the implementation of a procedure for testing unit in order to achieve the level of required quality and documentation to record the results of each of the unit tests conducted in this product.

KEYWORDS: Unit testing, testing procedure, software quality.

Introducción

Una de las fases más importantes del ciclo de vida antes de entregar un software para su explotación es la fase de pruebas. Se estima que la mitad del esfuerzo de desarrollo de un programa (tanto en tiempo como en gastos) se consume en esta fase [1], de ahí la importancia de ésta. Las pruebas son de suma importancia para el software y tienen sus implicaciones en la calidad de éste, citando a Deutsch: “El desarrollo de sistemas de software implica una serie de actividades de producción en las que las posibilidades de que aparezca el fallo humano son enormes. Debido a la imposibilidad humana de trabajar y comunicarse de forma perfecta, el desarrollo de software ha de ir acompañado de una actividad que garantice la calidad” [2]. Uno de los pasos para garantizar que el producto final tenga la menor cantidad de errores posibles es el desarrollo de un correcto procedimiento de pruebas de unidad. Para ello se utiliza la metodología RUP, Proceso Unificado de Desarrollo de Software, para lograr una mejor organización en el trabajo. Estas pruebas tienen un impacto importante en el código y la calidad del producto final, por esta razón se ofrece una propuesta de solución para garantizar la realización de este tipo de pruebas.

Desarrollo

1. Procedimiento para realizar pruebas de unidad

La construcción de un sistema software tiene como objetivo satisfacer una necesidad planteada por el usuario. Para asegurar que se han alcanzado los niveles de calidad acordados es necesario evaluar el producto software a medida que se va construyendo. Por lo tanto se hace necesario llevar a cabo, en paralelo al proceso de desarrollo, un proceso de evaluación o comprobación de los distintos productos o modelos que se van generando [3].

1.1 Descripción

El procedimiento para realizar pruebas de unidad definirá de forma detallada los pasos para llevar a cabo estas pruebas. Analiza en detalle cada una de las fases que forma este procedimiento, describiendo, las actividades a realizar y la documentación de entrada y salida que las conforman.

1.2 Alcance

Este procedimiento está dirigido a realizar las pruebas de unidad. ¿Qué se va a probar? Las funciones individuales o métodos: se probarán las entradas y las salidas y se comprobará que los valores obtenidos son los esperados. Es decir, se prueba el código aislado, independiente del resto del sistema

1.3 Objetivos

Este procedimiento describe los objetivos de la realización de las pruebas de unidad, el enfoque a seguir en la realización de las mismas por fases, y una descripción detallada de éstas. Las pruebas unitarias desarrolladas en este procedimiento tienen como objetivo aislar cada parte del programa y mostrar que las partes individuales son correctas. Son fragmentos de unidades estructurales del programa encargados de una tarea en específico. El objetivo principal sería producir las piezas de código de la manera más eficiente y eficaz posible generando pruebas de unidad para las mismas que aseguren su correcto comportamiento.

1.4 Fases del Procedimiento

El presente procedimiento de pruebas de unidad se divide en las siguientes fases: Planificación de las Pruebas – PP, Diseño de las Pruebas – DP, Ejecución de las Pruebas – EP.

Fig1

Fig 1: Fases del procedimiento de la realización de pruebas de unidad.

Para describir este procedimiento, los siguientes epígrafes se dedican a cada fase del proyecto de pruebas, describiendo en cada una las actividades a realizar y las salidas que se generarán.

PP1. Fase de Planificación

En esta fase se planificarán las pruebas unitarias que se le realizarán a la aplicación, así como los roles y los recursos necesarios para realizar este procedimiento. Las actividades de esta fase son:

Fig2

Fig 2: Actividades de la Fase de Planificación de Pruebas.

La documentación de salida es la planificación del proyecto de pruebas que asegure su ejecución en el plazo estimado.

Tabla 1: Salidas de la Fase de Planificación de Pruebas de Unidad.

FaseSalidas
PlanificaciónPlan de Pruebas (.doc)

-Alcance y Estrategia de las Pruebas.

-Roles y Responsabilidades.

-Recursos Necesarios y Herramientas a utilizar.

Análisis de la Documentación: El análisis de la documentación tiene como objetivo la revisión de toda la documentación recibida como entrada para la fase de planificación. Es necesario que se estudie toda la documentación, incluyendo las plantillas elaboradas en el proyecto que se deben conocer antes de realizar las pruebas. Además se debe estudiar el software y el hardware que se vaya a utilizar para la realización de las pruebas, así como todos los detalles de lo que son las pruebas de unidad.

Tabla 2: Descripción de la actividad Análisis de la Documentación.

PP1.1 – Análisis de la Documentación
Objetivo: Estudio de la documentación que sirva de partida para realizar las pruebas unitarias.
Entradas:

Glosario de términos.

Documento de especificación de requerimientos.

Requerimientos mínimos de hardware y software para realizar las pruebas.

Plantilla de Descripción de los Casos de Uso.

Observaciones: Esta actividad debe realizarse al inicio de la fase de planificación de las pruebas.

Roles y Responsabilidades: Durante el procedimiento de pruebas de unidad es necesario asumir 4 roles fundamentales, en la aplicación del procedimiento, se deben especificar todas las responsabilidades de cada trabajador. En la siguiente figura se muestran la relación de los trabajadores con las actividades más importantes a desarrollar.

Fig3

Fig 3: Relación de los roles con sus principales actividades.

Recursos Necesarios: En este paso se especifica el escenario en el que se realizarán las pruebas unitarias, realizando especificaciones de hardware y de software, recogiéndose en una tabla que será llenada en la aplicación del procedimiento.

Definir Estrategia: El objetivo de esta tarea es detallar la estrategia a seguir a lo largo del procedimiento de pruebas de unidad. En este epígrafe se describe el flujo de trabajo que será implementado durante todo el período de realización de las pruebas unitarias, de igual forma se detallan los pasos que serán realizados.

Descripción del flujo de trabajo: El flujo de trabajo se inicia cuando el diseñador de prueba comienza a describir los casos de prueba para su posterior utilización. Se implementan estas pruebas con la ayuda de los casos de prueba. Luego si todas las condiciones están creadas se pasa a la 1ra iteración de pruebas, se ejecutan las pruebas. En la medida que detecten errores, estos serán anotados por el probador que es quien ejecuta las pruebas, y corregidos por el ingeniero de pruebas. En la siguiente figura se muestra el flujo de trabajo de forma general:

Fig4

Fig 4: Descripción del Flujo de Trabajo.

Plan de Pruebas: El documento más importante de la fase de planificación es el Plan de Pruebas, pues es en esta fase donde se genera una primera versión de este plan. Para el diseño del Plan de Pruebas se va a utilizar la Plantilla Plan de Pruebas derivada de la plantilla Plan de Pruebas de RUP. El Plan de Pruebas identificará el propósito, alcance, los elementos de prueba y los recursos necesarios para la ejecución de las pruebas, se va a definir y recomendar la estrategia de prueba [4]. Como se puede apreciar, el Plan de Pruebas de contiene las actividades de la fase de planificación.

Tabla 4: Descripción del documento Plan de Pruebas.

PP1.5 – Plan de Pruebas
Objetivo: Elaborar una primera versión del Plan de Pruebas.
EntradasTareasSalidas
Especificación de Requisitos (.doc)

Prototipo de la Interfaz (.html)

-Determinar la estrategia de las pruebas.

-Especificar herramientas a utilizar.

-Detallar el entorno en que se va a probar.

Documento de Plan de Pruebas (.doc)
Observaciones: Aunque en esta fase se elabora el Plan de Pruebas, éste puede ser modificado a lo largo de la realización de pruebas.

DP1. Fase de Diseño

La fase de diseño comprende la especificación de casos de prueba necesarios para completar el Plan de Pruebas definido en la fase de planificación de pruebas [5]. El siguiente gráfico resume las actividades de esta fase:

Fig5

Fig 5: Actividades Fase de Diseño de Pruebas.

Cada caso de prueba describe cada uno de los pasos a ejecutar para comprobar el correcto funcionamiento de cada una de las funciones o métodos y el cumplimiento de la lógica de negocio.

Tabla 5: Entradas y Salidas de la Fase de Diseño de pruebas.

FASEENTRADASSALIDAS
Diseño-Descripción de los Casos de uso del sistema.

-Plan de Pruebas.

-Especificación de Requisitos de Pruebas.

Plantilla de Casos de Prueba (.doc)

Plan de Pruebas (.doc)(actualizado)

Especificación de casos de prueba: En esta actividad se define el nivel más bajo de cada una de las funcionalidades a probar dentro del Plan de Pruebas.

Tabla 6: Descripción de la actividad Especificación de casos de prueba.

DP1.1 -Especificación de casos de prueba
Objetivo: Se especifican los casos de prueba y las descripciones de los casos de prueba.
EntradasTareasSalidas
Plan de Pruebas

(.doc)

Especificación de Requisitos de Pruebas (.doc).

-Especificar los casos de prueba.

-Describir pasos para automatizar un Caso de Prueba automático.

-Actualizar el Plan de Pruebas.

Plantilla de Casos de Prueba de Unidad (.doc)

Plan de Pruebas Actualizado (.doc).

Observaciones:

A continuación se detalla la información correspondiente al diseño de casos de prueba propuesto y se describe la plantilla del diseño de los casos de prueba.

a. Descripción de la Plantilla Casos de Prueba de Unidad: En muchos proyectos no se cuenta con una Plantilla de Casos de Prueba de Unidad, por lo que en este epígrafe se propone y se describe, para que pueda ser utilizada en el desarrollo de este procedimiento y en cualquier proyecto que lo necesite. La plantilla tiene en su encabezado el nombre del proyecto, del módulo que se va a probar, la versión y el tipo de prueba que se realiza. Luego se detallan el nombre de las funcionalidades que se van a probar del módulo escogido, así como una pequeña descripción de éstas. En la siguiente tabla se detallan los casos de prueba para las funcionalidades descritas. Se recogen los resultados obtenidos después de aplicar aquellos métodos que se utilicen, en dependencia de la herramienta que se esté utilizando para comprobar el correcto funcionamiento de las funcionalidades a probar.

Como parte de la realización del caso de prueba se toma en cuenta en el primer campo (Funcionalidad), el cual corresponde al nombre de la funcionalidad que será comprobada, el segundo (Método utilizado), el tercer campo (Recibe) contiene los parámetros que recibe la funcionalidad al ser comprobada, el cuarto es el resultado que se espera que devuelva el método, en el quinto se escribe el resultado que se espera devuelva la prueba luego de ser ejecutada y la última columna es el valor resultado real que obtuvo finalmente dicha prueba. El resultado es satisfactorio si coinciden los resultados reales de las pruebas con los esperados, en caso de no coincidir es detectado un error. En la aplicación del procedimiento se llenará esta plantilla.

b. Implementar pruebas automáticas: A continuación se explica cómo implementar las pruebas de unidad. En primer lugar se piensa en todos los posibles casos de funcionamiento del método que se quiere probar y se elaboran una serie de entradas de prueba junto con el resultado esperado para cada una [6]. Si se realizan pruebas de unidad automáticamente en dependencia del framework con el que se esté trabajando se realizarán estas pruebas con el código y el formato correspondiente.

EP1. Fase de Ejecución

Se realiza la ejecución de las pruebas implementadas, con la ayuda de los casos de prueba que se hayan identificado anteriormente. El siguiente gráfico muestra las actividades que se deben realizar en esta fase:

Fig6

Fig 6: Actividades Fase de Ejecución de Pruebas.

Estas pruebas pueden ser implementadas y ejecutadas desde la línea de comandos o mediante un Entorno de Desarrollo Integrado (IDE). Para ejecutarse las pruebas unitarias de forma automática, se hace uso de los casos de prueba diseñados. El probador ejecuta las pruebas, actualiza la Plantilla de Casos de Prueba con los resultados de éstas y al mismo tiempo va registrando los fallos que puedan surgir en la ejecución de las pruebas, luego el ingeniero de pruebas corrige los errores encontrados en el código y se vuelven a ejecutar las pruebas hasta no encontrar fallos.

Tabla 8: Entradas y Salidas de la Fase de Ejecución de Pruebas de Unidad.

FASEENTRADASSALIDAS
Ejecución-Especificación de casos de prueba (.doc)

-Plan de Pruebas(.doc)

-Resultado pruebas unitarias (.doc)

Plantilla de Casos de Prueba de Unidad (.doc) (actualizada)

Ejecución de los casos de prueba: Para esta tarea, se recomienda mantener un repositorio de las pruebas implementadas para los casos de pruebas automatizados, a fin de mantener una estructura de almacenamiento de los mismos que permita su reutilización. Para cada uno de los casos de prueba se ejecutan y se registran los resultados de los mismos en la Plantilla de Casos de Prueba de Unidad.

Tabla 9: Descripción de la actividad Ejecución de los casos de prueba.

EP1.1Ejecución de los casos de prueba
Objetivo: Ejecutar los casos de prueba, registrando los resultados en la Plantilla de Casos de Prueba de Unidad.
EntradasTareasSalidas
Especificación de casos de prueba (.doc)

Plan de Pruebas (.doc)

Resultado pruebas unitarias (.doc)

-Ejecutar los casos de prueba especificados.

-Registrar los resultados en Plantilla de Casos de Prueba de Unidad.

Plantilla de Casos de Prueba de Unidad (.doc)

(actualizada con los resultados obtenidos)

Observaciones:

Evaluación de los resultados: Una vez obtenidos los resultados después de ejecutadas las pruebas, el siguiente paso es evaluar la información obtenida en los mismos y si se deben ejecutar nuevamente las pruebas. El objetivo de esta evaluación es la obtención de errores, conclusiones y recomendaciones tras las pruebas.

Tabla 10: Descripción de la actividad Evaluación de Resultados.

EP1.2Evaluación de los resultados
Objetivo: Evaluar los resultados obtenidos y analizar los errores del código encontrados.
EntradasTareasSalidas
Plantilla de Casos de Prueba de Unidad (.doc).-Analizar los resultados obtenidos al ser ejecutadas las pruebas.

-Actualizar los casos de prueba de unidad.

Plantilla de Casos de Prueba de Unidad (.doc)

(Actualizada con los resultados obtenidos)

Observaciones: Se debe tomar la decisión de si realizar una nueva iteración de pruebas o no.

Para mostrar los resultados de las pruebas unitarias realizadas se detallan los errores los cuales son recogidos en una tabla que contiene los reporte de los errores encontrados. La descripción de los errores debe ser clara y precisa. Los errores según la prioridad se clasifican en: crítica (Error que necesita ser solucionado inmediatamente), alta, media y baja. Los reportes de los errores encontrados de las pruebas son recogidos en la Plantilla de Casos de Prueba de Unidad.

Resultados

2. Aplicación del procedimiento

El procedimiento descrito anteriormente fue aplicado al subsistema Mecanismo de Control de Acceso y Autenticación, perteneciente al proyecto Sistema Único de Aduanas, el cual se desarrolla en la Universidad de las Ciencias Informáticas. Este subsistema se encarga de gestionar todo lo referente a la autenticación y control de acceso de los usuarios de la entidad y está compuesto por cinco módulos. Se realizaron pruebas de unidad de forma automática utilizando el framework Symfony. Se realizan este tipo de pruebas a 3 módulos del subsistema Mecanismo de Control de Acceso y Autenticación, los cuales son: suAdminDomain que se encarga de gestionar todo lo referente a los dominios, suAdminRole, el cual gestiona a los roles y suAdminUser que gestiona los usuarios o grupos.

2.1 Fases a desarrollar

PP1. Aplicación Fase de Planificación

Análisis de la Documentación: El subsistema Mecanismo de Control de Acceso y Autenticación, donde se van a realizar las pruebas, tiene documentados los siguientes artefactos dentro del expediente del proyecto, los cuales fueron estudiados: Documento de especificación de requisitos, Especificación de los casos de uso y Glosario de términos. A continuación se muestran los roles con todas las responsabilidades a desarrollar para la realización de las pruebas de unidad, en este caso al Subsistema Mecanismo de Control de Acceso y Autenticación.

Tabla 12: Descripción de la actividad Roles y Responsabilidades.

Recursos Humanos
RolesResponsabilidades Específicas
Jefe de Pruebas– Analizar la documentación.

– Planificar y decidir objetivos de las pruebas.

– Realizar el Plan de Pruebas.

Diseñador de Pruebas– Identificar las herramientas.

– Identificar, priorizar, seleccionar y describir los Casos de Prueba.

Ingeniero de pruebas– Implementar las pruebas automáticas

– Corregir los errores.

Probador– Preparar y ejecutar las Pruebas.

– Verificar la ejecución de las pruebas.

– Evaluar los resultados de las pruebas y conformar documentación.

Recursos Necesarios: En la aplicación del procedimiento para realizar pruebas de unidad se identifica un entorno con las siguientes características:

Tabla 13: Tabla de los Recursos Necesarios.

Recursos del Sistema
RecursosDescripción
Servidor de Base de Datos.– Características del software: Oracle Standard Edition. LINUX.

– Características de hardware: 2 GB de RAM 80 GB de capacidad.

PC Cliente para pruebas.– Características de hardware: 1 GB de RAM y 160 GB en disco duro.

– Características de software: Instalado symfony-1.2.8.

DP2. Aplicación Fase de Diseño

En la fase de diseño se elaboraron casos de prueba para las distintas funcionalidades de 3 de los módulos del sistema Mecanismo de Control de Acceso y Autenticación. Se mostrará a continuación un caso de prueba de uno de los módulos, para que sirva de ejemplo.

Descripción de la Plantilla Casos de Prueba de Unidad: En este paso se prosigue a llenar los datos solicitados en la Plantilla Casos de Prueba de Unidad para el sistema Mecanismo de Control de Acceso y Autenticación. Ver Anexo 1: Caso de prueba del módulo suAdminDomain.

Implementar pruebas automáticas: El Ingeniero de Pruebas es el encargado de implementar las pruebas de unidad de forma automática, con la ayuda de los casos de prueba descritos en el epígrafe anterior. Ver Anexo 2: Vista de las pruebas realizadas a métodos del módulo suAdminDomain.

EP3. Aplicación Fase Ejecución de las pruebas

Ejecución de las pruebas: Se procede a la ejecución de las pruebas, una vez que esté todo listo y bien definido y el probador esté capacitado para proceder con las mismas. En esta fase se realiza la actividad Evaluación de los Resultados, la cual se detalla a continuación.

Evaluación de los resultados: Se le realizaron pruebas a la mayoría de las funcionalidades de los módulos escogidos. Los casos de prueba que se habían definido anteriormente en la Plantilla de Casos de Prueba de Unidad fueron ejecutados satisfactoriamente siguiendo la estrategia que se había planteado. Los distintos errores encontrados fueron clasificados según su prioridad y a través del mecanismo correspondiente fueron informados a los responsables para su corrección. Ver Anexo 3: Reporte errores del módulo suAdminDomain. Luego de recoger los reportes de las pruebas realizadas a los 3 módulos, los errores más frecuentes fueron:

Problemas en las funcionalidades modificar (modificarDominio, modificarGrupo y modificarUsuario) de los 3 módulos que se probaron, porque permite modificar el nombre por una cadena de texto vacía.

Problemas en las funcionalidades buscarDominioPorNombre y buscarGrupoPorNombre, pues donde se esperaba que devolviera un tipo de dato fecha mientras lo que realmente devuelve es un string. Este error es difícil de detectar en otros tipos de pruebas, sin embargo, con la implementación de esta se pudo detectar fácilmente.

Problemas con la funcionalidad cambiarContrasena, pues permite cambiar la contraseña por una cadena de caracteres muy larga y también por una demasiado corta.

Se debe añadir que a estos módulos se le realizaron varios tipos de pruebas antes de aplicarle el procedimiento y a pesar de esto luego de haber ejecutado las 26 pruebas que fueron implementadas en este trabajo, se encontraron 6 funcionalidades con problemas, lo cual representa el 23% del total de las pruebas.

Conclusiones

En este trabajo se realizó la descripción del procedimiento de pruebas de unidad. Este permite una organización del trabajo además de la obtención de resultados satisfactorios para la mejora de la calidad. Además se aplicó el procedimiento al proyecto Sistema Único de Aduanas y dentro de éste al subsistema Mecanismo de Control de Acceso y Autenticación, con el objetivo de demostrar su validez. Esto permitió detectar gran cantidad de errores en código que se programado. Se espera que este trabajo pueda ser utilizado en los distintos proyectos, partiendo de que no existe una iniciativa precedente a la que se expone en este trabajo para la aplicación de pruebas de unidad, ni la existencia de plantillas como la que se propone para la documentación de los casos de prueba de unidad, incluyendo los resultados obtenidos.

Referencias Bibliográficas:

[1] cited; Available from: http://www.lab.dit.upm.es/~lprg/material/apuntes/pruebas/testing.htm

[2] Pressman, R.S., Un enfoque práctico. 2005.

[3] Myers, The art of software testing. John Wiley & Sons ed. 1979.

[4] Ivar Jacobson, G.B., James Rumbaugh, El proceso unificado de desarrollo del software. 2000, Madrid España: Rational Software Corporation

[5] Perry, W. ( 2000). Effective Methods for Software Testing. Segunda edición, Wiley.

[6] Fabien Potencier, F.Z., Symfony la guía definitiva. 2008.

Anexos

Anexo 1: Caso de prueba del módulo suAdminDomain.

Caso de prueba 1: Nombre Módulo: suAdminDomain, Versión: 1.0, Tipo de prueba: Prueba de Unidad.

Funcionalidades a ProbarDescripción
modificarDominioModifica o Actualiza un dominio en la Base de Datos (BD).
obtenerDominiosRetorna un arreglo de Dominios.
buscarDominioPorNombreVerifica que se encuentre en la BD el dominio del nombre especificado.
eliminarDominioDeshabilita el Dominio en la Base de Datos.
insertarDominioInserta un dominio en la Base de Datos.
existeDominioVerifica que exista el dominio especificado.

Casos de Prueba de Unidad

Código del Caso de Prueba: CPU1
Iteración: 1era
Descripción de la prueba: Se realizan pruebas de unidad a las principales funcionalidades del módulo suAdminDomain.
Nombre del encargado: Elizabeth Quintas Sánchez
FuncionalidadMétodo utilizadoRecibeResultado Esperado del métodoResultado Esperado de la pruebaResultado Real de la prueba
SuAdminDomaincan_ok‘toJson’‘toJson’

ok

ok

modificarDominiois1, ”false

not ok

ok

obtenerDominiosisa_ok‘array’

ok

ok

buscarDominioPorNombreisa_ok‘Dominio 1’‘SuAdminGrupo’

ok

ok

buscarDominioPorNombrecmp_ok‘Dominio 1’‘Dominio 1’

ok

ok

buscarDominioPorNombreis‘Dominio 1’true

ok

ok

buscarDominioPorNombreisa_ok‘Dominio 2’‘TIMESTAMP’

ok

not ok

eliminarDominiois1true

ok

ok

insertarDominiois‘Dominio 10’true

ok

ok

existeDominiois‘Dominio 3’true

not ok

not ok

Anexo 2: Vista de las pruebas realizadas a métodos del módulo suAdminDomain.

Fig7

Anexo 3: Reporte errores del módulo suAdminDomain.

Reporte de Prueba Nro. 1
Errores Encontrados: 2
Id Caso de Prueba: CPU1
Funcionalidad ProbadaError EncontradoClasificación del errorObservación
modificar DominioLa funcionalidad permite modificar el dominio cambiándole el nombre por una cadena de texto vacía.MediaEl nombre del dominio no puede ser una cadena de texto vacía.
buscar Dominio Por NombreEl tipo de dato que devuelve esta funcionalidad es string, cuando debería ser de tipo ‘TIMESTAMP’.BajaPara probar esta funcionalidad se realizó llamando al método getCreateAt.’TIMESTAMP’ es del tipo Fecha.
01Ene/15

Procedimiento para realizar pruebas de Caja Blanca

Propuesta de Procedimiento para realizar pruebas de Caja Blanca a las aplicaciones que se desarrollan en lenguaje Python.

Resumen

Uno de los mayores problemas que se afrontan en la esfera de la informática es la calidad de software. El proceso de pruebas al software (también conocido como beta testing) es uno de los aspectos fundamentales para medir el estado de calidad de un sistema informático e introducirlo satisfactoriamente en el mercado mundial. El objetivo del presente trabajo de diploma, es elaborar la propuesta de un procedimiento para realizar pruebas, aplicando el método de Caja Blanca, a las aplicaciones que se desarrollan con lenguaje Python en el Centro de Desarrollo de la Facultad Regional Granma de la Universidad de las Ciencias Informáticas.

En esta investigación se hizo un análisis de las principales bibliografías especializadas en el tema, profundizando en los diferentes métodos de pruebas que existen, fundamentalmente en las técnicas encaminadas a la revisión del código fuente de un sistema informático.

El trabajo propone un procedimiento para realizar pruebas de Caja Blanca a los sistemas que se desarrollan en Python. En el mismo se exponen las actividades a seguir por el Grupo de Calidad de la Facultad Regional Granma, reflejando cada uno de los artefactos de entrada y salida que se generan, indicando cómo se utilizan y se completan.

Para confirmar la validez del trabajo realizado se aplicó el procedimiento al Sistema de Gestión de Información para la Empresa de Acueducto y Alcantarillado de Granma. De acuerdo a lo planteado en la propuesta se realizaron sus actividades y se evidenciaron los resultados en cada uno de los artefactos involucrados.

Palabras clave: Artefactos, Centro de Desarrollo, Código Fuente, Grupo de Calidad, Procedimiento, Pruebas de Caja Blanca.

Abstract

Software quality is one of the bigest issues in Informatics. The process of software testing (also known as beta testing) is a fundamental aspect to measure the quality state of an informatics system so as to successfully introduce it into the market. The objective of this research is to present a proposal of procedure to apply tests as the beta testing (White Box) method to software developed in Python language at the University of Informatics Sciences ́ Development Center from Granma Regional Faculty.

To conduct this research, an analysis of the main specialized publications on the topic was carried out to deepen on the different testing methods available, mainly about the techniques to check the source code of software.

This research proposes a procedure to conduct software testing to the systems developed using Python language. The main activities to follow by the Quality Group from the Granma Regional Faculty show the entry and exit artifacts generated as well as indicate how they are used and complemented.

The procedure was applied to the Information Management System of the Aqueduct Enterprise in Granma so as to confirm the validity of the proposal. According to what it is stated in the proposal, all the activities were carried out and the results were evidenced in each of the artifacts involved.

Keywords: artifacts, development center, source code, quality group, procedure, beta test.

1 Estado del Arte.

Con el crecimiento acelerado de las tecnologías y la informática, la producción de software desempeña un papel importante, provocando a su vez una competencia en los sistemas, donde la calidad es fundamental para conseguir rentabilidad en la producción. La necesidad de realizar pruebas de calidad converge hacia el aseguramiento de la eficiencia del producto antes de salir al mercado.

Muchas empresas existentes dedicadas a la producción de software y gestión de la calidad, gozan de un alto prestigio y cuentan con sus propias estrategias de pruebas y herramientas de apoyo. Otras contratan a empresas e instituciones que se especializan en este proceso, entre ellas podemos mencionar a GreenSQA (Green Software Quality Assurance), con la misión de contribuir a la madurez de las empresas e industrias mediante el uso de servicios específicos de pruebas de software e implementación de sistemas de gestión de calidad, garantizando así procesos ágiles, confiables y eficientes.

Otro ejemplo es la empresa SQS S.A (Software Quality System S.A), que lleva acabo procesos de pruebas tanto en sus propias instalaciones como en las de sus clientes, asegurando la reducción de costes y el aumento de la calidad. Para ofrecer un mejor servicio a sus clientes, la compañía ha decidido organizar estos servicios de pruebas llevados a cabo en sus instalaciones bajo el nombre de SOQUS, el Laboratorio de Testing de SQS.

En este caso la RCCS (Red Colombiana de Calidad de Software), es un instrumento de gestión de conocimiento fundamentado en un modelo de ingeniería, que tiene como objetivo gestionar programas de apoyo a la implementación de modelos de software para fortalecer la industria nacional.

También al incremento de las tecnologías se vincula el desarrollo de aplicaciones, y en este caso nos interesan a aquellas que son creadas con la meta de poder automatizar el proceso de pruebas de código que se realizan sobre el software. Dentro del almacén de programas con este objetivo podemos encontrar las que están relacionadas con las pruebas de Caja Blanca. A continuación se mencionan algunas de estas herramientas.

JTest: Es el primer sistema automático de búsqueda de errores en el código de programación para programadores de Java. Esta nueva tecnología desarrollada por la empresa ParaSoft, utiliza la Test Generation Technolgy (Tecnologías de Generación de Pruebas) para analizar programas en Java. Se trata de una herramienta que permite realizar análisis de código, pruebas unitarias automáticas y cobertura de código, así como generación dinámica de pruebas funcionales.

En el ámbito de los análisis dinámicos, JTest es capaz de generar automáticamente todas las pruebas unitarias que sean necesarias, teniendo en cuenta los parámetros de cobertura de código e intentando encontrar pruebas que deriven en errores de ejecución. Genera pruebas funcionales filtradas por las acciones y los datos, incluyendo peticiones HTTP2 y JDBC3.

Insure++: Es un entorno automatizado en una aplicación de herramientas de prueba C/C++ que detecta errores difíciles de localizar; como corrupción de la memoria, asignación de errores de memoria, errores de iniciación de variables, definición de conflictos entre variables, indicador de errores, errores de biblioteca, errores lógicos y errores en algoritmos. Sin embargo tiene licencia la cual hay que pagar un monto significativo cada cierto período de tiempo.

BullseyeCoverage: Es un analizador de código de cobertura para C ++ y C que indica cómo gran parte del código fuente se pone a prueba. Puede usar esta información para rápidamente centrar su esfuerzo de ensayo y determinar las áreas que necesitan ser revisadas. El código cobertura de análisis es útil durante la unidad de verificación, integración de pruebas y la liberación final. Permite crear código más fiable y ahorrar tiempo. Sin embargo la licencia se debe comprar cada cierto período de tiempo, según el cliente determine, oscilando de 500 euros a 1000 euros.

LDRA: Es una herramienta de control de calidad que ofrece un potente código fuente de pruebas y análisis para la validación y verificación de aplicaciones de software. Es importante cuando el software informático requiere ser fiable, robusto y libre de errores. Se trata de un potente y plenamente integrado suite de herramientas, que permite al software avanzado de técnicas de análisis que puedan aplicarse en las etapas claves del desarrollo del ciclo de vida. Sin embargo sus herramientas no contienen la comprobación de estándares de codificación y para su empleo hay que comprarla a precios estimados.

Logiscope TestChecker: Aplicación para la representación gráfica de cobertura del código fuente. Evalúa el nivel de cobertura del código, el usuario debe de comprar la licencia por período de tiempos, no realiza evaluaciones al código de C Sharp y no cuenta con la verificación de estándares.

CMT++: Es una herramienta para la medida de la complejidad para C/C ++, la misma es fácil de utilizar para ambos lenguajes. También el código en ensamblador se puede medir con esta herramienta. CMT++ está destinado para organizaciones desarrolladoras de software que se esfuerzan por un proceso de desarrollo productivo resultante en productos de alta calidad.

Ayuda a estimar el mantenimiento general del código base y a localizar fácilmente las partes complejas de este. Se pueden evaluar por separado: poniendo especial atención a las pruebas, o tal vez rediseñándolas. Se puede utilizar CMT++ también para medir la cantidad de código que se tiene: líneas físicas, líneas de comentarios, líneas de programa, declaraciones. Es una herramienta que a pesar de sus características no es gratuita y la documentación para su aprendizaje se encuentra en otros idiomas exceptuando el castellano.

CTC++: Con esta herramienta ocurre lo mismos inconvenientes que con CMT++, aunque no se debe de dejar de mencionar que Testwell CTC++ (Test Analizador de Cobertura para C y C++) es una herramienta de cobertura código/prueba potente y fácil de usar, la cual muestra las partes del código que han sido ejecutadas (probadas). La herramienta analiza todos los niveles de cobertura requeridos en proyectos “críticos” y ayuda a garantizar una mayor calidad del código. Testwell CTC++ puede utilizarse para obtener las certificaciones en la industria automotriz, aérea y médica.

Visto el estudio y análisis en el marco internacional de las empresas desarrolladoras de software y gestión de la calidad, y ejemplos de aplicaciones existentes que se suelen emplear para garantizar la mayor calidad posible de los sistemas sometiéndolos a procesos de pruebas, la idea de alcanzar una empresa o sistema que asegure la calidad en el desarrollo de software se ha venido fortaleciendo en Cuba de forma continua. Existen empresas en el territorio que se inclinan hacia el mismo objetivo, como CITMATEL (Empresa de Tecnologías de la Información y Servicios Telemáticos Avanzados) que se distingue entre las entidades cubanas por su excelencia y creciente proyección hacia el mercado externo e interno, con una amplia diversidad de productos y servicios integrales de alto valor agregado. Entre las principales líneas de trabajo se destaca el desarrollo de sistemas dirigidos a automatizar la gestión en empresas de todo tipo.

Otro ejemplo es ALBET (Albet Ingeniería y Sistemas), cuyo origen y desarrollo se vincula estrechamente a la Universidad de Ciencias Informáticas (UCI), modelo de universidad productiva que agrupa una multitud de profesionales, técnicos y estudiantes. No podemos dejar de mencionar que la UCI cuenta también con un Centro para la Certificación de la Calidad de Software CALISOFT, unido al Departamento de Producción de Software. El centro cuenta con trabajos de diploma investigativos que se han realizado referentes a los temas sobre procedimientos generales de pruebas de Caja Blanca y procesos de pruebas referidos al método de Caja Negra. Existen en algunos proyectos productivos en la UCI, la utilización de herramientas que aplican diferentes pruebas de Caja Negra, probando la funcionalidad del software y en la minoría (prácticamente ninguno) se aplica el método de Caja Blanca de forma manual a un pequeño fragmento de código. El Grupo de Calidad de la Facultad Regional de la UCI en Granma, también participa en la realización de pruebas de software, aplicando generalmente pruebas de Caja Negra y de Carga. Por consiguiente existe la carencia de procedimientos de pruebas de Caja Blanca o empleo de aplicaciones de apoyo que permitan la automatización de estos proceso en la universidad.

2 Calidad de Software.

La calidad de software es un problema actual que afecta tanto a los productores de software como a los clientes. Con el aumento de la informatización a escala mundial la demanda de software crece exponencialmente y los desarrolladores le han brindado poco interés a la calidad de sus productos. Sucede que muchas veces los clientes reciben el software cuando se han violado las etapas de pruebas.

La calidad del software puede definirse de muchas maneras. Una de las más limitadas, conocida como “calidad pequeña”, define la calidad como la ausencia de defectos [4]. Para evaluarla de esta forma se emplean procedimientos estadísticos a partir de las tendencias de aparición de fallas durante la prueba de software.

“Existen estándares industriales que marcan aceptabilidad cuando se estima el número de defectos residuales en 0.02 defectos por millar de líneas de código y aún menos.” [5]

“Otros enfoques de calidad consideran diversos factores, entre ellos la confiabilidad” [6]. Existe una larga tradición de estudio de la confiabilidad que se asocia estadísticamente con el comportamiento del software.

Existen varias formas de definir la confiabilidad, en unos casos se considera tiempo de operación y en otros la variedad de usos propuestos. Una definición más reciente, plantea que: “La confiabilidad es la probabilidad de operación exitosa de un programa dado, en un intervalo de tiempo, en un ambiente específico”. [6]

Obteniendo la calidad requerida en el software, se logra reducir su número de errores o eliminarlos completamente, se alcanza una mayor fiabilidad para las funciones que debe realizar el mismo, mayor eficiencia e integridad de los datos así como flexibilidad y reusabilidad.

“La calidad de software es una actividad de protección que se aplica a lo largo de todo el proceso de Ingeniería del Software. Esta engloba los siguientes aspectos:” [6]  

  • Un enfoque de gestión de calidad.
  • Tecnología de Ingeniería del Software efectiva (métodos y herramientas).
  • Revisiones técnicas formales que se aplican durante el proceso del software.
  • Una estrategia de prueba multiescala.
  • El control de la documentación del software y de los cambios realizados.
  • Un procedimiento que asegure un ajuste a los estándares de desarrollo del software.
  • Mecanismos de medición y de generación de informes.

“La calidad debe ser especificada, planificada, administrada, medida y certificada. Esto implica una visión integral que arroja la comprobación del software, con el fin de lograr un mayor grado de satisfacción y confianza del cliente hacia la organización productora de software. Constituye entonces las pruebas de los software, tarea de alta prioridad para las empresas productoras”. [2].

Analizando los concepto expuesto sobre la calidad por varios autores y haciendo una inclinación por este último expresado por Pressman gracias a que se considera como uno de los más completos y acordes al objeto de estudio, también cabe decir que la calidad es considerada una disciplina integral y a la vez una cualidad indisoluble del software para su comprobación, muy ligada a las empresas productoras como tarea fundamental en sus procesos de pruebas.

3 Pruebas de Software.

Unas de las vías más importantes para determinar el estado de la calidad de un producto de software es el proceso de pruebas. Estas están dirigidas a componentes del sistema en su totalidad, con el objetivo de medir el grado en que cumple con los requerimientos. En ellas se usan casos de prueba, especificados de forma estructurada mediante técnicas. Sus objetivos, métodos y técnicas usadas se describen en el plan de prueba.

La prueba es una actividad fundamental en muchos procesos de desarrollo, incluyendo el del software. Estas permiten detectar la presencia de errores que pudieran generar las entradas o salidas de datos y comportamientos inapropiados durante su ejecución. Un concepto más específico dado por algunos desarrolladores de software es:

“Cualquier intento de demostrar que el software tiene propiedades por debajo de la calidad requerida”. [7].

De acuerdo a la IEEE [8] el concepto de prueba se define como:

“Una actividad en la cual un sistema o componente es ejecutado bajo condiciones específicas, se observan o almacenan los resultados y se realiza una evaluación de algún aspecto del sistema o componente”. [9].

Otro concepto importante a tomar en consideración es el emitido por Pressman en su edición de 1998, que plantea lo siguiente:

“La prueba del software es un elemento crítico para la garantía de calidad del software y representa una revisión de las especificaciones, del diseño y de la codificación”. [9].

Teniendo en cuenta las definiciones anteriores se puede concluir que la prueba de software es una actividad en la cual el sistema es ejecutado bajo condiciones específicas para demostrar que no tiene la madurez necesaria para ser implantado. Dentro de las actividades que se practican para obtener un software con la madurez necesaria están:

  • Revisiones: consiste en que cada integrante del equipo de desarrollo revisa el producto que va generando.
  • nspecciones: revisión de cada producto por parte de colegas.
  • Validaciones: es el cliente quien revisa el producto para decir si cumple con sus necesidades.

Esta definición implica que se considera una prueba exitosa si se demuestran deficiencias en el software. Las fallas pueden ser en el código o en el modelado, en dependencia del tipo de pruebas que se le apliquen al software.

Se distinguen pruebas técnicas y pruebas funcionales. Las pruebas técnicas son la responsabilidad de los ingenieros de software que han desarrollado el producto, pero estos ingenieros en ocasiones deben hacerse cargo de las pruebas funcionales.

En proyectos a gran escala las pruebas funcionales son la responsabilidad de un equipo de pruebas, formado por uno o varios técnicos, un coordinador de pruebas y un gestor de pruebas o de calidad.

3.1 Características generales de la Estrategia de Prueba.

Al aplicarles las pruebas al software se deben seguir un conjunto de estrategias para lograr que estas se hagan en el menor tiempo posible y con la calidad requerida, además de garantizar que arrojen los resultados esperados.

Dentro de las características generales de la estrategia de prueba se encuentran. [2]

  1. La prueba comienza en el nivel de módulo y trabaja “hacia fuera”, hacia la integración completa del sistema completo.
  2. En diferentes puntos es adecuada la utilización de técnicas de prueba distintas.
  3. La prueba la lleva a cabo el que desarrolla el software y para grandes proyectos, un grupo de prueba independiente.
  4. La prueba y la depuración son actividades diferentes, pero la depuración puede entrar en cualquier estrategia de prueba.

Hay dos estrategias generales para la prueba de software: las estrategias de pruebas de especificación (Caja Negra) y pruebas de código (Caja Blanca).

4 Métodos de Pruebas.

Existen diversos métodos para realizar las pruebas de software, entre las más importantes se encuentran la prueba de Caja Blanca, prueba de Caja Negra y prueba de la Estructura de Control.

El uso de la prueba de Caja Blanca es mejor para verificar que se recorran todos los caminos y detectar un mayor número de errores. La Caja Negra brinda la posibilidad de cubrir la mayor parte de las combinaciones de entradas y lograr así un juego de pruebas más eficaz.

Las pruebas mencionadas permiten probar cada una de las condiciones existentes en el programa, identificar claramente las entradas, salidas y estudiar las relaciones que existen entre ellas, permitiendo así maximizar la calidad de las pruebas y en dependencia del resultado se constará con un sistema más estable y confiable.

4.1 Prueba de Especificación (Caja Negra).

Pruebas de Caja Negra: También suelen ser llamadas funcionales y basadas en especificaciones. En ellas se pretende examinar el programa en busca de que cuente con las funcionalidades que debe tener y como lleva a cabo las mismas, analizando siempre los resultados que devuelve y probando todas las entradas en sus valores válidos e inválidos.

Al ejecutar las pruebas de Caja Negra se desarrollan casos de prueba reales para cada condición o combinación de condiciones y se analizan los resultados que arroja el sistema para cada uno de los casos. En esta estrategia se verifica el programa considerándolo una caja negra. Las pruebas no se hacen en base al código, sino a la interfaz. No importa que se cubran todas las rutas dentro del programa, lo importante es probar todas las entradas en sus valores válidos e inválidos y lograr que el sistema tenga una interfaz amigable.

4.1.1 Limitaciones

Lograr una buena cobertura con pruebas de caja negra es un objetivo deseable; pero no suficiente a todos los efectos. Un programa puede pasar con holgura millones de pruebas de especificación y sin embargo tener defectos internos que surgen en el momento más inoportuno.

Por ejemplo, una computadora que contenga el virus Viernes-13 puede estar pasando pruebas de caja negra durante años y años. Sólo falla si es viernes y es día 13; pero ¿a quién se le iba a ocurrir hacer esa prueba? [11]

Las pruebas de caja negra nos convencen de que un programa realizar bien sus funcionalidades programadas, pero no de que haga (además) otras cosas menos aceptables.

4.2 Prueba de Código (Caja Blanca).

Pruebas de Caja Blanca: También suelen ser llamadas estructurales o de cobertura lógica. En ellas se pretende investigar sobre la estructura interna del código, exceptuando detalles referidos a datos de entrada o salida, para probar la lógica del programa desde el punto de vista algorítmico. Realizan un seguimiento del código fuente según se va ejecutando los casos de prueba, determinándose de manera concreta las instrucciones, bloques, etc. que han sido ejecutados por los casos de prueba.

En las pruebas de Caja Blanca se desarrollan casos de prueba que produzcan la ejecución de cada posible ruta del programa o módulo, considerándose una ruta como una combinación específica de condiciones manejadas por un programa.

Hay que señalar que no todos los errores de software se pueden descubrir verificando todas las rutas de un programa, hay errores que se descubren al integrar unidades del sistema y pueden existir errores que no tengan relación con el código específicamente.

4.2.1 Características de las pruebas de Caja Blanca.

En las pruebas de Caja Blanca, se pretende indagar sobre la estructura interna del código, omitiendo detalles referidos a datos de entrada o salida. Su objetivo principal es probar la lógica del programa desde el punto de vista algorítmico.

Estas se basan en el diseño de Casos de Prueba que usa la estructura de control del diseño procedimental para derivarlos. Mediante las pruebas de Caja Blanca el ingeniero de software puede obtener Casos de Prueba que: [11]

  • Garanticen que se ejerciten por lo menos una vez todos los caminos independientes de cada módulo, programa o método.
  • Ejerciten todas las decisiones lógicas en las vertientes verdadera y falsa.
  • Ejecuten todos los bucles en sus límites operacionales.
  • Ejerciten las estructuras internas de datos para asegurar su validez.

Las pruebas de Caja Blanca son consideradas entre las más importantes que se aplican a los sistemas, con la que se obtienen como resultados la disminución en un gran porciento el número de errores existentes en el software y por ende una mayor calidad y confiabilidad en la codificación.

4.2.2 Tipos de pruebas de Caja Blanca.

De estructura de datos locales:

Se centran en el estudio de las variables del programa. Busca que toda variable esté declarada y que no existan con el mismo nombre, ni declaradas local y globalmente, que haya referencias a todas las variables y para cada variable, analiza su comportamiento en comparaciones.

De cobertura lógica:

  • De Cobertura de Sentencias: Comprueba que todas las sentencias se ejecuten al menos una vez.
  • De Cobertura de Decisión: Ejecuta casos de prueba de modo que cada decisión se pruebe al menos una vez a Verdadero (True) y otra a Falso (False).
  • De Cobertura de Condición: Ejecuta un caso de prueba a True y otro a False por cada condición, teniendo en cuenta que una decisión puede estar formada por varias condiciones.
  • De Cobertura de Condición/Decisión: Se realizan las pruebas de cobertura de condición y las de decisión a la vez.
  • De Condición Múltiple: Cada decisión multicondición se traduce a una condición simple, aplicando posteriormente la cobertura de decisión.
  • De Cobertura de Caminos: Se escriben casos de prueba suficientes para que se ejecuten todos los caminos de un programa. Entendiéndose camino como una secuencia de sentencias encadenadas desde la entrada del programa hasta su salida. [11]
4.2.3 Prueba del Camino Básico.

Buscando una mejor comprensión de los contenidos, se hace importante definir primeramente algunos conceptos fundamentales:

Camino: “Secuencia de todas las instrucciones de un programa de principio a fin”. [2] Un camino se puede definir como la ruta de secuencias que se siguen dentro del código de fuente de un programa, un ejemplo es, desde la entrada de valores al sistema hasta la devolución de resultados que arroja, respetando la estructura de código.

Camino Básico: Es una técnica de prueba de Caja Blanca que permite obtener una medida de complejidad lógica para generar un conjunto básico de caminos que se ejecutan por lo menos una vez durante la ejecución del programa. [12]

La prueba del camino básico es una técnica de pruebas de Caja Blanca propuesta por Tom MacCabe. Esta técnica permite obtener una medida de la complejidad lógica de un diseño y usar esta medida como guía para la definición de un conjunto básico. La idea es derivar casos de prueba a partir de un conjunto dado de caminos independientes por los cuales puede circular el flujo de control.

Camino independiente: “Es cualquier camino del programa que incluye nuevas instrucciones de un proceso o una nueva condición”. [12]

El conjunto de caminos independientes se obtiene construyendo el Grafo de Flujo asociado y se calcula su complejidad ciclomática. Por último se diseñan los casos de prueba y se ejecutan los mismos.

Complejidad: Es proporcional al número de errores en un segmento de código. “Entre más complejo, más susceptible a errores”. [13] Se relaciona con el esfuerzo requerido para probar. “Entre más complejo, mayor atención para probar”. [13]

Complejidad ciclomática: Es la “medida de la complejidad lógica de un módulo “G” y el esfuerzo mínimo necesario para calificarlo. Es el número de rutas lineales independientes de un módulo “G”, por lo tanto es el número mínimo de rutas que deben probarse”. [13]

Esta técnica ofrece una gran ventaja con respecto a las otras técnicas, ya que el número mínimo requerido de pruebas se sabe por adelantado y por tanto el proceso de prueba se puede planear y supervisar en mayor detalle.

Los pasos a seguir para aplicar esta técnica son:

  1. Representar el programa en un grafo de flujo.
  2. Calcular la complejidad ciclomática.
  3. Determinar el conjunto básico de caminos independientes.
  4. Derivar los casos de prueba que fuerzan la ejecución de cada camino.

A continuación, se detallan cada uno de estos pasos.

  1. Representación de un grafo de flujo:

El grafo de flujo se utiliza para representar el flujo de control lógico de un programa. Este emplea los tres elementos siguientes:  

  • Nodos: Representan cero, una o varias sentencias en secuencia. Cada uno comprende como máximo una sentencia de decisión (bifurcación).
  • Aristas: Líneas que unen dos nodos.
  • Regiones: Áreas delimitadas por aristas y nodos. Cuando se contabilizan las regiones de un programa debe incluirse el área externa como una región más.

Así, cada construcción lógica de un programa tiene una representación. La Figura 1 muestra un grafo de flujo del diagrama de módulos correspondiente. Nótese cómo la estructura principal corresponde a un while y dentro del bucle se encuentran anidados dos constructores if. [14]

Figura 1: Ejemplo de grafo de flujo correspondiente a un diagrama de módulos.