Αποστολή με SMS: Observation Equivalence as a Testing Equivalence