Extensiones de Mtest.search para la generación de código de prueba

• Autores: Alejandro Miguel Güemes-Esperón, Martha Dunia Delgado Dapena, Perla Fernández Oliva, Heydi Margarita Henry-Chibas
• Localización: Ingeniería Industrial, ISSN-e 1815-5936, Vol. 43, Nº. 1, 2022, págs. 49-63
• Idioma: español
• Títulos paralelos:
  • Mtest.search extensions for test code generation
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    RESUMEN Las pruebas de software se centran en la detección de defectos o fallos durante la ejecución del código. La prueba constituye una tarea creativa desafiante, por lo que se hace necesaria su automatización. La adopción de buenas prácticas y estrategias de pruebas, contribuye a la elevar la eficiencia de las empresas desarrolladoras de softwares. El modelo MTest.search para la generación automática de pruebas unitarias tiene definidos mecanismos de extensión del modelo de dominio, de prueba y de ejecución. En este trabajo se presentan mecanismos para extender el modelo de reducción basado en búsquedas. Las extensiones propuestas tienen en cuenta los objetos y conjuntos involucrados en el código fuente, y potencia la detección de defectos o fallos a partir de la significación de los valores y caminos/escenarios involucrados en la prueba. Para validar la propuesta se definieron dos casos de estudios empleando métodos clásicos y de proyectos reales.

  • English

    ABSTRACT Software testing focuses on detecting defects or failures during code execution. Testing is a challenging creative task, requiring automation. The adoption of good practices and testing strategies contributes to increasing the efficiency of software development companies. MTest.search model for automatic unit test generation has defined domain model extension, test, and execution mechanisms. In this work, mechanisms to extend the search-based reduction model are presented. The proposed extensions take into account the objects and sets involved in the source code, and enhance the detection of defects or failures based on the significance of the values ​​and paths / scenarios involved in the test. To validate the proposal, three case studies were defined using classical methods and real projects.