  We review the general relativistic theory of the motion, and of the timing,
of binary systems containing compact objects (neutron stars or black holes).
Then we indicate the various ways one can use binary pulsar data to test the
strong-field and/or radiative aspects of General Relativity, and of general
classes of alternative theories of relativistic gravity.
