Method and system for automatic test data generation for lookup tables
AssigneeToyota Motor Engineering & Manufacturing North America, Inc.
InventorsLihua Xu, Hakan Yazarel, Noriyasu Adachi
Life of this patent
Estimating the term…
Abstract
The present invention relates to a method and system for automatic test data generation for lookup tables. In one embodiment, the present invention is a method for generating test data for an automotive lookup table including the steps of dividing the automotive lookup table into categories, generating a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it, generating an execution trace for each assertion using a constraint solver, and generating test data for each execution trace.
Claims20
A method for generating test data for an automotive lookup table comprising the steps of:
- dividing the automotive lookup table into categories;
- generating a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it;
- generating an execution trace for each assertion using a constraint solver;
- and
- generating test data for each execution trace.
A method for generating test data for an automotive lookup table comprising the steps of:
- analyzing the automotive lookup table to determine input parameters of the automotive lookup table;
- dividing the automotive lookup table into categories based on the input parameters;
- generating a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it;
- generating an execution trace for each assertion using a constraint solver;
- and
- generating test data for each execution trace.
A system for generating test data for an automotive lookup table comprising:
- a storage unit storing an automotive lookup table;
- an assertion generation unit connected to the storage unit, the assertion generation unit configured to
- analyze the automotive lookup table to determine input parameters of the automotive lookup table,
- divide the automotive lookup table into categories based on the input parameters, and
- generate a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it, and each of the assertions includes one or more constraints, the constraints being based on the input parameters;
- a constraint solver unit connected to the assertion generation unit, the constraint solver unit generating an execution trace for each assertion;
- and
- a test data generation unit generating test data for each execution trace.
Dependencies are inferred from the claim text.