Título: Ejecución simbólica
Descripción: Silva Galiana, Josep Francesc;
Este video explica qué es la ejecución simbólica en los lenguajes de programación. Utiliza diferentes ejemplos para mostrar su utilidad en el campo del testing. El video muestra un ejemplo de generación de un árbol de ejecución simbólica y propone un ejercicio (y lo resuelve) para que el alumno trate de resolverlo.
hdl.handle.net/...
Descripción automática: En este vídeo se explica cómo se genera un árbol de ejecución simbólico para un programa y cómo se pueden obtener casos de test a partir de él. Se muestran dos ejemplos de código, uno simple y otro más complejo, donde se analizan las condiciones necesarias para llegar a cada una de las hojas del árbol y se generan ecuaciones que representan estas condiciones. Luego, se resuelve cada una de estas ecuaciones para obtener valores concretos que satisfacen las condiciones y, por lo tanto, casos de test que cubren todas las ramas del programa. Se muestra cómo la ejecución simbólica puede generar casos de prueba de caja blanca que alcanzan una cobertura del 100% y se discuten algunos de los desafíos de esta técnica, como la posibilidad de ejecuciones infinitas.
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
#Ejecución simbólica #Lenguajes de programación #