Table of Contents
Testing SimPy
makeISuite ()
makeMSuite ()
makePSuite ()
makeRSuite ()
makeSSuite ()
Interrupted
Interruptor
Job
Job class for testing
Observer1
Observer2
P
P class for testing
PS1
PS2
Thing
Thing class for testing Monitors in simulation
makeInterrupttestcase
Tests interrupts as defined in SEP001v17
makeMtestCase
Test Monitor
makePStatetestcase
Tests states and state transitions as defined in SEP003
makeResourcetestcase
First simple tests of Resources
makeSimulationtestcase
Tests of simulation