University of Twente Student Theses
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.
Demonstrating runtime assertion checking using Snap!
Arkel, Lars van (2020) Demonstrating runtime assertion checking using Snap!
PDF
335kB |
Abstract: | This paper details the design of an extension to the visual programming language Snap! that aims to implement program verification using runtime assertion checking. In order to design this, we have looked at other program verification tools and how Snap! works. Three designs for implementing the verification in the user interface have been suggested, and a prototype has been made that uses one of the design options. This prototype contains preconditions, postconditions, assertions and a few extra Boolean logic blocks. It has also been tested if the verification techniques do work as expected. |
Item Type: | Essay (Bachelor) |
Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
Subject: | 54 computer science |
Programme: | Computer Science BSc (56964) |
Link to this item: | https://purl.utwente.nl/essays/80736 |
Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page