公开(公告)号：US20180024833A1

公开(公告)日：2018-01-25

申请号：US15722938

申请日：2017-10-02

Applicant: International Business Machines Corporation

Inventor： Abhishek Bansal ,  Nitin P. Gupta ,  Brad L. Herold ,  Jayakumar N. Sankarannair

IPC: G06F9/30 ,  G06F11/22 ,  G06F9/38 ,  G06F11/28

CPC classification number: G06F9/30058 ,  G06F9/3005 ,  G06F9/3804 ,  G06F11/2236 ,  G06F11/28

Abstract: A process for processor testing includes generating a set of test instructions having a first portion and a second portion. A first branch instruction is randomly generated for the first portion where the first branch instruction branches to a respective instruction in a second portion by a branching location offset. A second branch instruction is randomly generated for the second portion where the second branch instruction branches to a respective instruction in the first portion by the branching location offset. If additional instructions are to be added to the set of test instructions, a value of the branching location offset is incrementing by a predetermined amount.

公开(公告)号：US09785528B2

公开(公告)日：2017-10-10

申请号：US14552713

申请日：2014-11-25

Applicant: Lidong Qu

Inventor： Lidong Qu

IPC: G06F15/173 ,  G06F11/28 ,  G06F13/16 ,  G06K19/00 ,  G06Q10/10 ,  H04W4/00 ,  H04L29/08

CPC classification number: G06F11/28 ,  G06F13/1689 ,  G06K19/00 ,  G06Q10/10 ,  H04L67/34 ,  H04W4/80

Abstract: The present invention relates to a method and system that use data tags to track tasks in applications to provide Object-to-Object (OTO) services. A first application data tag is issued by a data tag server as in an OTO service platform in response to an initiation of a first application by a first initiator. The first data tag specifies at least one first task for fulfilling a first service. The first application data tag is scanned by a first user terminal by a first participant. A first action data tag is issued by the data tag server. A first dynamically variable task data tag is issued by the data tag server to track the first task in the first action. The first dynamically variable task data tag is updated to record the completion of the first task in the first action when the first task is completed.

公开(公告)号：US09329983B2

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

申请号：US14667992

申请日：2015-03-25

Applicant: International Business Machines Corporation

Inventor： Mauro Arcese ,  Pier F. Bottan ,  Giorgio Corsetti

IPC: G06F9/44 ,  G06F11/36 ,  G06F11/28 ,  G06F9/54

CPC classification number: G06F11/3688 ,  G06F8/70 ,  G06F9/542 ,  G06F11/28 ,  G06F11/3672

Abstract: To centrally manage execution of tests of software in an event oriented manner, a test execution engine reads a first test case from a test case component, where the test case represents tasks that have to be run to test a first procedure of a software program under evaluation. Further, the test execution engine identifies a participant node configured for sending events to an event queue and obtains events from the event queue. With those obtained events, the test execution engine evaluates whether the first procedure of the software program executed successfully and indicates whether the first procedure executed properly. The participant node has a node agent transmits events about the procedure and the first test case to the event queue.

公开(公告)号：US09304872B2

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

申请号：US13821837

申请日：2011-09-09

Applicant: Andre Schmitt ,  Ute Schiffel ,  Christof Fetzer ,  Martin Suesskraut

Inventor： Andre Schmitt ,  Ute Schiffel ,  Christof Fetzer ,  Martin Suesskraut

IPC: G06F11/00 ,  G06F11/14 ,  G06F11/08 ,  G06F11/28 ,  H03M13/47 ,  H03M13/49 ,  H03M13/51

CPC classification number: G06F11/1479 ,  G06F11/085 ,  G06F11/28 ,  H03M13/47 ,  H03M13/49 ,  H03M13/51

Abstract: In one embodiment, a method is provided for data processing in order to provide a value for determining whether an error has occurred in the execution of a program. The method may include: determining a numerical value on the basis of a plurality of reference numbers determined by a checking circuit outside the program; determining a signature of at least one instruction of the program by means of an arithmetic code; updating a cumulative value on the basis of the numerical value and the signature; and transferring the updated cumulative value to the checking circuit in order to determine whether an error has occurred in the execution of the program, on the basis of the plurality of reference numbers and the cumulative value.

Abstract translation: 在一个实施例中，提供了一种用于数据处理的方法，以便提供用于确定在执行程序中是否发生错误的值。 该方法可以包括：基于由程序外部的检查电路确定的多个参考号确定数值; 通过算术代码确定程序的至少一个指令的签名; 基于数值和签名更新累积值; 并且将更新的累积值转移到检查电路，以便基于多个参考号和累积值来确定在执行程序中是否发生错误。

公开(公告)号：US09092427B2

公开(公告)日：2015-07-28

