公开(公告)号：US20240168798A1

公开(公告)日：2024-05-23

申请号：US17990086

申请日：2022-11-18

申请人： Salesforce, Inc.

发明人： Sowmya Tammana

IPC分类号： G06F9/48 ,  G06F11/34

CPC分类号： G06F9/4881 ,  G06F11/3461

摘要： Systems and techniques are provided that implement application programming interfaces (APIs) that can be executed synchronously or asynchronously depending on the expected response time of the API, the status of the API and/or systems that implement the API, the identity and/or type of user making a request via the API, historical requirements or operation of the API, and/or other factors.

公开(公告)号：US11829275B2

公开(公告)日：2023-11-28

申请号：US16570654

申请日：2019-09-13

申请人： TOYOTA RESEARCH INSTITUTE, INC. ,  THE BOARD OF TRUSTEES OF THE LELAND STANFORD JUNIOR UNIVERSITY

发明人： Nikos Arechiga Gonzalez ,  Karen Y. Leung ,  Marco Pavone

IPC分类号： G06F11/34

CPC分类号： G06F11/3461

摘要： Systems and methods for generating and evaluating driving scenarios with varying difficulty levels is provided. The disclosed systems and methods may be used to develop a suite of regression tests that track the progress of an autonomous driving stack. A robustness trace of a temporal logic formula may be computed from an always-eventually fragment using a computation graph. The robustness trace may be approximated by a smoothly differentiable computation graph, which can be implemented in existing machine learning programming frameworks. The systems and methods provided herein may be useful in automatic test case generation for autonomous or semi-autonomous vehicles.

公开(公告)号：US09740589B2

公开(公告)日：2017-08-22

申请号：US14792964

申请日：2015-07-07

申请人： International Business Machines Corporation

发明人： Jason R. Baumgartner ,  Raj Kumar Gajavelly ,  Alexander Ivrii ,  Pradeep Kumar Nalla

IPC分类号： G06F11/00 ,  G06F11/34 ,  G06F11/30

CPC分类号： G06F11/3495 ,  G06F11/00 ,  G06F11/3003 ,  G06F11/3461

摘要： A trace of a bounded liveness failure of a system component is received, by one or more processors, along with fairness constraints and liveness assertion conditions. One or more processors generate randomized values for unassigned input values and register values, of the trace, and simulate traversal of each of a sequence of states of the trace. One or more processors determine whether traversing the sequence of states of the trace results in a repetition of a state, and responsive to determining that traversing the sequence of states of the trace does result in a repetition of a state, and the set of fairness constraints are asserted within the repetition of a state, and that the continuous liveness assertion conditions are maintained throughout the repetition of the state, a concrete counterexample of a liveness property of the system component is reported.

公开(公告)号：US09471482B2

公开(公告)日：2016-10-18

申请号：US14555114

申请日：2014-11-26

申请人： VMware, Inc.

发明人： Tariq Magdon-Ismail ,  Duy Nguyen

IPC分类号： G06F12/00 ,  G06F12/02 ,  G06F12/08 ,  G06F11/30 ,  G06F11/34

CPC分类号： G06F12/0238 ,  G06F11/3034 ,  G06F11/3414 ,  G06F11/3461 ,  G06F12/0871 ,  G06F12/0893 ,  G06F2201/815 ,  G06F2201/885 ,  G06F2212/1021 ,  G06F2212/1044 ,  G06F2212/314 ,  G06F2212/601

摘要： Exemplary methods, apparatuses, and systems include a host computer selecting a first workload of a plurality of workloads running on the host computer to be subjected to an input/output (I/O) trace. The host computer determines whether to generate the I/O trace for the first workload for a first length of time or for a second length of time. The first length of time is shorter than the second length of time. The determination is based upon runtime history for the first workload, I/O trace history for the first workload, and/or workload type of the first workload. The host computer generates the I/O trace of the first workload for the selected length of time.

摘要翻译： 示例性方法，装置和系统包括主计算机选择在主计算机上运行以承受输入/输出（I / O）跟踪的多个工作负载的第一工作负载。 主计算机确定是否为第一个时间长度或第二个时间长度生成第一个工作负载的I / O跟踪。 第一个时间长度比第二个时间长。 该确定基于第一个工作负载的运行历史记录，第一个工作负载的I / O跟踪历史记录和/或第一个工作负载的工作负载类型。 主机在选定的时间长度内生成第一个工作负载的I / O跟踪。

公开(公告)号：US09229838B2

公开(公告)日：2016-01-05

申请号：US13544232

申请日：2012-07-09

申请人： Rong N. Chang ,  Chang-Shing Perng ,  Byung Chul Tak ,  Chunqiang Tang

