Methodology for automating coverage-driven interrupt testing of instruction sets