发明名称 |
Automated test input generation for web applications |
摘要 |
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. |
申请公布号 |
US8302080(B2) |
申请公布日期 |
2012.10.30 |
申请号 |
US20080249646 |
申请日期 |
2008.10.10 |
申请人 |
WASSERMANN GARY;YU DACHUAN;CHANDER AJAY;DHURJATI DINAKAR;INAMURA HIROSHI;NTT DOCOMO, INC. |
发明人 |
WASSERMANN GARY;YU DACHUAN;CHANDER AJAY;DHURJATI DINAKAR;INAMURA HIROSHI |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|