公开(公告)号：US20240296108A1

公开(公告)日：2024-09-05

申请号：US18572211

申请日：2021-10-14

Applicant: Intel Corporation

Inventor： Qian OUYANG ,  Junjie MAO ,  Yi QIAN ,  Minggui CAO ,  Jian Jun CHEN ,  Junjun SHAN ,  Xiangyang WU

IPC: G06F11/36

CPC classification number: G06F11/3684

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.

公开(公告)号：US20240232056A1

公开(公告)日：2024-07-11

申请号：US18571797

申请日：2021-10-15

Applicant: Intel Corporation

Inventor： Junjun SHAN ,  Yi QIAN ,  Xiangyang WU ,  Qian OUYANG ,  Minggui CAO ,  Junjie MAO ,  Jian Jun CHEN

IPC: G06F11/36

CPC classification number: G06F11/3676 ,  G06F11/3684

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.