申请号：US13563000

申请日：2012-07-31

Applicant: Russell T. Mackler

Inventor： Russell T. Mackler

IPC: G06F11/28 ,  G06F21/44 ,  G06F21/00

CPC classification number: G06F11/28 ,  G06F21/00 ,  G06F21/44 ,  G06F21/445 ,  G06F2211/003 ,  H04L63/0272 ,  H04L63/0428 ,  H04L63/08 ,  H04L63/108 ,  H04L63/18 ,  H04L63/205

Abstract: A secure session of communication between two entities in a network is disclosed. Using client-server terminology, a client sends a connection-request to a server that authenticates the connection-request and transmits a session-request to the client in response. The client reverse-authenticates the session-request and then passively waits to receive a tunnel-request transmitted by the server. The tunnel-request sets up one or more overlapping tunnels between the client and the server to support the desired communications. Each of the tunnels exists only for a specified time and is replaced by another tunnel that is set up after a selected time delay after the start of a previous tunnel.

Abstract translation: 公开了网络中两个实体之间的安全通信会话。 使用客户端 - 服务器术语，客户端向认证连接请求的服务器发送连接请求，并将响应中的会话请求发送给客户端。 客户端反向验证会话请求，然后被动地等待接收服务器发送的隧道请求。 隧道请求在客户端和服务器之间建立一个或多个重叠的隧道，以支持所需的通信。 每个隧道只存在一段指定的时间，并被另一个在之前的隧道开始之后选定的时间延迟之后建立的隧道所替代。

公开(公告)号：US09047269B2

公开(公告)日：2015-06-02

申请号：US11553890

申请日：2006-10-27

Applicant: Eric P. Armstrong ,  Stuart H. Burris, Jr. ,  Christopher Raymond Houck

Inventor： Eric P. Armstrong ,  Stuart H. Burris, Jr. ,  Christopher Raymond Houck

IPC: G06F15/173 ,  G06F11/28 ,  G06F11/34 ,  H04L12/26 ,  G06F11/32

CPC classification number: H04L43/06 ,  G06F11/28 ,  G06F11/32 ,  G06F11/3447 ,  G06F11/3476 ,  G06F2201/835 ,  G06F2201/87 ,  H04L43/00 ,  H04L43/04 ,  H04L43/045 ,  H04L43/106 ,  H04L43/16

Abstract: In certain embodiments, a method for modeling interactions with a computer system includes collecting interaction information for each of a number of interaction sessions with a computer system, each interaction session being associated with a corresponding agent system and including one or more states and one or more state transitions. The interaction information for an interaction session includes data for the one or more states and the one or more state transitions of the interaction session. The method further includes, for each of the interaction sessions, identifying the one or more states encountered during the interaction session based on the collected interaction information and generating, based on the one or more states encountered during the interaction session, a trace of the interaction session. The method further includes generating, based on the traces of the interaction sessions, a model of the interaction sessions, the model including the traces for each of the interaction sessions.

Abstract translation: 在某些实施例中，用于建模与计算机系统的交互的方法包括收集与计算机系统的多个交互会话中的每一个的交互信息，每个交互会话与相应的代理系统相关联并且包括一个或多个状态和一个或多个 状态转换。 交互会话的交互信息包括一个或多个状态的数据和交互会话的一个或多个状态转换。 该方法还包括针对每个交互会话，基于所收集的交互信息识别在交互会话期间遇到的一个或多个状态，并且基于在交互会话期间遇到的一个或多个状态生成该交互的踪迹 会话 该方法还包括基于交互会话的轨迹生成交互会话的模型，模型包括每个交互会话的跟踪。

公开(公告)号：US08996953B2

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

申请号：US13781807

申请日：2013-03-01

Applicant: International Business Machines Corporation

Inventor： Edgar R. Cordero ,  Timothy J. Dell ,  Joab D. Henderson ,  Jeffrey A. Sabrowski ,  Anuwat Saetow ,  Saravanan Sethuraman

IPC: G11C29/00 ,  G06F11/28

CPC classification number: G06F11/10 ,  G06F11/1048 ,  G06F11/2017 ,  G06F11/28 ,  H03M13/29

Abstract: Exemplary embodiments of the present invention disclose a method and system for monitoring a first Error Correcting Code (ECC) device for failure and replacing the first ECC device with a second ECC device if the first ECC device begins to fail or fails. In a step, an exemplary embodiment detects that a specified number of correctable errors is exceeded. In another step, an exemplary embodiment detects the occurrence of an uncorrectable error. In another step, an exemplary embodiment performs a loopback test on an ECC device if a specified number of correctable errors is exceeded or if an uncorrectable error occurs. In another step, an exemplary embodiment replaces an ECC device that fails the loopback test with an ECC device that passes a loopback test.

