-
1.发明授权Determining differences in an event-driven application accessed in different client-tier environments 有权确定在不同客户层环境中访问的事件驱动应用程序的差异公开(公告)号：US09032067B2
公开(公告)日：2015-05-12
申请号：US12723568
申请日：2010-03-12
申请人： Mukul R. Prasad , Ali Mesbah
发明人： Mukul R. Prasad , Ali Mesbah
CPC分类号： G06Q30/02
摘要： In one embodiment, a method includes dynamically crawling an event-driven application in a plurality of client-tier environments; for each of the client-tier environments, generating a behavioral model of the event-driven application based on the dynamic crawling; for each of the behavioral models, determining one or more pairwise equivalences with respect to one or more other ones of the behavioral models; and, for each of the client-tier environments, determining one or more differences in an end-user experience of the event-driven application in the client-tier environment with respect to one or more other end-user experiences of the event-driven application in one or more other ones of the client-tier environments.
摘要翻译： 在一个实施例中，一种方法包括在多个客户端层环境中动态地爬行事件驱动的应用; 对于每个客户层环境，基于动态爬行生成事件驱动应用的行为模型; 针对每个行为模型，确定关于行为模型中的一个或多个其他行为模型的一个或多个成对等价物; 并且对于每个客户端层环境，相对于事件驱动的一个或多个其他最终用户体验来确定客户端层环境中的事件驱动应用的最终用户体验中的一个或多个差异 应用程序在一个或多个其他客户端环境中。
-
2.发明申请Determining Differences in an Event-Driven Application Accessed in Different Client-Tier Environments 有权确定在不同客户层环境中访问的事件驱动应用程序的差异公开(公告)号：US20110225289A1
公开(公告)日：2011-09-15
申请号：US12723568
申请日：2010-03-12
申请人： Mukul R. Prasad , Ali Mesbah
发明人： Mukul R. Prasad , Ali Mesbah
IPC分类号： G06F15/173
CPC分类号： G06Q30/02
摘要： In one embodiment, a method includes dynamically crawling an event-driven application in a plurality of client-tier environments; for each of the client-tier environments, generating a behavioral model of the event-driven application based on the dynamic crawling; for each of the behavioral models, determining one or more pairwise equivalences with respect to one or more other ones of the behavioral models; and, for each of the client-tier environments, determining one or more differences in an end-user experience of the event-driven application in the client-tier environment with respect to one or more other end-user experiences of the event-driven application in one or more other ones of the client-tier environments.
摘要翻译： 在一个实施例中，一种方法包括在多个客户端层环境中动态地爬行事件驱动的应用; 对于每个客户层环境，基于动态爬行生成事件驱动应用的行为模型; 针对每个行为模型，确定关于行为模型中的一个或多个其他行为模型的一个或多个成对等价物; 并且对于每个客户端层环境，相对于事件驱动的一个或多个其他最终用户体验来确定客户端层环境中的事件驱动应用的最终用户体验中的一个或多个差异 应用程序在一个或多个其他客户端环境中。
-
公开(公告)号：US09418173B2
公开(公告)日：2016-08-16
申请号：US13587750
申请日：2012-08-16
申请人： Mukul R. Prasad
发明人： Mukul R. Prasad
CPC分类号： G06F17/30905 , G06F8/38
摘要： A method for detecting a cross-platform difference of a web application may include generating a first relative layout model based on a first relationship between multiple elements of a screen of a web application when the web application is executed on a first platform. The method may further include generating a second relative layout model based on a second relationship between the multiple elements of the screen of the web application when the web application is executed on a second platform. The method may also include determining a difference between the first relationship and the second relationship based on a comparison of the first relative layout model with respect to the second relative layout model.
摘要翻译： 用于检测web应用程序的跨平台差异的方法可以包括当在第一平台上执行web应用时，基于web应用的屏幕的多个元素之间的第一关系生成第一相对布局模型。 该方法还可以包括当在第二平台上执行web应用时，基于web应用的屏幕的多个元素之间的第二关系来生成第二相对布局模型。 该方法还可以包括基于第一相对布局模型相对于第二相对布局模型的比较来确定第一关系和第二关系之间的差异。
-
4.发明授权公开(公告)号：US07290230B2
公开(公告)日：2007-10-30
申请号：US11082592
申请日：2005-03-17
申请人： Mukul R. Prasad
发明人： Mukul R. Prasad
CPC分类号： G06F17/504
摘要： A method for verifying a digital system design is provided. A first abstraction of a digital system design is performed to obtain an abstract model of the digital system design. One or more first steps of a multiple-step model checking process are performed using the abstract model, the multiple-step model checking process being operable to verify the digital system design. During the multiple-step model checking process, a second abstraction is performed to refine the abstract model. One or more second steps of the multiple-step model checking process are then performed using the refined abstract model.
摘要翻译： 提供了一种用于验证数字系统设计的方法。 执行数字系统设计的第一次抽象以获得数字系统设计的抽象模型。 使用抽象模型执行多步模型检查过程的一个或多个第一步骤，多步模型检查过程可操作以验证数字系统设计。 在多步模型检查过程中，执行第二次抽象以改进抽象模型。 然后使用精细抽象模型执行多步模型检查过程的一个或多个第二步骤。
-
公开(公告)号：US10360027B2
公开(公告)日：2019-07-23
申请号：US13587920
申请日：2012-08-16
申请人： Mukul R. Prasad , Wei Yang
发明人： Mukul R. Prasad , Wei Yang
摘要： A method of modeling behavior of a mobile application includes determining an action associated with the mobile application based on source code of the mobile application. The method further includes dynamically crawling through the mobile application based on the action and generating a graphical user interface (GUI) behavioral model based on dynamically crawling through the mobile application.
-
公开(公告)号：US20130268810A1
公开(公告)日：2013-10-10
申请号：US13441402
申请日：2012-04-06
申请人： Mukul R. Prasad
发明人： Mukul R. Prasad
IPC分类号： G06F11/07
CPC分类号： G06F11/0751
摘要： In one embodiment, a user interface includes at least one instance of each of at least one widget. Recording a plurality of widget interaction instances (WIIs) for the user interface, each WII resulting from a user interaction applied to a particular instance of a particular widget. Clustering the plurality of WIIs based on a text value and a path value of each WII, such that each cluster of WIIs is associated with a particular widget. Determining, for each of at least one cluster of WIIs, whether the particular widget associated with the cluster of WIIs is erroneous based on whether user interactions corresponding to the WIIs in the cluster have produced responses from a software application that includes the user interface.
摘要翻译： 在一个实施例中，用户界面包括至少一个小部件中的每一个的至少一个实例。 为用户界面记录多个小部件交互实例（WII），每个WII由应用于特定小部件的特定实例的用户交互产生。 基于每个WII的文本值和路径值来聚集多个WII，使得每个WII簇与特定小部件相关联。 基于与集群中的WII相对应的用户交互是否已经从包括用户界面的软件应用程序产生了响应，为每个至少一个WII集群确定与WII集群相关联的特定小部件是否是错误的。
-
公开(公告)号：US08181132B2
公开(公告)日：2012-05-15
申请号：US12433182
申请日：2009-04-30
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： In one embodiment, a method includes simulating by one or more computer systems a larger circuit to assign one or more values to one or more latch variables associated with the larger circuit, generating by the one or more computer systems one or more reduced circuits from the larger circuit according to the values assigned to the latch variables, generating by the one or more computer systems a transition relation (TR) for each reduced circuit, and generating by the one or more computer systems an initial state set for one or more instances of validation on the reduced circuits according to the TRs.
摘要翻译： 在一个实施例中，一种方法包括由一个或多个计算机系统模拟更大的电路以将一个或多个值分配给与较大电路相关联的一个或多个锁存变量，由一个或多个计算机系统产生一个或多个减少电路 根据分配给锁存变量的值来较大的电路，由一个或多个计算机系统产生用于每个简化电路的转换关系（TR），以及由一个或多个计算机系统生成一个或多个实例的初始状态集 根据TR对减小电路进行验证。
-
公开(公告)号：US07685471B2
公开(公告)日：2010-03-23
申请号：US11670143
申请日：2007-02-01
IPC分类号： G06F11/00
CPC分类号： G06F11/3608 , G06F9/44
摘要： A method for detecting software defects includes selecting from a target program comprising a plurality of modules a first module for evaluation and isolating the first module. The method also includes iteratively performing the following steps until the first module has been reduced such that a validation program is able to determine whether the first module contains a defect: generating an environment surrounding the first module, the generated environment preserving at least one external constraint on the first module; reducing the size of the first module; and reducing the number of program states associated with the first module.
摘要翻译： 用于检测软件缺陷的方法包括从包括多个模块的目标程序中选择用于评估和隔离第一模块的第一模块。 该方法还包括迭代地执行以下步骤，直到第一模块被减少，使得验证程序能够确定第一模块是否包含缺陷：生成围绕第一模块的环境，所生成的环境保留至少一个外部约束 在第一个模块上 减小第一个模块的尺寸; 并减少与第一模块相关联的程序状态的数量。
-
公开(公告)号：US08997064B2
公开(公告)日：2015-03-31
申请号：US13587423
申请日：2012-08-16
CPC分类号： G06F11/36 , G06F9/44589 , G06F11/3688
摘要： A method of testing software may include accessing software that includes multiple execution paths that each include one or more branching points. The method may also include concretely executing the software using multiple concrete inputs to traverse at least two of the execution paths of the software. The method may also include capturing concrete execution results produced from executing the software using the concrete inputs. The method may also include symbolically executing the software using one or more symbolic inputs based on the concrete execution results.
摘要翻译： 测试软件的方法可以包括访问包括多个执行路径的软件，每个执行路径包括一个或多个分支点。 该方法还可以包括具体地使用多个具体输入来执行软件来遍历软件的至少两个执行路径。 该方法还可以包括捕获使用具体输入执行软件产生的具体执行结果。 该方法还可以包括基于具体执行结果使用一个或多个符号输入来符号地执行软件。
-
10.发明申请Extracting Training Scenarios from Test Cases for User-Interface Component Recognition 有权从用户界面组件识别的测试用例中提取培训场景公开(公告)号：US20110296314A1
公开(公告)日：2011-12-01
申请号：US12787979
申请日：2010-05-26
申请人： Mukul R. Prasad
发明人： Mukul R. Prasad
IPC分类号： G06F3/01
摘要： In one embodiment, a method includes accessing a set of use cases of a software application and selecting, from the set of use cases, a subset of use cases that has a goodness-to-cost ratio that satisfies a predetermined requirement. Computing the goodness-to-cost ratio for the subset of use cases includes: for each use case from the subset of use cases, computing a second cost as a sum of the first costs associated with the user actions of the use case; computing a third cost as a sum of the second costs; for each user-interface component that is acted upon by at least one of the user actions of at least one of the use cases from the subset of use cases, computing a first goodness measure that indicates a level of user-action coverage that the subset of use cases provides on the user-interface component; computing a second goodness measure as a sum of the first goodness measures; and computing the goodness-to-cost ratio as a ratio between the second goodness measure and the third cost.
摘要翻译： 在一个实施例中，一种方法包括访问软件应用程序的一组使用情况，并从该组用例中选择具有满足预定要求的具有良好成本比的用例子集。 计算用例子集的优点成本比包括：对于来自用例子集的每个用例，将第二成本计算为与用例的用户动作相关联的第一成本的总和; 计算第三个成本作为第二个成本的总和; 对于由来自用例子集的至少一个使用案例的至少一个用户动作所执行的每个用户界面组件，计算表示该子集的用户行为覆盖级别的第一善意度量 的用例提供在用户界面组件上; 计算第二个善意度量作为第一个善意度量的总和; 并计算优良成本比作为第二优点度量与第三成本的比值。
-
-
-
-
-
-
-
-
-
搜索结果
38 条记录 (耗时 0.019 秒)