Pruebas de mutación, control sobre variaciones en el código fuente
- Format
- Article
- Status
- publishedVersion
- Description
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.
Software testing as an essential complement in the quality process, have become an important factor for companies. Quality is the result of a series of tests and inspections to be performed at a specific program to check compliance with the requirements defined in the early stages of design. In the branch of computer science, the quality is governed by metrics and specific models that provides important support to validate the software. The way to achieve a higher level of quality requires effort and techniques to help this process. This research contributes to raising the quality of the tests performed to software products that are created in the Digital Signals Department of the CITEC. It has as main goal the development of testing structure of control and testing mutation so as to obtain results through more than one technique of White Box testing. Powerful technologies were used for the development of the tool between the mentioned C++ programming language and development framework Qt, The Visual Paradigm tool was selected for modeling the main diagrams and representations of the system and the construction of the solution was guided by the agile methodology SXP. Further references to architecture and design patterns were applied to provide greater organization to the structure of the application.
- Publication Year
- 2019
- Language
- spa
- Topic
- de
- Repository
- RI de Documento Digitales de Acceso Abierto de la UTP
- Get full text
- https://revistas.utp.ac.pa/index.php/id-tecnologico/article/view/2228
https://ridda2.utp.ac.pa/handle/123456789/7056
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by-nc-sa/4.0/