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

1. 发明申请

US20090125976A1 AUTOMATED TEST INPUT GENERATION FOR WEB APPLICATIONS 有权
标题翻译：自动测试输入生成WEB应用程序
公开(公告)号：US20090125976A1
公开(公告)日：2009-05-14
申请号：US12249646
申请日：2008-10-10
申请人： Gary Wassermann , Dachuan Yu , Ajay Chander , Dinakar Dhurjati , Hiroshi Inamura
发明人： Gary Wassermann , Dachuan Yu , Ajay Chander , Dinakar Dhurjati , Hiroshi Inamura
IPC分类号： G06F9/44 , G06F21/00
CPC分类号： G06F11/3688 , G06F8/00
摘要： 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.
摘要翻译：本文公开了用于web应用的自动化测试输入生成的方法和装置。在一个实施例中，该方法包括执行程序的源到源转换; 基于一组测试输入值对程序执行解释; 象征性地执行程序; 记录在执行程序期间遇到的一个或多个条件表达中的每一个的符号约束，包括分析程序中的字符串操作以识别一个或多个可能的执行路径，以及生成表示每个条件表达式中的变量值的符号输入作为数字表达式和字符串约束，包括通过使用有限状态转换器（FST）对字符串操作建模并提供来自程序执行的值代替难处理的子表达式来生成字符串值的约束; 并且基于解决记录的字符串约束的结果，生成新的输入以在随后的迭代期间驱动程序。

2. 发明授权

US08302080B2 Automated test input generation for web applications 有权
标题翻译： Web应用程序的自动测试输入生成
公开(公告)号：US08302080B2
公开(公告)日：2012-10-30
申请号：US12249646
申请日：2008-10-10
申请人： Gary Wassermann , Dachuan Yu , Ajay Chander , Dinakar Dhurjati , Hiroshi Inamura
发明人： Gary Wassermann , Dachuan Yu , Ajay Chander , Dinakar Dhurjati , Hiroshi Inamura
IPC分类号： G06F9/44
CPC分类号： G06F11/3688 , G06F8/00
摘要： 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.
摘要翻译：本文公开了用于web应用的自动化测试输入生成的方法和装置。在一个实施例中，该方法包括执行程序的源到源转换; 基于一组测试输入值对程序执行解释; 象征性地执行程序; 记录在执行程序期间遇到的一个或多个条件表达中的每一个的符号约束，包括分析程序中的字符串操作以识别一个或多个可能的执行路径，以及生成表示每个条件表达式中的变量值的符号输入作为数字表达式和字符串约束，包括通过使用有限状态转换器（FST）对字符串操作建模并提供来自程序执行的值代替难处理的子表达式来生成字符串值的约束; 并且基于解决记录的字符串约束的结果，生成新的输入以在随后的迭代期间驱动程序。

3. 发明申请

US20100088678A1 METHOD AND APPARATUS FOR THE FORMAL SPECIFICATION AND ANALYSIS OF TIMING PROPERTIES IN SOFTWARE SYSTEMS 审中-公开
标题翻译：软件系统时序特征的形式规范与分析方法与装置
公开(公告)号：US20100088678A1
公开(公告)日：2010-04-08
申请号：US12569747
申请日：2009-09-29
申请人： Musab AlTurki , Dinakar Dhurjati , Dachuan Yu , Ajay Chander , Hiroshi Inamura
发明人： Musab AlTurki , Dinakar Dhurjati , Dachuan Yu , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F9/44
CPC分类号： G06F8/10 , G06F11/3608
摘要： A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs.
摘要翻译：本文公开了一种方法和装置，用于正时规范和时序性质的分析。在一个实施例中，该方法包括接收包括以规范语言表达的定时行为的软件设计; 分析时序行为; 并使用基于抽象解释的静态分析来检测一个或多个定时构造的滥用。

4. 发明申请

