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.

Date of Patent:
Mar. 26, 2019

Filed:

Nov. 18, 2013
Applicant:

International Business Machines Corporation, Armonk, NY (US);

Inventors:

Ralf Schaufler, Boeblingen, DE;

Tobias Senner, Boeblingen, DE;

Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/34 (2006.01); G06F 11/36 (2006.01); G06F 11/26 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3461 (2013.01); G06F 11/261 (2013.01); G06F 11/3476 (2013.01); G06F 11/3668 (2013.01);
Abstract

A method is presented to verify correctness of computer system software and hardware components. The method includes: operating a test environment with a verified system software and hardware version; monitoring and recording each hardware access during operation of the test environment with the verified system software and hardware version to generate a corresponding verified trace file; operating the test environment with a modified system software and/or hardware version; monitoring and recording each hardware access to generate a corresponding new trace file during operation of the test environment with the modified system software and/or hardware version; defining an arbitrary order for target chips in the verified and the modified hardware model or hardware system version; sorting sequences of entries in both trace files according to the target chip order; and comparing the sorted trace files by comparing their entries each by each and outputting a corresponding comparison result.


Find Patent Forward Citations

Loading…