Synthesis of test purpose directed reactive planning tester for nondeterministic systems