The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Feb. 04, 2020
Filed:
Jan. 16, 2017
International Business Machines Corporation, Armonk, NY (US);
Herwig Elfering, Boeblingen, DE;
Thomas Glaesser, Boeblingen, DE;
Karlo Petri, Boeblingen, DE;
Bernd Simmet, Boeblingen, DE;
INTERNATIONAL BUSINESS MACHINES CORPORATION, Armonk, NY (US);
Abstract
A method is provided for verifying functional correctness of a device driver for a controller hardware component being emulated in an emulation environment including a virtual processor. The method includes providing a communication device in the emulation environment. The communication device receives at least one execution condition and an error injection command from a communication device driver associated with the communication device. The controller hardware component executes device operation commands received from the device driver. Based on the communication device determining that the at least one execution condition is fulfilled while the device operation commands are executed, the method provides for the communication device to: halt the operation of the virtual processor; inject an error into the controller hardware component by executing the error injection command; and resume the operation of the virtual processor.