专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US09038032B2 Symbolic execution and automatic test case generation for JavaScript programs 有权
标题翻译： JavaScript程序的符号执行和自动测试用例生成
公开(公告)号：US09038032B2
公开(公告)日：2015-05-19
申请号：US13481594
申请日：2012-05-25
申请人： Guodong Li , Praveen K. Murthy , Indradeep Ghosh , Sreeranga P. Rajan
发明人： Guodong Li , Praveen K. Murthy , Indradeep Ghosh , Sreeranga P. Rajan
IPC分类号： G06F9/44 , G06F9/45 , G06F11/36 , G06F9/455
CPC分类号： G06F11/3684 , G06F9/45529
摘要： A method includes, by one or more computing devices, determining JavaScript statements to be evaluated, parsing the JavaScript statements, translating the JavaScript statements into Java bytecodes and JavaScript-specific instructions, executing the Java bytecodes in a Java execution engine, calling a JavaScript run-time engine from the Java execution engine, handling one or more semantic operations associated with the JavaScript-specific instructions through use of the JavaScript run-time engine, and providing return values to the Java execution engine. The statements are configured for execution on a computing device. The set of Java bytecodes and JavaScript-specific instructions is configured to conduct symbolic execution of one or more portions of the JavaScript statements. The symbolic execution is configured to evaluate the JavaScript statements.
摘要翻译：一种方法包括由一个或多个计算设备确定要评估的JavaScript语句，解析JavaScript语句，将JavaScript语句转换为Java字节码和特定于JavaScript的指令，在Java执行引擎中执行Java字节码，调用JavaScript运行来自Java执行引擎的时间引擎，通过使用JavaScript运行时引擎来处理与JavaScript特定指令相关联的一个或多个语义操作，并向Java执行引擎提供返回值。这些语句被配置为在计算设备上执行。一组Java字节码和JavaScript特定的指令被配置为执行JavaScript语句的一个或多个部分的符号执行。符号执行被配置为评估JavaScript语句。

2. 发明授权

US08645924B2 Lossless path reduction for efficient symbolic execution and automatic test generation 有权
标题翻译：无损路径减少，有效的符号执行和自动测试生成
公开(公告)号：US08645924B2
公开(公告)日：2014-02-04
申请号：US13154274
申请日：2011-06-06
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/44
CPC分类号： G06F8/443 , G06F11/3676
摘要： In one embodiment, symbolically executing a software module having a number of execution paths; and losslessly reducing the number of execution paths during the symbolic execution of the software module.
摘要翻译：在一个实施例中，符号地执行具有多个执行路径的软件模块; 并且在软件模块的符号执行期间无损地减少执行路径的数量。

3. 发明申请

US20120311545A1 Lossless Path Reduction for Efficient Symbolic Execution and Automatic Test Generation 有权
标题翻译：无损路径减少，实现高效的符号执行和自动测试生成
公开(公告)号：US20120311545A1
公开(公告)日：2012-12-06
申请号：US13154274
申请日：2011-06-06
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/44
CPC分类号： G06F8/443 , G06F11/3676
摘要： In one embodiment, symbolically executing a software module having a number of execution paths; and losslessly reducing the number of execution paths during the symbolic execution of the software module.
摘要翻译：在一个实施例中，符号地执行具有多个执行路径的软件模块; 并且在软件模块的符号执行期间无损地减少执行路径的数量。

4. 发明申请

US20120204154A1 Symbolic Execution and Test Generation for GPU Programs 有权
标题翻译： GPU程序的符号执行和测试生成
公开(公告)号：US20120204154A1
公开(公告)日：2012-08-09
申请号：US13021604
申请日：2011-02-04
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/44
CPC分类号： G06F11/3684 , G06F9/448
摘要： In particular embodiments, a method includes accessing bytecode generated by a compiler from a software program for execution by a particular processing unit; accessing configuration information describing one or more aspects of the particular processing unit; symbolically executing the bytecode with the configuration information; and, based on the symbolic execution, generating one or more results conveying a functional correctness of the software program with respect to the particular processing unit for communication to a user and generating one or more test cases for the software program for communication to a user.
摘要翻译：在特定实施例中，一种方法包括：从软件程序中访问由编译器生成的字节码以供特定处理单元执行; 访问描述特定处理单元的一个或多个方面的配置信息; 用配置信息象征性地执行字节码; 并且基于所述符号执行，生成一个或多个结果，其传达关于所述特定处理单元的所述软件程序的功能正确性，以向用户通信，并为所述软件程序生成一个或多个用于与用户通信的测试用例。

5. 发明申请

US20120192162A1 Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution 审中-公开
标题翻译：使用符号执行来验证C ++程序的特定于应用程序的操作的优化处理程序
公开(公告)号：US20120192162A1
公开(公告)日：2012-07-26
申请号：US13010736
申请日：2011-01-20
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/45
CPC分类号： G06F11/3684 , G06F11/3604
摘要： Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing the methods; and if the rules are verified, then use the rules when symbolically executing the methods so that bytecode of the methods is not executed.
摘要翻译：具体实施例发现C ++对象的多个方法之间的关系; 定义一个或多个规则来表示关系; 通过符号执行方法验证规则; 并且如果规则被验证，则在符号执行方法时使用规则，以便不执行方法的字节码。

6. 发明授权

