A methodology to test instrument software: an automotive diagnostic system application