The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 20, 2009
Filed:
Jan. 20, 2005
Paul Kingston Duffie, Palo Alto, CA (US);
Patrick Hornberger, Mountain View, CA (US);
Carl Hubbard, Los Altos, CA (US);
Satomi Okazaki, Palo Alto, CA (US);
Pawan Singh, Sunnyvale, CA (US);
Paul Kingston Duffie, Palo Alto, CA (US);
Patrick Hornberger, Mountain View, CA (US);
Carl Hubbard, Los Altos, CA (US);
Satomi Okazaki, Palo Alto, CA (US);
Pawan Singh, Sunnyvale, CA (US);
The Fanfare Group, Inc., Mountain View, CA (US);
Abstract
The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.