Περίληψη:
Simulation program testing is an important phase of a simulation study which aims to uncover
errors in the simulation program. This paper presents the adoption of two complementary functional techniques
for the testing of simulation programs that are built on top of discrete-event simulation-specific libraries. The
power of each technique in uncovering imputed errors in the simulation program is demonstrated while it is
shown that the adoption of the techniques requires the extension of the simulation library with new
functionality.