Abstract: A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer to: generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a first symbolic variable included in the path condition; calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition; generate test data including the values of the symbolic variable, the fixed values, and path conditions not subjected to simplification; and remove duplicative data from the test data that corresponds to a same path condition.
Abstract: A method and apparatus are provided for automatically integrating software components for use in a COM compliant application from functions developed outside of the COM compliant application environment. The method and apparatus provide a user interface and a build tool that allows the user to select desired functions and select desired locations in the COM compliant application and map those locations to inputs and outputs of the function and create the component automatically from the user's selections. The method and apparatus provide a graphical user interface for the user to direct a build tool to generate the desired component and integrate that component with the COM compliant application.
Abstract: Expression-based hierarchical validation is disclosed, including: receiving an indication to configure validation for an application page element; in response to the indication, causing to be displayed a validation configuration user interface to receive validation configuration for the application page element; receiving validation configuration for the application page element that includes a validation expression provided via the validation configuration user interface; and generating, based at least in part on the validation expression, code to be executed at a runtime to validate runtime data associated with an instance of the page element.
Abstract: A first stream operator in a stream computing application receives and processes a first stream of tuples. The processing at the first stream operator is paused in response to receiving a first one of the tuples in the first stream that triggers a breakpoint in the first stream operator. A determination of whether a condition to release the breakpoint is met is made, and the breakpoint is released in response to determining that the condition is met. The condition to release the breakpoint may be that a count of tuples of the first stream is outside of a threshold. A second stream of tuples may be received for processing at a second stream operator. The condition to release the breakpoint may be that a count of tuples of the second stream is outside of a threshold.
Type:
Grant
Filed:
December 2, 2013
Date of Patent:
February 7, 2017
Assignee:
International Business Machines Corporation
Inventors:
Eric L. Barsness, Michael J. Branson, Bradford L. Cobb, John M. Santosuosso
Abstract: A computer-implemented method includes determining that a connection to an update server should be established. The method also includes establishing a wireless connection with the update server. The method further includes sending at least a VIN number to the update server and downloading one or more module updates corresponding to the sent VIN number. Also, the method includes verifying the one or more downloaded updates. The method further includes flashing one or more modules to which the one or more updates correspond. Additionally, the method includes verifying the functionality of each module which has been flashed.
Type:
Grant
Filed:
July 26, 2011
Date of Patent:
January 31, 2017
Assignee:
Ford Global Technologies, LLC
Inventors:
Medville Jay Throop, Brian David Tillman, Scott David Wojtkowicz, Daniel William Forthoffer
Abstract: The present invention enables capturing API level calls using a combination of dynamic instrumentation and library overriding. The invention allows event level tracing of API function calls and returns, and is able to generate an execution trace. The instrumentation is lightweight and relies on dynamic library/shared library linking mechanisms in most operating systems. Hence we need no source code modification or binary injection. The tool can be used to capture parameter values, and return values, which can be used to correlate traces across API function calls to generate transaction flow logic.
Abstract: A dynamic monitoring process begins with configuring a start and end method to be monitored. The dynamic monitoring process may intercept both the start and end methods as and when the loader is initiated or at runtime to dynamically attach and detach the instrumentation. A loader may then be modified to call a library method upon detection of the start method. The library method may serve as a notification to the start of the method and causes a reflector to retrieve information from the incoming request. The incoming information may include data from which a business transaction name may be determined. The business transaction name is then associated with the monitoring of the particular request. When an exit call is detected, a call may be made to the library for a method which invokes a decorator. The decorator may insert business transaction name and other data into the outgoing call.
Type:
Grant
Filed:
October 31, 2014
Date of Patent:
December 27, 2016
Assignee:
AppDynamics, Inc.
Inventors:
Pankaj Kumar, Amod Gupta, Sanjay Nagaraj, Michael Margulis
Abstract: A predicated instruction compilation system includes a control flow graph generation module to generate a control flow graph of a program code to be compiled into the predicated instructions to be executed on a processor that does not include any program counter. Each of the instructions includes a predicate guard and a predicate update. The compilation system also includes a control flow transformation module to automatically generate the predicate guard and an update to the predicate state on the processor. A computer-implemented method of compiling a program code into predicated instructions is also described.
Abstract: A system and associated method for generating a Service Component Architecture (SCA) module with Service Oriented Architecture (SOA) model elements. A service model corresponds to a process model that has activities and a process flow. Services of the service model are respectively associated with the activities. Each service is determined to employ only one service operation definition to render a message specification of a respective activity that is associated with each service. The activities, the process flow, and the message specification are utilized to produce the SCA module in executable implementations.
Type:
Grant
Filed:
October 9, 2015
Date of Patent:
November 22, 2016
Assignee:
International Business Machines Corporation
Abstract: A protocol independent debugging tool for debugging communication interfaces of devices is disclosed. The debugging tool is configured to receive communication protocol plug-ins corresponding to different communication protocols. The debugging tool instantiates a stack interface from the protocol plug-in, such that the stack interface implements a protocol-specific stack wrapper that communicates with a device being tested. The stack specific wrapper receives commands from a command interface for the device being tested, generates data packets in accordance with the communication protocol of the device being tested, and transmits the data packets to the device being tested.
Type:
Grant
Filed:
September 23, 2011
Date of Patent:
November 8, 2016
Assignee:
Roche Diabetes Care, Inc.
Inventors:
Brian J. Dean, Jyotsna Raghuraman, Robert E. Reinke, Christopher G. Relf
Abstract: A virtualized Application Program Interface (API) implementation is generated based upon narrative API documentation that includes sentences that describe the API, by generating programming statements for the virtualized API implementation based upon parsing the narrative API documentation, and generating the virtualized API implementation based on upon the programming statements for the virtualized API implementation. The parsing of the narrative documentation may use a natural language parser and a domain-specific ontology for the API that may be obtained or created for the API. The virtualized API implementation may be generated using an API virtualizer.
Type:
Grant
Filed:
June 11, 2014
Date of Patent:
October 18, 2016
Assignee:
CA, Inc.
Inventors:
Kouros Hodaee Esfahany, Jean-David Dahan, James Stephen Kress, Debra J. Danielson
Abstract: One embodiment of the present invention provides a system for authorizing a software product to be used on a computer system. During operation, the system receives authorization information at a database from a point of sale system located at a retailer, wherein the authorization information is associated with the software product. The system then modifies a database entry associated with the software product to authorize use of the software product.
Type:
Grant
Filed:
June 27, 2006
Date of Patent:
October 18, 2016
Assignee:
INTUIT INC.
Inventors:
Edmund Yu Liang Sung, Timothy A. Rosemore, Jennifer Possin, Raymond S. Tenenbaum, Stephen L. Molloy
Abstract: Control Flow Graph flattening of a function of software code including a plurality of basic blocks having an address and at least one instruction is described. A processor uses a transition function to obtain an address in a jump table of at least one diffusion function coefficient of a subsequent block of the plurality of basic blocks. Thereafter, the processor generates and inserts branch functions, assigning a value to the label of each of the plurality of basic blocks and then obtains coefficients for each of the plurality of basic blocks.
Type:
Grant
Filed:
October 24, 2015
Date of Patent:
September 13, 2016
Assignee:
THOMSON LICENSING
Inventors:
Charles Salmon-Legagneur, Antoine Monsifrot
Abstract: A schema-less system output object parser and code generation process analyzes an instance of a response object from a system, such as a storage array, having components of multiple different types, formats and communications protocols, and automatically generates middleware Java source code to translate and communicate requests and responses between the different components and client applications. Output response objects responding to application requests are annotated and parsed, and data structures are created and initialized with keys and key value variables to generate source code to handle live data.
Abstract: A method, system and computer program product for optimizing memory usage associated with duplicate string objects in a Java virtual machine. The method comprises scanning a heap of the Java virtual machine at the end of the start-up process of the virtual machine to identify duplicate strings associated with the virtual machine, storing the identified strings in a string cache file, and determining whether a new string that needs to be created during start-up already exists in the string cache file. The duplicate strings are added to an interned strings table. A reference to a duplicate string is returned if a string to be created is already in the string cache file.
Type:
Grant
Filed:
December 20, 2013
Date of Patent:
July 26, 2016
Assignee:
International Business Machines Corporation
Inventors:
Curtis E. Hrischuk, Andrew Russell Low, Peter Duncan Shipton, John Joseph Stecher
Abstract: In a method for generating test transactions across computing systems, a first test function of a first program on a first computing system of a plurality of computing systems receives a plurality of instructions, wherein a first instruction of the plurality of instructions is to invoke a first transaction between a second function of the first program and a second program on a second computing system of the plurality of computing systems. The first test function of the first program causes the transaction between the second function of the first program on the first computing system and the second program on the second computing system. The first test function of the first program sends the plurality of instructions to a second test function on a third computing system of the plurality of computing systems, based on a second instruction of the plurality of instructions.
Type:
Grant
Filed:
September 8, 2014
Date of Patent:
July 5, 2016
Assignee:
International Business Machines Corporation
Inventors:
Scot Dixon, Steven Larcombe, Gregory R. Fallon, Nicholas Wu, Cao Phuong
Abstract: Embodiments may implement processing and presentation of information with, e.g., standalone and/or application integration, object-oriented, hierarchical architecture, in the form of, e.g., an add-in application or a computing platform for creating, modifying, interpreting, compiling, and/or executing an application. Embodiments may be implemented as a discrete computing platform or as an overlay, allowing interoperability with capabilities of the overlaid platform. Many embodiments correspond to computing platforms that support a new computing paradigm, a definition-centered paradigm. The definition-centered paradigm is an object-oriented hierarchy referred to as a Model hierarchy with one or more data structures referred to as Entities and, in many embodiments, interface types referred to as Relations. Each Entity has a defined type that specifies the data structure layout and supported functions.
Abstract: In a method for generating test transactions across computing systems, a first test function of a first program on a first computing system of a plurality of computing systems receives a plurality of instructions, wherein a first instruction of the plurality of instructions is to invoke a first transaction between a second function of the first program and a second program on a second computing system of the plurality of computing systems. The first test function of the first program causes the transaction between the second function of the first program on the first computing system and the second program on the second computing system. The first test function of the first program sends the plurality of instructions to a second test function on a third computing system of the plurality of computing systems, based on a second instruction of the plurality of instructions.
Type:
Grant
Filed:
December 31, 2013
Date of Patent:
June 28, 2016
Assignee:
International Business Machines Corporation
Inventors:
Scot Dixon, Steven Larcombe, Gregory R. Fallon, Nicholas Wu, Cao Phuong
Abstract: A first stream operator in a stream computing application receives and processes a first stream of tuples. The processing at the first stream operator is paused in response to receiving a first one of the tuples in the first stream that triggers a breakpoint in the first stream operator. A determination of whether a condition to release the breakpoint is met is made, and the breakpoint is released in response to determining that the condition is met. The condition to release the breakpoint may be that a count of tuples of the first stream is outside of a threshold. A second stream of tuples may be received for processing at a second stream operator. The condition to release the breakpoint may be that a count of tuples of the second stream is outside of a threshold.
Type:
Grant
Filed:
June 28, 2013
Date of Patent:
June 21, 2016
Assignee:
International Business Machines Corporation
Inventors:
Eric L. Barsness, Michael J. Branson, Bradford L. Cobb, John M. Santosuosso
Abstract: A method includes declaring, in a manifest of an application, a document URL type. The application is configured for native operation outside a web browser on a user's computing device and is coded to open a document corresponding to a document URL which conforms to the declared document URL type in the manifest. The method further includes providing the application for installation on the user's computing device.