Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes