公开(公告)号：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.

摘要翻译： 本文公开了一种用于促进网络相关活动中的用户交互的方法和装置。 在一个实施例中，该方法包括监视用户当前与浏览器的交互，基于与用户的当前交互相关联的当前交互上下文来预测用户可能采取的任务，以及基于先前一个或多个先前生成的一个或多个规则 记录的浏览器交互，以及基于预测生成并且显示与浏览器的用户界面组件，所述用户界面组件可由用户选择并且表示用户可以选择发生的交互（或交互序列）。

公开(公告)号：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.

摘要翻译： 本文公开了一种用于促进网络相关活动中的用户交互的方法和装置。 在一个实施例中，该方法包括监视用户当前与浏览器的交互，基于与用户的当前交互相关联的当前交互上下文来预测用户可能采取的任务，以及基于先前一个或多个先前生成的一个或多个规则 记录的浏览器交互，以及基于预测生成并且显示与浏览器的用户界面组件，所述用户界面组件可由用户选择并且表示用户可以选择发生的交互（或交互序列）。

公开(公告)号：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）对字符串操作建模并提供来自程序执行的值代替难处理的子表达式来生成字符串值的约束; 并且基于解决记录的字符串约束的结果，生成新的输入以在随后的迭代期间驱动程序。

公开(公告)号：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.

摘要翻译： 本文公开了一种用于应用的自动化测试的方法和装置。 处理系统使用针对感兴趣的属性测试应用所生成的测试输入值来执行应用。 在执行期间，收集应用程序的符号变量之间的约束。 收集财产状态，并用于确定应用程序中的分支是否与该属性相关。 基于收集的约束和分支相关性，生成新的测试输入值。 重复该过程，直到已经探索到与相关分支相对应的应用中的所有路径。

公开(公告)号：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.

摘要翻译： 本文公开了一种方法和装置，用于正时规范和时序性质的分析。 在一个实施例中，该方法包括接收包括以规范语言表达的定时行为的软件设计; 分析时序行为; 并使用基于抽象解释的静态分析来检测一个或多个定时构造的滥用。

公开(公告)号：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）对字符串操作建模并提供来自程序执行的值代替难处理的子表达式来生成字符串值的约束; 并且基于解决记录的字符串约束的结果，生成新的输入以在随后的迭代期间驱动程序。

公开(公告)号：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.

摘要翻译： 本文公开了一种用于应用的自动化测试的方法和装置。 处理系统使用针对感兴趣的属性测试应用而生成的测试输入值来执行应用。 在执行期间，收集应用程序的符号变量之间的约束。 收集财产状态，并用于确定应用程序中的分支是否与该属性相关。 基于收集的约束和分支相关性，生成新的测试输入值。 重复该过程，直到已经探索到与相关分支相对应的应用中的所有路径。

公开(公告)号：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.

摘要翻译： 本文公开了一种使用多态性和积分的模块系统的方法和装置。 在一个实施例中，该方法包括接收软件程序的正式规范; 并使用配有多态性和积分过程的过程的模块系统对形式规范进行自动分析。

公开(公告)号：US20090125977A1

公开(公告)日：2009-05-14

申请号：US12252229

申请日：2008-10-15

申请人： Ajay Chander ,  Jeffrey Fischer ,  Hiroshi Inamura

发明人： Ajay Chander ,  Jeffrey Fischer ,  Hiroshi Inamura

IPC分类号： G06F9/46 ,  G06F21/00

CPC分类号： G06F21/62 ,  G06F8/36 ,  G06F21/53 ,  G06F21/6227

摘要： A method and apparatus is disclosed herein for using a language framework for composable programs. In one embodiment, the method comprises accessing active content having a software component embedded therein, where the software component has a plurality of components that together implement a work flow of a sequence of activities, the plurality of components representing one or more external services, one or more user interface controls and one or more inputs and output; executing the software component, including mediating communication between components using an information flow-based security model.

摘要翻译： 本文公开了一种使用可组合程序的语言框架的方法和装置。 在一个实施例中，该方法包括访问具有嵌入其中的软件组件的活动内容，其中软件组件具有多个组件，这些组件一起实现一系列活动的工作流，多个组件表示一个或多个外部服务，一个 或更多的用户界面控制和一个或多个输入和输出; 执行软件组件，包括使用基于信息流的安全模型来调用组件之间的通信。

公开(公告)号：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）模型来确定是否 将测试用例包含在测试套件中，以供将来测试应用。