Verification of dynamic logical partitioning

A method for verifying transitions between logical partition configurations, the method comprising:

• dividing physical resources of a processing core into a number of logical partitions, wherein each logical partition has an associated context comprising at least one processing subcore;
• assigning a test case to each processing subcore, wherein the assigned test case contains instructions for verifying the associated context of the respective logical partition to which the processing subcore belongs, and executing the assigned test cases;
• reassigning at least some of the test cases to different processing subcores prior to reconfiguring the physical resources of the processing core into a different number of logical partitions;
• reconfiguring the physical resources into the different number of logical partitions;
• and
• executing the test cases as assigned within the different number of logical partitions.