公开(公告)号：US07644398B2

公开(公告)日：2010-01-05

申请号：US10499583

申请日：2002-12-19

申请人： Rance Cleaveland ,  Steve T. Sims ,  David Hansel

发明人： Rance Cleaveland ,  Steve T. Sims ,  David Hansel

IPC分类号： G06F9/44 ,  G01R31/28 ,  G06F17/50

CPC分类号： G06F11/3684

摘要： A method for generating test cases for software and a test case generator comprising a simulator that drives software under test from one input state to the next. The simulator is constrained by predetermined criteria to visit states that meet the criteria thus preserving computer resources. The states reached by the simulator are tested.

摘要翻译： 一种用于生成用于软件的测试用例和测试用例发生器的方法，包括将一个测试中的软件从一个输入状态驱动到下一个的模拟器。 模拟器受到预定标准的约束，以访问满足标准的状态，从而保留计算机资源。 测试模拟器达到的状态。