US20100223604A1 MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS 审中-公开
标题翻译：多元PI-CALCULUS的模块系统
公开(公告)号：US20100223604A1
公开(公告)日：2010-09-02
申请号：US12683930
申请日：2010-01-07
申请人： George Kuan , Dachuan Yu , Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
发明人： George Kuan , Dachuan Yu , Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F9/45
CPC分类号： G06F8/314
摘要： A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic π-calculus processes.
摘要翻译：本文公开了一种使用多态性和积分的模块系统的方法和装置。在一个实施例中，该方法包括接收软件程序的正式规范; 并使用配有多态性和积分过程的过程的模块系统对形式规范进行自动分析。

5. 发明授权

US08468499B2 Directed testing for property violations 有权
标题翻译：针对财产违规的定向测试
公开(公告)号：US08468499B2
公开(公告)日：2013-06-18
申请号：US12722404
申请日：2010-03-11
申请人： Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
发明人： Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3676
摘要： A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored.
摘要翻译：本文公开了一种用于应用的自动化测试的方法和装置。处理系统使用针对感兴趣的属性测试应用所生成的测试输入值来执行应用。在执行期间，收集应用程序的符号变量之间的约束。收集财产状态，并用于确定应用程序中的分支是否与该属性相关。基于收集的约束和分支相关性，生成新的测试输入值。重复该过程，直到已经探索到与相关分支相对应的应用中的所有路径。

6. 发明申请

US20110072417A1 DIRECTED TESTING FOR PROPERTY VIOLATIONS 有权
标题翻译：针对物业违例的指示性测试
公开(公告)号：US20110072417A1
公开(公告)日：2011-03-24
申请号：US12722404
申请日：2010-03-11
申请人： Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
发明人： Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F9/44
CPC分类号： G06F11/3676
摘要： A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored.
摘要翻译：本文公开了一种用于应用的自动化测试的方法和装置。处理系统使用针对感兴趣的属性测试应用而生成的测试输入值来执行应用。在执行期间，收集应用程序的符号变量之间的约束。收集财产状态，并用于确定应用程序中的分支是否与该属性相关。基于收集的约束和分支相关性，生成新的测试输入值。重复该过程，直到已经探索到与相关分支相对应的应用中的所有路径。

7. 发明申请

US20090070746A1 METHOD FOR TEST SUITE REDUCTION THROUGH SYSTEM CALL COVERAGE CRITERION 审中-公开
标题翻译：通过系统呼叫覆盖标准测试套件减少的方法
公开(公告)号：US20090070746A1
公开(公告)日：2009-03-12
申请号：US12204654
申请日：2008-09-04
申请人： Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
发明人： Dinakar Dhurjati , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F11/36
CPC分类号： G06F11/3676
摘要： A method and apparatus is disclosed herein for determining whether a test case is to be included in a test suite. In one embodiment, the method comprises executing an application with test inputs of a test case during performance of software application testing and using a Finite State Machine (FSM) model of observable events generated from execution of other test cases in the test suite to determine whether to include the test case in the test suite for use in future testing of the application.
摘要翻译：本文公开了一种用于确定测试案例是否包括在测试套件中的方法和装置。在一个实施例中，该方法包括在执行软件应用测试期间使用测试用例的测试输入执行应用，并且使用由测试套件中的其他测试用例的执行产生的可观察事件的有限状态机（FSM）模型来确定是否将测试用例包含在测试套件中，以供将来测试应用。

8. 发明申请