US08943487B2 Optimizing libraries for validating C++ programs using symbolic execution 有权
标题翻译：使用符号执行来优化库来验证C ++程序
公开(公告)号：US08943487B2
公开(公告)日：2015-01-27
申请号：US13010691
申请日：2011-01-20
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/44 , G06F9/45 , G06F11/36
CPC分类号： G06F11/3608 , G06F11/3684
摘要： Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution, comprising for each loop, if there is a branching condition within the loop, then rewrite the loop to move the branching condition outside the loop. Particular embodiments may further optimize the C++ function through simplified symbolic expressions and adding constructs forcing delayed interpretation of symbolic expressions during the symbolic execution.
摘要翻译：特定实施例优化包括用于符号执行的一个或多个循环的C ++函数，包括对于每个循环，如果在循环内存在分支条件，则重写循环以将分支条件移动到循环外。特定实施例可以通过简化的符号表达式和添加构造来进一步优化C ++函数，从而在符号执行期间强制延迟解释符号表达式。

7. 发明授权

US08595701B2 Symbolic execution and test generation for GPU programs 有权
标题翻译： GPU程序的符号执行和测试生成
公开(公告)号：US08595701B2
公开(公告)日：2013-11-26
申请号：US13021604
申请日：2011-02-04
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/44
CPC分类号： G06F11/3684 , G06F9/448
摘要： In particular embodiments, a method includes accessing bytecode generated by a compiler from a software program for execution by a particular processing unit; accessing configuration information describing one or more aspects of the particular processing unit; symbolically executing the bytecode with the configuration information; and, based on the symbolic execution, generating one or more results conveying a functional correctness of the software program with respect to the particular processing unit for communication to a user and generating one or more test cases for the software program for communication to a user.
摘要翻译：在特定实施例中，一种方法包括：从软件程序中访问由编译器生成的字节码以供特定处理单元执行; 访问描述特定处理单元的一个或多个方面的配置信息; 用配置信息象征性地执行字节码; 并且基于所述符号执行，生成一个或多个结果，其传达关于所述特定处理单元的所述软件程序的功能正确性，以向用户通信，并为所述软件程序生成一个或多个用于与用户通信的测试用例。

8. 发明授权

US09501331B2 Satisfiability checking 有权
标题翻译：满意度检查
公开(公告)号：US09501331B2
公开(公告)日：2016-11-22
申请号：US13570906
申请日：2012-08-09
申请人： Guodong Li , Indradeep Ghosh , Sreeranga P. Rajan
发明人： Guodong Li , Indradeep Ghosh , Sreeranga P. Rajan
IPC分类号： G06F9/30 , G06F9/50 , G06F11/36
CPC分类号： G06F9/5083 , G06F9/5027 , G06F11/3604 , G06F11/3608 , G06F11/3636 , G06F11/3684 , G06F2209/5017
摘要： A satisfiability checking system may include a single instruction, multiple data (SIMD) machine configured to execute multiple threads in parallel. The multiple threads may be divided among multiple blocks. The SIMD machine may be further configured to perform satisfiability checking of a formula including multiple parts. The satisfiability checking may include assigning one or more of the parts to one or more threads of the multiple threads of a first block of the multiple blocks. The satisfiability checking may further include processing the assigned one or more parts in the first block such that first results are calculated based on a first proposition. The satisfiability checking may further include synchronizing the results among the one or more threads of the first block.
摘要翻译：可满足性检查系统可以包括单个指令，被配置为并行地执行多个线程的多数据（SIMD）机器。多个线程可以在多个块之间划分。 SIMD机器还可以被配置为执行包括多个部分的公式的可满足性检查。可满足性检查可以包括将一个或多个部分分配给多个块的第一块的多个线程的一个或多个线程。可满足性检查还可以包括处理第一块中分配的一个或多个部分，使得基于第一命题计算第一结果。可满足性检查还可以包括在第一块的一个或多个线程之间同步结果。

9. 发明授权

US08869113B2 Software architecture for validating C++ programs using symbolic execution 有权
标题翻译：用于使用符号执行来验证C ++程序的软件体系结构
公开(公告)号：US08869113B2
公开(公告)日：2014-10-21
申请号：US13010714
申请日：2011-01-20
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3684 , G06F11/3604
摘要： 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.
摘要翻译：编译具有一个或多个输入变量的C ++程序，以获得C ++程序的字节码; 编译C ++库以获取C ++库的字节码; 象征性地执行C ++程序的字节码和C ++库的字节码，包括为C ++程序的每个输入变量分配符号输入; 确定C ++程序中的一个或多个执行路径; 并且对于每个执行路径，构造符号表达式，如果满足，则使C ++程序继续执行路径; 并通过解析符号表达式为C ++程序生成一个或多个测试用例。

10. 发明申请

US20120192169A1 Optimizing Libraries for Validating C++ Programs Using Symbolic Execution 有权
标题翻译：使用符号执行来优化用于验证C ++程序的库
公开(公告)号：US20120192169A1
公开(公告)日：2012-07-26
申请号：US13010691
申请日：2011-01-20
申请人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
发明人： Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
IPC分类号： G06F9/45
CPC分类号： G06F11/3608 , G06F11/3684
摘要： Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution, comprising for each loop, if there is a branching condition within the loop, then rewrite the loop to move the branching condition outside the loop. Particular embodiments may further optimize the C++ function through simplified symbolic expressions and adding constructs forcing delayed interpretation of symbolic expressions during the symbolic execution.
摘要翻译：特定实施例优化包括用于符号执行的一个或多个循环的C ++函数，包括对于每个循环，如果在循环内存在分支条件，则重写循环以将分支条件移动到循环外。特定实施例可以通过简化的符号表达式和添加构造来进一步优化C ++函数，从而在符号执行期间强制延迟解释符号表达式。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式