发明名称 |
Software architecture for validating C++ programs using symbolic execution |
摘要 |
Particular embodiment compile a C++ program having one or more input variables to obtain bytecode of the C++ program; compile a C++ library to obtain bytecode of the C++ library; symbolically execute the bytecode of the C++ program and the bytecode of the C++ library, comprising assign a symbolic input to each input variable of the C++ program; determine one or more execution paths in the C++ program; and for each execution path, construct a symbolic expression that if satisfied, causes the C++ program to proceed down the execution path; and generate one or more test cases for the C++ program by solving the symbolic expressions. |
申请公布号 |
EP2479673(A3) |
申请公布日期 |
2012.09.19 |
申请号 |
EP20120150574 |
申请日期 |
2012.01.10 |
申请人 |
FUJITSU LIMITED |
发明人 |
LI, GUODONG;RAJAN, SREERANGA P.;GHOSH, INDRADEEP |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|