A Methodology To Test Instrument Software: An Application To the Diagnostic in Automotive Systems