Testbenches (called Watchdogs in earlier versions of Rational Statemate) are separate Statecharts created outside the specification of the system being developed.
Testbenches trap a specific behavior to test a design’s inputs and outputs. It’s a “snapshot of a scenario.” Testbenches also serve as debuggers, and they are visible to all signals in the design without having to draw discrete flows.