-
公开(公告)号：US07076712B2
公开(公告)日：2006-07-11
申请号：US10444483
申请日：2003-05-22
申请人： Mukul R. Prasad , Michael S. Hsiao , Jawahar Jain
发明人： Mukul R. Prasad , Michael S. Hsiao , Jawahar Jain
IPC分类号： G06F11/00
CPC分类号： G01R31/31835 , G01R31/318502
摘要： Generating a test sequence includes receiving a circuit representation describing a circuit, and a fault associated with the circuit representation. A miter circuit model associated with a good circuit model and a faulty circuit model is established according to the circuit representation. A satisfiability problem corresponding to the fault as associated with the miter circuit model is also established. Whether the satisfiability problem is satisfiable is determined. If the satisfiability problem is satisfiable, a test sequence is generated for the fault as associated with the miter circuit model.
摘要翻译： 生成测试序列包括接收描述电路的电路表示以及与电路表示相关联的故障。 根据电路表示建立了与良好电路模型和故障电路模型相关的斜角电路模型。 还建立了与斜角电路模型相关的故障对应的可满足性问题。 确定可满足性问题是否可满足。 如果可满足性问题是可满足的，则与故障电路模型相关的故障生成测试序列。
-
公开(公告)号：US08880951B2
公开(公告)日：2014-11-04
申请号：US13441402
申请日：2012-04-06
申请人： Mukul R. Prasad
发明人： Mukul R. Prasad
IPC分类号： G06F11/00
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集群相关联的特定小部件是否是错误的。
-
33.发明授权Extracting training scenarios from test cases for user-interface component recognition 有权从用户界面组件识别的测试用例中提取训练场景公开(公告)号：US08504998B2
公开(公告)日：2013-08-06
申请号：US12787979
申请日：2010-05-26
申请人： Mukul R. Prasad
发明人： Mukul R. Prasad
摘要： 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.
摘要翻译： 在一个实施例中，一种方法包括访问软件应用程序的一组使用情况，并从该组用例中选择具有满足预定要求的具有良好成本比的用例子集。 计算用例子集的优点成本比包括：对于来自用例子集的每个用例，将第二成本计算为与用例的用户动作相关联的第一成本的总和; 计算第三个成本作为第二个成本的总和; 对于由来自用例子集的至少一个使用案例的至少一个用户动作所执行的每个用户界面组件，计算表示该子集的用户行为覆盖级别的第一善意度量 的用例提供在用户界面组件上; 计算第二个善意度量作为第一个善意度量的总和; 并计算优良成本比作为第二优点度量与第三成本的比值。
-
公开(公告)号：US08381094B1
公开(公告)日：2013-02-19
申请号：US13248027
申请日：2011-09-28
CPC分类号： G06F17/2211 , G06F17/30861
摘要： A method, media, and systems for performing incremental visual comparison of web browser screens are provided. Structured representations of a current state of an event-driven application are accessed, one with respect to a plurality of client-tier environments. Where the current state is not an initial state of the event-driven application, structured representations of a prior state of the event-driven application are accessed, with respect to each client-tier environment. A set of one or more pairwise equivalences between the current state and the prior state of the event-driven application are determined with respect to each client-tier environment. A set of one or more matched portions between the first and second sets of pairwise equivalences is determined. Finally, one or more differences in a first end-user experience in the first client-tier environment are determined with respect to a second end-user experience in the second client-tier environment.
摘要翻译： 提供了一种用于执行Web浏览器屏幕的增量视觉比较的方法，媒体和系统。 访问事件驱动应用程序的当前状态的结构化表示，一个关于多个客户端层环境。 在当前状态不是事件驱动应用程序的初始状态的情况下，对于每个客户端层环境访问事件驱动应用程序的先前状态的结构化表示。 针对每个客户端层环境确定事件驱动应用的当前状态和先前状态之间的一个或多个成对等价的集合。 确定第一和第二组成对等价之间的一个或多个匹配部分的集合。 最后，关于第二客户端层环境中的第二最终用户体验来确定第一客户端层环境中的第一最终用户体验中的一个或多个差异。
-
35.发明申请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.
摘要翻译： 在一个实施例中，一种方法包括在多个客户端层环境中动态地爬行事件驱动的应用; 对于每个客户层环境，基于动态爬行生成事件驱动应用的行为模型; 针对每个行为模型，确定关于行为模型中的一个或多个其他行为模型的一个或多个成对等价物; 并且对于每个客户端层环境，相对于事件驱动的一个或多个其他最终用户体验来确定客户端层环境中的事件驱动应用的最终用户体验中的一个或多个差异 应用程序在一个或多个其他客户端环境中。
-
公开(公告)号：US20090210212A1
公开(公告)日：2009-08-20
申请号：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对减小电路进行验证。
-
公开(公告)号：US20080072190A1
公开(公告)日：2008-03-20
申请号：US11170470
申请日：2005-06-28
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： In one embodiment, a method for validating one or more circuits using one or more grids includes accessing a circuit and generating one or more seeds for executing one or more instances of validation on the circuit. Each instance of validation comprising one or more tasks. The method also includes distributing the tasks and the seeds across a grid including multiple nodes and, using the seeds, executing the instances of validation at the nodes in the grid according to the tasks.
摘要翻译： 在一个实施例中，使用一个或多个网格来验证一个或多个电路的方法包括访问电路并生成用于执行电路上的一个或多个验证实例的一个或多个种子。 验证的每个实例包括一个或多个任务。 该方法还包括通过包括多个节点的网格分布任务和种子，并且使用种子根据任务在网格中的节点处执行验证实例。
-
公开(公告)号：US07032192B2
公开(公告)日：2006-04-18
申请号：US10444232
申请日：2003-05-22
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： Performing latch mapping includes receiving an initial circuit model representing a first circuit and a second circuit and generating an initial latch mapping for the initial circuit model. The following is repeated until a next latch mapping is at least similar to a current latch mapping to yield a final latch mapping. A current circuit model is constructed according to a previous circuit model. Current potentially equivalent node sets associated with the current circuit model are established in accordance with previous potentially equivalent node sets, where each potentially equivalent node set includes potentially equivalent nodes. Equivalence of the current potentially equivalent node sets is validated, and a current latch mapping is verified in accordance with the validated current potentially equivalent node sets to generate a next latch mapping. The final latch mapping is reported.
摘要翻译： 执行锁存映射包括接收表示第一电路和第二电路的初始电路模型，并为初始电路模型生成初始锁存器映射。 重复以下操作，直到下一个锁存器映射至少类似于当前锁存器映射以产生最终的锁存器映射。 根据先前的电路模型构建电流电路模型。 根据先前的潜在等效的节点集建立与当前电路模型相关联的当前潜在等价的节点集，其中每个潜在的等效节点集包括潜在的等效节点。 验证当前潜在等效的节点集的等效性，并且根据经验证的当前潜在的等效节点集来验证当前的锁存映射以生成下一个锁存映射。 报告最后的锁存映射。
-
-
-
-
-
-
-
搜索结果
38 条记录 (耗时 0.036 秒)