Abstracting and testing the position tracker