Dos evaluaciones de la visualización con SRec de algoritmos de búsqueda

Abstract

SRec es un sistema para la visualización de la recursividad. Este informe presenta los resultados de dos evaluaciones de las visualizaciones que SRec genera para algoritmos de búsqueda en espacios de estados en forma de árbol, estudiando su aplicación a dos técnicas de diseño (vuelta atrás y ramificación y poda). Las evaluaciones se realizaron en una sesión de laboratorio de familiarización con el sistema SRec. En ambas evaluaciones se valoraron dos visualizaciones: una genérica (árboles de recursión) y otra diseñada específicamente para esta clase de algoritmos (vistas de líneas). En la primera evaluación también se indagó qué esquemas de programación de ambas técnicas de diseño eran más legibles y generaban visualizaciones más comprensibles. El informe incluye, como apéndices, el enunciado de cada sesión de familiarización, los cuestionarios utilizados y las respuestas de los alumnos.