發送短信: Observation Equivalence as a Testing Equivalence