This example demonstrates how a SCTUnit Test File could look like and how you can execute them to verify that a statechart model works correctly.
This project builds up on the Traffic Light example for Java. The SCTUnit File in the folder 'tests' tests the function and logic of the statechart. To run the Test, right click on the File and Select 'Run As -> SCT Unit'. The JUnit view will open and you will see the results. In the package 'traffic.light.tests' in the folder 'src-gen' is also a JUnit Test which was generated from the SCTUnit File.
To sum up the statechart model: There are two traffic lights: one for the traffic on the street, and one for pedestrians who want to cross the street. They can push a button to request their traffic light to turn green, which activates a blinking wait-light first. The street's traffic light then goes through the standard procedure, turning on the yellow light, followed by the red light, allowing the pedestrians to cross safely. After some time, the pedestrians' traffic light turns red again, and the cars are allowed to pass until the next request is made by a pedestrian.
Additionally, the traffic light can be switched off completely. This turns the yellow lights into a blinking mode, signaling that the traffic light is indeed switched off and that the street should be crossed in a careful manner.