Several researches are currently dealing with the validation of ad hoc routing protocols. But almost all of them stress their analysis from simulation or emulation studies. We present in this paper a formal methodology for the conformance and interoperability testing of the DSR protocol based on a formal specification of the protocol designed in SDL. Difficulties in interoperability testing are illustrated and solutions are proposed.