US20090019525A1 DOMAIN-SPECIFIC LANGUAGE ABSTRACTIONS FOR SECURE SERVER-SIDE SCRIPTING 审中-公开
标题翻译：用于安全的服务器端口脚本的特定语言范例
公开(公告)号：US20090019525A1
公开(公告)日：2009-01-15
申请号：US12163848
申请日：2008-06-27
申请人： Dachuan Yu , Ajay Chander , Hiroshi Inamura , Igor Serikov
发明人： Dachuan Yu , Ajay Chander , Hiroshi Inamura , Igor Serikov
IPC分类号： G06F21/00 , G06F9/45 , H04L9/32
CPC分类号： G06F21/54 , H04L63/1483
摘要： A method and apparatus is disclosed herein for secure server-side programming. In one embodiment, the method comprises creating a server-side program with one or more abstractions and compiling the server-side program by translating the server-side program, including the one or more abstractions, into target code that is guaranteed to execute in a secure manner with respect to a security criteria.
摘要翻译：本文公开了一种用于安全的服务器端编程的方法和装置。在一个实施例中，该方法包括：创建具有一个或多个抽象的服务器端程序，并通过将服务器端程序（包括一个或多个抽象）翻译成保证在一个或多个抽象中执行的目标代码来编译服务器端程序有关安全标准的安全方式。

9. 发明授权

US08452720B2 System and methods for optimizing user interaction in web-related activites 有权
标题翻译：用于在网络相关活动中优化用户交互的系统和方法
公开(公告)号：US08452720B2
公开(公告)日：2013-05-28
申请号：US12692442
申请日：2010-01-22
申请人： Dong Zhou , Ajay Chander , Hiroshi Inamura
发明人： Dong Zhou , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F17/00 , G06F7/00
CPC分类号： G06F9/453
摘要： A method and apparatus is disclosed herein for facilitating user interaction in web-related activities. In one embodiment, the method comprises monitoring a user's current interaction with a browser, predicting a task a user is likely to take based on a current interaction context associated with the user's current interaction and one or more rules previously generated based on one or more previously recorded browser interactions, and generating, based on the prediction, and displaying a user interface component with the browser, the user interface component selectable by the user and representing an interaction (or a sequence of interactions) that the user can select to occur.
摘要翻译：本文公开了一种用于促进网络相关活动中的用户交互的方法和装置。在一个实施例中，该方法包括监视用户当前与浏览器的交互，基于与用户的当前交互相关联的当前交互上下文来预测用户可能采取的任务，以及基于先前一个或多个先前生成的一个或多个规则记录的浏览器交互，以及基于预测生成并且显示与浏览器的用户界面组件，所述用户界面组件可由用户选择并且表示用户可以选择发生的交互（或交互序列）。

10. 发明申请

US20100198768A1 SYSTEM AND METHODS FOR OPTIMIZING USER INTERACTION IN WEB-RELATED ACTIVITIES 有权
标题翻译：在网络相关活动中优化用户互动的系统和方法
公开(公告)号：US20100198768A1
公开(公告)日：2010-08-05
申请号：US12692442
申请日：2010-01-22
申请人： Dong Zhou , Ajay Chander , Hiroshi Inamura
发明人： Dong Zhou , Ajay Chander , Hiroshi Inamura
IPC分类号： G06F3/048 , G06N5/02
CPC分类号： G06F9/453
摘要： A method and apparatus is disclosed herein for facilitating user interaction in web-related activities. In one embodiment, the method comprises monitoring a user's current interaction with a browser, predicting a task a user is likely to take based on a current interaction context associated with the user's current interaction and one or more rules previously generated based on one or more previously recorded browser interactions, and generating, based on the prediction, and displaying a user interface component with the browser, the user interface component selectable by the user and representing an interaction (or a sequence of interactions) that the user can select to occur.
摘要翻译：本文公开了一种用于促进网络相关活动中的用户交互的方法和装置。在一个实施例中，该方法包括监视用户当前与浏览器的交互，基于与用户的当前交互相关联的当前交互上下文来预测用户可能采取的任务，以及基于先前一个或多个先前生成的一个或多个规则记录的浏览器交互，以及基于预测生成并且显示与浏览器的用户界面组件，所述用户界面组件可由用户选择并且表示用户可以选择发生的交互（或交互序列）。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式