Stav dette: Observation Equivalence as a Testing Equivalence