1. A method of generating a random sequence of commands for a semiconductor device, the method comprising: generating random state transitions within a finite state machine model of the semiconductor device; and determining a sequence of commands which are associated to the generated random state transitions based on the finite state machine model of the semiconductor device.