A black-box test technique in which test cases are designed to exercise elements of a state transition model.