testable hmm model