Probabilistic Trace and Testing Semantics