发明名称 |
METHOD AND SYSTEM FOR AUTOMATIC TEST DATA GENERATION FOR LOOKUP TABLES |
摘要 |
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.
|
申请公布号 |
US2010131143(A1) |
申请公布日期 |
2010.05.27 |
申请号 |
US20080276228 |
申请日期 |
2008.11.21 |
申请人 |
TOYOTA MOTOR ENGINEERING & MANUFACTURING NORTH AMERICA, INC. |
发明人 |
XU LIHUA;YAZAREL HAKAN;ADACHI NORIYASU |
分类号 |
G06F11/36;G06F11/00;G06F19/00;G06N5/02 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|