发明申请
US20100131143A1 METHOD AND SYSTEM FOR AUTOMATIC TEST DATA GENERATION FOR LOOKUP TABLES
有权
用于查询表的自动测试数据生成的方法和系统
- 专利标题： METHOD AND SYSTEM FOR AUTOMATIC TEST DATA GENERATION FOR LOOKUP TABLES
- 专利标题（中）： 用于查询表的自动测试数据生成的方法和系统
-
申请号： US12276228申请日： 2008-11-21
-
公开(公告)号： US20100131143A1公开(公告)日： 2010-05-27
- 发明人: Lihua Xu , Hakan Yazarel , Noriyasu Adachi
- 申请人： Lihua Xu , Hakan Yazarel , Noriyasu Adachi
- 申请人地址： US KY Erlanger
- 专利权人： Toyota Motor Engineering & Manufacturing North America, Inc.
- 当前专利权人： Toyota Motor Engineering & Manufacturing North America, Inc.
- 当前专利权人地址： US KY Erlanger
- 主分类号： G06F11/36
- IPC分类号： G06F11/36 ; G06F19/00 ; G06N5/02 ; G06F11/00
摘要：
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.
公开/授权文献
信息查询
