Título: Concolic Testing
Descripción: Silva Galiana, Josep Francesc;
Este video explica qué es el testeo concólico (del anglicismo "concolic testing"), para qué sirve y cómo se utiliza en la generación de casos de test. Se explica cómo generar casos de prueba con esta técnica.
hdl.handle.net/10251/204918
Descripción automática: En este vídeo se explica el concepto de testing combinado, (Colect Testing) que combina técnicas de caja negra y caja blanca para mejorar la cobertura de pruebas. Se discuten los problemas de la ejecución simbólica, como la resolución de ecuaciones complejas y la generación de bucles infinitos, y se presenta cómo el Colect Testing puede resolver estos problemas mediante la combinación de ejecuciones concretas aleatorias y ejecuciones simbólicas. Se proporciona un ejemplo práctico para ilustrar cómo funciona esta técnica y se resuelve un ejercicio que muestra cómo generar casos de prueba que cubren diferentes ramas del código.
Autor/a: Silva Galiana Josep Francesc
+ Universitat Politècnica de València UPV: www.upv.es
+ Más vídeos en: / valenciaupv
+ Accede a nuestros MOOC: upvx.es
#Concolic testing #Lenguajes de programación #Testeo de software #
20 июн 2024