Abstract translation: 本发明的示例性实施例公开了一种用于监视第一纠错码（ECC）设备的方法和系统，用于如果第一ECC设备开始失败或失败，则用第二ECC设备故障并替换第一ECC设备。 在一个步骤中，示例性实施例检测到超过了指定数量的可校正错误。 在另一步骤中，示例性实施例检测出不可校正的错误。 在另一步骤中，如果超过指定数量的可校正错误或者发生不可校正的错误，则示例性实施例对ECC设备执行环回测试。 在另一步骤中，示例性实施例用通过环回测试的ECC设备替代了对环回测试失败的ECC设备。

公开(公告)号：US08930765B2

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

申请号：US13563026

申请日：2012-07-31

Applicant: Brian Goetz ,  Maurizio Cimadamore

Inventor： Brian Goetz ,  Maurizio Cimadamore

IPC: G06F11/28

CPC classification number: G06F11/3688

Abstract: Systems and methods for automatically testing one or more versions of a compiler of are disclosed. A compiler is instrumented to generated data exposing various internal decisions and/or actions made by the compiler. Subsequently, multiple distinct versions of the compiler are executed to compile a code corpus associated with a particular programming language. Output (including instrumentation output) from the compilation of the code corpus for each version of the compiler is obtained and compared to identify behavioral changes that may exist between the various versions of the compiler.

Abstract translation: 公开了用于自动测试编译器的一个或多个版本的系统和方法。 编译器被用来生成暴露编译器所做的各种内部决策和/或动作的数据。 随后，执行编译器的多个不同版本来编译与特定编程语言相关联的代码语料库。 获得编译器每个版本编译代码语料库的输出（包括仪器输出）并进行比较，以确定编译器的各种版本之间可能存在的行为变化。

公开(公告)号：US20140173351A1

公开(公告)日：2014-06-19

申请号：US14090962

申请日：2013-11-26

Applicant: International Business Machines Corporation

Inventor： Djihed Afifi ,  Matthew J. Jarvis

IPC: G06F11/28

CPC classification number: G06F11/24

Abstract: Method and system are provided for using environmental signatures for test scheduling. The method includes: generating an environmental signature for a test including the usage of power and temperature of one or more hardware components being tested; determining an outcome score of the test; and scheduling one or more tests on hardware components based on the environmental signature and outcome score of candidate tests. Generating an environmental signature for a test may include: monitoring the usage of power by hardware components during the course of the test; monitoring the temperature of hardware components during the course of the test; generating a signature representing the power usage and temperature during the test. Determining an outcome score of the test may include determining the number of defects exposed by a test and basing the outcome score on the number of defects exposed.

Abstract translation: 提供了使用环境签名进行测试调度的方法和系统。 该方法包括：生成用于测试的环境签名，包括正被测试的一个或多个硬件组件的功率和温度的使用; 确定测试的结果得分; 并基于候选测试的环境签名和结果分数，对硬件组件进行一个或多个测试。 为测试生成环境签名可能包括：在测试过程中监视硬件组件的功率使用情况; 在测试过程中监测硬件组件的温度; 在测试期间生成代表功率使用和温度的签名。 确定测试的结果分数可以包括确定通过测试暴露的缺陷的数量，并将结果得分基于暴露的缺陷数量。

公开(公告)号：US08688608B2

公开(公告)日：2014-04-01

申请号：US13170739

申请日：2011-06-28

Applicant: Kubilay Atasu ,  Jason R. Baumgartner ,  Christoph Hagleitner ,  Mitra Purandare

Inventor： Kubilay Atasu ,  Jason R. Baumgartner ,  Christoph Hagleitner ,  Mitra Purandare

IPC: G06F11/28

CPC classification number: G06F11/3608

Abstract: A method for determining correctness of a transformation between a first finite state automaton (FSA) and a second FSA, wherein the first FSA comprises a representation of a regular expression, and the second FSA comprises a transformation of the first FSA includes determining a third FSA, the third FSA comprising a cross product of the second FSA and a post-processor; determining whether the first FSA and the third FSA are equivalent; and in the event that the first FSA is determined not to be equivalent to the third FSA, determining that the transformation between the first FSA and the second FSA is not correct.

Abstract translation: 一种用于确定第一有限状态自动机（FSA）和第二FSA之间的变换的正确性的方法，其中所述第一FSA包括正则表达式的表示，并且所述第二FSA包括所述第一FSA的变换包括确定第三FSA 所述第三FSA包括所述第二FSA和后处理器的交叉乘积; 确定第一个FSA和第三个FSA是否相当; 并且在第一FSA被确定为不等于第三FSA的情况下，确定第一FSA与第二FSA之间的转换是不正确的。