Pruebas de mutación, control sobre variaciones en el código fuente

Abstract

Las pruebas de software, como complemento fundamental dentro del proceso de calidad, se han convertido en un factor importante para las empresas. La calidad es el resultado de una serie de pruebas y revisiones que se le realiza a un programa en específico para comprobar que se cumpla con los requisitos definidos en las primeras etapas de su diseño. En la rama de las ciencias informáticas la calidad se rige por métricas y modelos específicos que brindan un apoyo importante para validar el software. La manera de lograr un nivel mayor de calidad requiere de esfuerzo y técnicas que ayuden a este proceso. La presente investigación apoya el proceso de pruebas que se realiza en los productos software que se crean en el Departamento de Señales Digitales de la CITEC. Tiene como objetivo principal el desarrollo de pruebas de mutación para de esta manera obtener resultados a través de más de una técnica de prueba de Caja Blanca. Se utilizaron tecnologías de gran potencia para el desarrollo de la herramienta entre las que se mencionan C++ como lenguaje de programación y Qt como framework de desarrollo. El Visual Paradigm fue la herramienta seleccionada para el modelado de los principales diagramas y representaciones del sistema y la construcción de la solución fue guiada por la metodología ágil SXP. Además, se aplicaron los patrones de diseño y de arquitectura para brindan mayor organización a la estructura de la aplicación.

Keywords

• prueba, mutación, técnicas de pruebas de caja blanca.