Abstract: It relates to an apparatus, a device, a method, and a computer program for generating test cases for a verification of hardware instructions of a hardware device in a hypervisor. The apparatus comprises circuitry configured to generate a transition table based on a specification of the hardware device. The transition table comprises a plurality of entries. Each entry represents a change of a state of the hardware device in response to an event. The circuitry is configured to determine entries of the transition table that are equivalent. The circuitry is configured to generate a plurality of test cases based on the entries of the transition table. At least one entry of the transition table is omitted in the generation of the test cases due to being equivalent to another entry of the transition table.

Abstract: A control apparatus (10), control device, control method and computer program for controlling one or more parameters of a hypervisor (100) and an apparatus, device, method, and computer program for a virtual machine (200). The control apparatus (10) comprises circuitry configured to obtain information on respective performance targets of two or more virtual machines (200) being hosted by the hypervisor (100). The circuitry is configured to set the one or more parameters of the hypervisor (100) to one or more initial values. The circuitry is configured to obtain respective results of a benchmark being run in the two or more virtual machines (200), the results of the benchmark indicating a performance of the respective virtual machines (200) with respect to the respective performance targets, with the results of the benchmark being affected by the one or more parameters.

Abstract: Examples relate to an apparatus, a device, a method, and a computer program for generating a test specification for testing software code of a function under test. The apparatus for generating the test specification for testing software code of a function under test comprises circuitry configured to extract a plurality of symbols from the software code of the function under test, generate a plurality of test vectors with corresponding sets of expected results for the function under test based on the plurality of symbols, and generate a test specification based on the plurality of test vectors and the corresponding sets of expected results.

Abstract: Examples relate to an apparatus, a device, a method and a computer program for generating code for test cases for testing a function under test. The apparatus comprises circuitry configured to obtain a diagram representation of the function under test, select a plurality of symbols of interest from the diagram representation of the function under test, the symbols of interest being based on a pre-defined set of symbols of interest, and generate, for the symbols of interest, code of a plurality of test cases based on a pre-defined set of checks related to the pre-defined symbols of interest.