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:
Oct. 30, 2012
Filed:
Oct. 10, 2008
Gary Wassermann, Davis, CA (US);
Dachuan Yu, Foster City, CA (US);
Ajay Chander, San Francisco, CA (US);
Dinakar Dhurjati, Sunnyvale, CA (US);
Hiroshi Inamura, Cupertino, CA (US);
Gary Wassermann, Davis, CA (US);
Dachuan Yu, Foster City, CA (US);
Ajay Chander, San Francisco, CA (US);
Dinakar Dhurjati, Sunnyvale, CA (US);
Hiroshi Inamura, Cupertino, CA (US);
NTT DoCoMo, Inc., Tokyo, JP;
Abstract
A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.