; Tests for DoorControl 0.00 0.10 doorclosed front left true N ; DoC.5 0.00 0.10 doorclosed front right true N ; DoC.5 0.00 0.10 doorclosed back left true N ; DoC.5 0.00 0.10 doorclosed back right true N ; DoC.5 0.00 0.10 drivespeed stop 0.0 N ; DoC.5 0.00 0.05 atfloor 1 front true N ; DoC.5 0.00 0.05 atfloor 1 back true N ; DoC.5 0.05 0.20 desiredfloor 1 front stop N ; DoC.5 Doors should transition from STOP_CLOSED to OPEN ; 0.20 0.20 desireddwell front 5000 N ; DoC.2 0.20 0.20 dooropened front left false N ; DoC.2 0.20 0.20 dooropened front right false N ; DoC.2 0.20 0.20 dooropened back left false N ; DoC.2 0.20 0.20 dooropened back right false N ; DoC.2 0.20 0.10 doorclosed front left false N ; DoC.2 0.20 0.10 doorclosed front right false N ; DoC.2 1.00 0.20 dooropened front left true N ; DoC.2 1.00 0.20 dooropened front right true N ; DoC.2 Doors should transition from OPEN to STOP_OPEN ; 1.60 0.20 carweight 16000 N ; DoC.3 1.60 0.20 desireddwell front 0 N ; DoC.3 Doors should stay in STOP_OPEN state 3.00 0.20 carweight 5000 N ; DoC.3 Doors should transition from STOP_OPEN to CLOSE ; 3.40 0.20 dooropened front left false N ; DoC.1 3.40 0.20 dooropened front right false N ; DoC.1 3.80 0.01 doorreversal front left true N ; DoC.1 3.80 0.01 doorreversal front right true N ; DoC.1 Doors should transition from CLOSE to OPEN ;Notes: ;Transitions/states here refer to one possible solution for DoorControl. ;This is not a complete set of tests - there has to be at least one test per arc (and possibly more)