lorenz.stechauner/BSc-Thesis
1
0
Fork 0
Code Activity

thesis: Adapt to feedback from Prof.

Browse Source
This commit is contained in:
Lorenz Stechauner
2025-08-29 11:58:07 +02:00
parent d028bfb65d
commit 63e9ca046f
6 changed files with 18 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
thesis/src/01.introduction.tex
View File

@@ -9,8 +9,8 @@ This chapter gives a general overview about what the motivation and goal for thi
\section{Motivation and Goal}\label{sec:motivation-and-goal}
When teaching students about Operating Systems, their interfaces, and standard libraries, C is still a widely used language, especially when using Linux.
Therefore, it is obvious, why many university courses still require students to write their assignments and exams in C\@.
The problem, when trying to verify whether students have correctly implemented their assignment, is that low-level OS constructs (like semaphores, pipes, sockets, memory management) make it hard to run automated tests, because the testing system needs to keep track, set up, and verify the usage of these resources.
Therefore, it is obvious why many university courses still require students to write their assignments and exams in C\@.
The problem when trying to verify whether students have correctly implemented their assignment, is that low-level OS constructs (like semaphores, pipes, sockets, memory management) make it hard to run automated tests, because the testing system needs to keep track, set up, and verify the usage of these resources.
The goal of this work was to find a way to easily intercept system or function calls, and to verify if students called the right functions, with the right arguments, at the right time.
This restriction in scope allows focusing on simple binary programs without having to think about complex or I/O heavy programs.