A lightweight deterministic finite automaton tester