Testing Nondeterminate Systems