Designing a checking test for a linear finite automaton

A simple procedure is proposed for design of a checking test for a linear observable finite automaton. For an automaton which is linear in a binary field an estimate is given of the length of the resultant test which detects single constant faults.