University of Twente Student Theses


Teaching Array Verification Using Snap!

Verheijen, D. (2022) Teaching Array Verification Using Snap!

[img] PDF
Abstract:Working with arrays is a vital skill for any programmer. Functions that use arrays can be complex, making it hard to verify the correctness of the function. Program verification can be used to check the functionality of a program more thoroughly. Providing novice programmers with the knowledge to use verification techniques could greatly improve the quality of their programs. Snap! is a visual programming language tailored to high school students. In this research project, we propose a library for arrays as an extension of VerifiedSnap!. VerifiedSnap! is an extension made for Snap! that allows it to support both runtime and static verification techniques. Exercises to go along with the designed tool were designed to help teach high school students how to use arrays and verification techniques. A small empirical study was carried out to determine how useful the designed tool and exercises would be in teaching students. The results of the study are inconclusive, but suggestions to improve this in the future are described.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science, 81 education, teaching
Programme:Computer Science BSc (56964)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page