Patents by Inventor Lucas Rosa Cruz Reginato

Lucas Rosa Cruz Reginato has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method and system for test case generation
    Patent number: 7685468
    Abstract: A method and apparatus is described for generating a test case for an application or system modelled using a Stochastic Automata Network model. The method contemplates the inclusion of a plurality of automata and including the steps of: (a) setting an initial global state as the current global state, wherein a global state comprises a set of local states each corresponding to one of the automata; (b) creating a record of the initial global state; (c) selecting an event from a set of events that can be applied to the current global state; creating record of the selected event; (e) identifying those of the automata affected by the selected event and updating the current global state by updating the states of the affected automata; (f) creating a record of the current global state; and repeating steps (c) to (f) until a termination condition is satisfied. The invention may also be used for the generation of test scripts.
    Type: Grant
    Filed: June 30, 2005
    Date of Patent: March 23, 2010
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Bernardo Copstein, Flavio Modeira De Oliveira, Lucas Rosa Cruz Reginato, Andre Gobbi Farina
  • Method and System for Test Case Generation
    Publication number: 20080294941
    Abstract: A method and apparatus is described for generating a test case for an application or system modelled using a Stochastic Automata Network model. The method contemplates the inclusion of a plurality of automata and including the steps of: (a) setting an initial global state as the current global state, wherein a global state comprises a set of local states each corresponding to one of the automata; (b) creating a record of the initial global state; (c) selecting an event from a set of events that can be applied to the current global state; creating record of the selected event; (e) identifying those of the automata affected by the selected event and updating the current global state by updating the states of the affected automata; (f) creating a record of the current global state; and repeating steps (c) to (f) until a termination condition is satisfied. The invention may also be used for the generation of test scripts.
    Type: Application
    Filed: June 30, 2005
    Publication date: November 27, 2008
    Inventors: Bernardo Copstein, Flavio Modeira De Oliveria, Lucas Rosa Cruz Reginato, Andre Gobbi Farina