发明人： Rong N. Chang ,  Chang-Shing Perng ,  Byung Chul Tak ,  Chunqiang Tang

IPC分类号： G06F9/45 ,  G06F11/34

CPC分类号： G06F11/3461 ,  G06F11/3409 ,  G06F2201/815 ,  G06F2201/865

摘要： A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a second, different environment includes generating a virtual application that mimics the resource consuming behavior of the application, executing the virtual application in the second environment, and evaluating the performance of the virtual application in the second environment.

摘要翻译： 当从应用程序当前执行的第一环境迁移到第二不同环境时，评估应用程序的性能的方法包括生成模仿应用程序的资源消耗行为的虚拟应用程序，在第二个环境中执行虚拟应用程序 环境，并评估虚拟应用程序在第二个环境中的性能。

公开(公告)号：US08990778B1

公开(公告)日：2015-03-24

申请号：US13619197

申请日：2012-09-14

申请人： William W. Allocca ,  James Cade Bodley ,  Ram Cherukuri ,  Bharathi Masilamani ,  Harsha Ramalingam ,  Nandan U. Telang

发明人： William W. Allocca ,  James Cade Bodley ,  Ram Cherukuri ,  Bharathi Masilamani ,  Harsha Ramalingam ,  Nandan U. Telang

IPC分类号： G06F9/44 ,  G06F11/36

CPC分类号： G06F11/3664 ,  G06F11/3457 ,  G06F11/3461 ,  G06F11/3692

摘要： The techniques described herein provide software testing of a candidate version of software. In some examples, an interceptor intercepts at least one production request to a production version of the software and issues the production request to a shadow proxy service as a shadow request. The shadow proxy service causes the at least one shadow request to be processed by the candidate version of the software being validated and an authority version of the software being used to validate the candidate version. The shadow proxy service may then compare and/or analyze at least one candidate response to the shadow request from the candidate version and at least one authority response to the shadow request from the authority version. A dashboard service may provide at least some of the resulting information and issue a request the shadow proxy service to replay at least one of the shadow requests.

摘要翻译： 本文描述的技术提供软件的候选版本的软件测试。 在一些示例中，拦截器拦截至软件的生产版本的至少一个生产请求，并向影子代理服务发出生产请求作为影子请求。 影子代理服务使得至少一个影子请求被待验证的软件的候选版本处理，并且软件的授权版本被用于验证候选版本。 然后，影子代理服务可以从候选版本和从权限版本到影子请求的至少一个权限响应来比较和/或分析至于影子请求的至少一个候选响应。 仪表板服务可以提供至少一些所得到的信息，并且发出影子代理服务以重播至少一个影子请求的请求。

公开(公告)号：US20150007198A1

公开(公告)日：2015-01-01

申请号：US13928050

申请日：2013-06-26

申请人： Silicon Graphics International Corp.

发明人： Daniel Thomas ,  John Baron

IPC分类号： G06F9/54

CPC分类号： G06F11/3006 ,  G06F11/3404 ,  G06F11/3419 ,  G06F11/3428 ,  G06F11/3447 ,  G06F11/3457 ,  G06F11/3461 ,  G06F11/3466 ,  G06F11/3668 ,  G06F17/5009

摘要： A method and computer program product for testing a high performance computing application performing a computation within a clustered computer arrangement is disclosed. The high performance computing arrangement performances computations across processors in parallel wherein the processors cooperate to perform the computation. The application can be tested by adding delay and therefore latency to one or more commands inside of the precompiled application. The addition of delay can be used to simulate the performance of different interconnects that are used within the high performance computing arrangement.

摘要翻译： 公开了一种用于测试在集群计算机装置内执行计算的高性能计算应用的方法和计算机程序产品。 并行处理器的高性能计算布置性能计算，其中处理器协作以执行计算。 可以通过对预编译应用程序中的一个或多个命令添加延迟并因此进行延迟来测试应用程序。 可以使用延迟的添加来模拟在高性能计算布置中使用的不同互连的性能。

公开(公告)号：US08433777B1

公开(公告)日：2013-04-30

申请号：US11904129

申请日：2007-09-26

申请人： Qing Liu ,  Ying Guo

发明人： Qing Liu ,  Ying Guo

IPC分类号： G06F15/16

CPC分类号： G06F11/2089 ,  G06F3/0626 ,  G06F3/0659 ,  G06F3/0689 ,  G06F11/2005 ,  G06F11/201 ,  G06F11/2221 ,  G06F11/2294 ,  G06F11/3461

