TVSP: A Tool for Validation Software Projects in programming labs

Sierra, Antonio Jesús Zapata; Ariza, T.; Fernández, Flórez; Madinabeitia, Germán

doi:10.1109/educon.2012.6201196

Cited by 2 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…La integración de herramientas genéricas como Valgrind en cursos de programación en C es bastante común al aportar una serie de ventajas como son detección de fugas de memoria o de problemas de concurrencia. Como muestra se citan (Lee, Kester & Schulzrinne 2011) y (Sierra et al 2012). En (Lee, Kester & Schulzrinne 2011) los profesores encargados del curso penalizan los fallos de los alumnos detectados mediante la herramienta Valgrind, considerando que aporta una información valiosa.…”

Section: Trabajo Relacionadounclassified

“…En (Lee, Kester & Schulzrinne 2011) los profesores encargados del curso penalizan los fallos de los alumnos detectados mediante la herramienta Valgrind, considerando que aporta una información valiosa. Por otro lado en (Sierra et al 2012) la herramienta Valgrind forma parte de la validación hecha en los laboratorios para que el alumno sea consciente de la calidad de su proyecto software. En el caso del presente artículo es una herramienta web sirve de apoyo al material de aprendizaje de la concurrencia en C.…”

Section: Trabajo Relacionadounclassified

“…Algunas de estas herramientas (Havelund, Pressburger 2000) (Nethercote, Seward 2007) pueden ofrecer información sobre la existencia o no de condiciones de carrera o de interbloqueo, o fugas de memoria, en un cierto código de forma automática. Dicha información puede ser usada en el entorno docente para dar información adicional sobre la causa o el origen de dicho error y que a su vez sería utilizado (Sierra et al 2012, Lee, Kester & Schulzrinne 2011 para mejorar la enseñanza de la concurrencia en C.…”

Section: Introductionunclassified

See 2 more Smart Citations

Herramienta Web Ligera para La Programación en C-Concurrente

Val

García-Valls

López-Anastasio

2013

Revista Iberoamericana de Automática e Informática Industrial R

View full text Add to dashboard Cite

Resumen El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herramientas que permiten detectar si ha habido algún tipo de problema en un programa escrito en Cconcurrente. Dichas herramientas ofrecen interfaces que pueden complementar la información dada por un compilador con información adicional sobre diferentes tipos de condiciones de carrera o fugas de memoria que aparecen en el código. El presente trabajo tiene por objetivo ver cómo se ha integrado un núcleo de validación para C ya existente como aplicación web, lo que le permite estar accesible a través de la red. Dicha herramienta ha sido evaluada en un curso de programación ya existente, donde ha mostrado que es capaz aportar información adicional de utilidad para el discente y el docente. También se han realizado una serie de mediciones de rendimiento para establecer los límites operativos de la herramienta diseñada dentro de los límites de una asignatura donde se enseña C concurrente.

show abstract

Section: Trabajo Relacionadounclassified