Testing Reactive Systems with Data door