1. A method for creating a plurality of output test vectors from a statechart, wherein the statechart specifies requirements of a system function to be executed by a system-performing device and comprises a plurality of states, a plurality of variables and a plurality of transitions, wherein at least one transition of the plurality of transitions comprises a condition expressed in terms of at least one variable in the plurality of variables, comprising: performing a forward-propagation pass through the statechart to forward propagate the plurality of transitions, wherein a forward-reached-transition environment is generated for each transition forward propagated during the forward-propagation pass; and creating an output test vector in the plurality of output test vectors based on the generated forward-reached-transition environment.