摘要： A system that provides efficient expansion capability of a storage unit under test including multiple storage processors and reduces a number of required Ethernet ports on a client device and a reduced number of physical connections on the client device. A first processor and a peer processor of a storage processor system may be coupled to counterpart processors on one or more other storage processor systems using direct port-to-port connections and/or using a network infrastructure. A command from the client device may be passed among first processors and peer processors of the multiple storage processor systems until the correct destination processor for the command is reached, and data packets may be passed from a source processor of a storage processor system through processors of other storage processor systems until the client device is reached.

摘要翻译： 提供被测存储单元的有效扩展能力的系统，包括多个存储处理器，并减少客户端设备上所需的以太网端口数量，减少客户端设备上的物理连接数量。 存储处理器系统的第一处理器和对等处理器可以使用直接端口到端口连接和/或使用网络基础设施耦合到一个或多个其他存储处理器系统上的对应处理器。 可以在多个存储处理器系统的第一处理器和对等处理器之间传递来自客户端设备的命令，直到达到用于该命令的正确目的地处理器，并且可以从存储处理器系统的源处理器通过处理器 其他存储处理器系统，直到达到客户端设备。

公开(公告)号：US20110119044A1

公开(公告)日：2011-05-19

申请号：US12198595

申请日：2008-08-26

申请人： Anthony Dean Walker

发明人： Anthony Dean Walker

IPC分类号： G06F9/455

CPC分类号： G06F17/5022 ,  G06F11/3409 ,  G06F11/3461 ,  G06F11/349 ,  G06F2201/87 ,  G06F2201/88 ,  G06F2201/885

摘要： An efficient, cycle-accurate processor execution simulator models a target processor by executing a program execution image comprising instructions having run-time dependencies resolved by execution on an existing processor compatible with the target processor. The instructions may have been executed upon a processor in an I/O environment too complex to model. In one embodiment, the simulator executes instructions that were directly executed on a processor. In another embodiment, a markup engine alters a compiled program image, with reference to instructions executed on a processor, to remove run-time dependencies. The marked up program image is then executed by the simulator. The processor execution simulator includes an update engine operative to cycle-accurately simulate instruction execution, and a communication engine operative to model each communication bus of the target processor.

摘要翻译： 有效的，循环精确的处理器执行模拟器通过执行程序执行图像来建模目标处理器，该程序执行图像包括具有通过在与目标处理器兼容的现有处理器上的执行而被解决的运行时依赖性的指令 指令可能已经在I / O环境中的处理器上执行过于复杂，无法建模。 在一个实施例中，模拟器执行在处理器上直接执行的指令。 在另一个实施例中，标记引擎参照在处理器上执行的指令来改变已编译的程序图像，以去除运行时依赖性。 标记的程序图像然后由模拟器执行。 处理器执行模拟器包括可操作以循环精确地模拟指令执行的更新引擎和可操作以对目标处理器的每个通信总线进行建模的通信引擎。

公开(公告)号：US07716335B2

公开(公告)日：2010-05-11

申请号：US11346900

申请日：2006-02-03

申请人： Darpan Dinker ,  Herbert D. Schwetman ,  Jan L. Bonebakker

发明人： Darpan Dinker ,  Herbert D. Schwetman ,  Jan L. Bonebakker

IPC分类号： G06F15/173

CPC分类号： G06F11/3409 ,  G06F11/3461 ,  G06F11/3466 ,  G06F11/3476 ,  G06F2201/865 ,  G06F2201/87 ,  G06F2201/88 ,  G06F2201/885

摘要： An application server may be instrumented to provide a resource measurement framework to collect resource usage data regarding request processing by the application server and applications executing on the application server. The resource measurement framework of an application server may collect hardware and software resource usage data regarding request processing at interception points located at interfaces between application components and services or other components of the application server by instrumenting those interfaces. The resource measurement framework may collect resource usage by instrumenting standard interfaces and/or methods of various specifications, such as implemented by containers or other components of the application server. Thus, the resource measurement framework may collect resource usage for applications or application components that do not include any resource measuring capabilities. The collected resource usage data may be parsed and combined to create an overall characterization of resource usage corresponding to the application server's request processing.

摘要翻译： 可以对应用服务器进行测试，以提供资源测量框架来收集关于应用服务器和在应用服务器上执行的应用的请求处理的资源使用数据。 应用服务器的资源测量框架可以通过测试这些接口来收集关于位于应用组件和应用服务或应用服务器的其他组件之间的接口处的拦截点处的请求处理的硬件和软件资源使用数据。 资源测量框架可以通过测试标准接口和/或各种规范的方法（例如由应用服务器的容器或其他组件实现）来收集资源使用。 因此，资源测量框架可以收集不包括任何资源测量能力的应用或应用组件的资源使用。 收集的资源使用数据可以被解析和组合，以创建与应用服务器的请求处理相对应的资源使用的总体特性。