Invention Grant
US07865793B2 Test case generation with backward propagation of predefined results and operand dependencies
有权
具有预定义结果和操作数依赖性的反向传播的测试用例生成
- Patent Title: Test case generation with backward propagation of predefined results and operand dependencies
- Patent Title (中): 具有预定义结果和操作数依赖性的反向传播的测试用例生成
-
Application No.: US12113116Application Date: 2008-04-30
-
Publication No.: US07865793B2Publication Date: 2011-01-04
- Inventor: Stefan Letz , Juergen Vielfort , Kai Weber
- Applicant: Stefan Letz , Juergen Vielfort , Kai Weber
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Randall Bluestone, Esq.
- Main IPC: G01R31/28
- IPC: G01R31/28 ; G06F11/00 ; G06F7/38 ; G06F9/44
Abstract:
A method of generating a test case from a given test case structure, the method including generating instructions for the given test case structure, propagating predefined results in a backwards manner, randomly generating remaining operands of the test case structure in a forwards manner, and calculating a result for the test case by determining missing input operands and storing these input operands in both the temporary register file and the initial register file, and calculating missing results and storing all results in the temporary register file.
Public/Granted literature
- US20090276610A1 TEST CASE GENERATION WITH BACKWARD PROPAGATION OF PREDEFINED RESULTS AND OPERAND DEPENDENCIES Public/Granted day:2009-11-05
Information query
