公开(公告)号：GB2512054A

公开(公告)日：2014-09-24

申请号：GB201304892

申请日：2013-03-18

Applicant: IBM

Inventor： SENNER TOBIAS ,  SCHAUFLER RALF

IPC: G06F17/50 ,  G01R31/3183 ,  G01R31/3193

Abstract: A method to verify correctness of computer system software and hardware components by comparing a modified system software and/or hardware version of the computer with a verified system software and hardware version of the computer which is assumed to work correctly using a test environment (1), which comprises an execution environment (10a) running a verified or modified system software version connected to a verified or modified hardware model (20a) or hardware system version of the computer comprising at least one chip (22a); comprises the steps of: Operating the test environment (1) with the verified system software and hardware version; monitoring and recording each hardware access during operation of the test environment (1) with the verified system software and hardware version to generate a corresponding verified trace file; operating the test environment (1) with the 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 (1) with the modified system software and/or hardware version; defining an arbitrary order for target chips (A, B, C) in the verified and the modified hardware model (20a) or hardware system version; sorting sequences of entries in both trace files according to the target chip order; comparing the sorted trace files by comparing their entries each by each and outputting a corresponding comparison result.

公开(公告)号：GB2508643A

公开(公告)日：2014-06-11

申请号：GB201222038

申请日：2012-12-07

Applicant: IBM

Inventor： SCHAUFLER RALF ,  POHL THOMAS ,  NOSSE MARKUS ,  SCHULZE JOERG ,  BOLTE DIRK ,  MAYER CARL

IPC: G06F11/36

Abstract: A method for performing a regression test comprises: the creation of a map of at least one source file to a test case by storing a relationship between the files which was used to verify the source file in the past; assembling exactly the test cases mapped with the modified source file into a test case scenario; and regression testing based in the scenario. Preferably, mappings may provide an unambiguous correlation between the test case and source file, where all test cases may have been previously used for testing the source file. The mapping may be updated (such as deletion of defunct relationships) before initiating the test. The maps may be stored in a database, and provided to a source control management system and regression test entity. The test case scenario assembly may require a valid problem number. Also included is a claim to a system for performing the method.