专利内容由知识产权出版社提供
专利名称：Software architecture for validating C++
programs using symbolic execution
发明人：Li, Guodong,Rajan, Sreeranga P.,Ghosh,
Indradeep
申请号：EP12150574.7申请日：20120110公开号：EP2479673A3公开日：20120919
专利附图：
摘要：Particular embodiment compile a C++ program having one or more inputvariables 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 andthe bytecode of the C++ library, comprising assign a symbolic input to each input variableof the C++ program; determine one or more execution paths in the C++ program; andfor 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 forthe C++ program by solving the symbolic expressions.
申请人：Fujitsu Limited
地址：1-1, Kamikodanaka 4-chome Nakahara-ku Kawasaki-shi, Kanagawa 211-8588 JP
国籍：JP
代理机构：Ward, James Norman
更多信息请下载全文后查看
