Satellite navigation testing