Definition.    Source code simulator.

Let T be an input tape for simulation. A simulator reads an input tape in order to simulate the atoms of it by implementing the corresponding semantics. The simulator updates the contents of the tape in order to save the execution history with the results of it as an output tape.

Theory background

The input tape and the output tape has their origin in the automata theory, especially in the Turing machine model.


As a practical implementation they are vectors or specific objects (classes) in the tool. For defining the simulation process the way a test case is defined, one only needs to append the corresponding atoms one after another to the tape.