| 6996811 |
Method for creating a performance model of an application program adjusted with an execution result of the application program |
| Feb-7-2006 |
There are previously involved: a program source-into which a log output instruction for adjusting an application model is embedded; a simulation source for performance simulation corresponding to the program... |
| 6996503 |
System and method for take-off of materials using two-dimensional CAD interface |
| Feb-7-2006 |
A system and method for taking-off material details using a two-dimensional CAD interface for estimating a bill of materials and automatically creating a material take-off list for items in a two or three-dimensional... |
| 6986127 |
Debugging apparatus and method for systems of configurable processors |
| Jan-10-2006 |
A debugging system and debugging techniques for configurable processors remove the requirement of foreknowledge of specific configurable processor information from components of the debugging system where... |
| 6986110 |
Automated method and system for backtracing of instruction parameters from specified instruction in test cases |
| Jan-10-2006 |
Method and system for automatically backtracing through a testcase file. First the testcase file is accessed. Next, a start line identifier for specifying an instruction line in the testcase file at which... |
| 6983234 |
System and method for validating processor performance and functionality |
| Jan-3-2006 |
A method and system for accurately validating performance and functionality of a processor in a timely manner is provided. First, a program is executed on a high level simulator of the processor. Next,... |
| 6980975 |
Method and apparatus for rule-based random irritator for model stimulus |
| Dec-27-2005 |
For testing a logic unit under test (UUT), rule-based random irritation of a UUT model is provided to be used in conjunction with a simulator. The UUT model is stimulated (or irritated) with data patterns... |
| 6978440 |
System and method for developing test cases using a test object library |
| Dec-20-2005 |
A method, apparatus, article of manufacture, and a memory structure for generating a test code for an automatic procedure is disclosed. The method comprises the steps of defining a source file having a... |
| 6973417 |
Method and system for simulating execution of a target program in a simulated target system |
| Dec-6-2005 |
A method and system for simulating the execution of a software program on a simulated hardware system. An instrumented software program is divided into program segments delineated by tags and is then analyzed... |
| 6964037 |
Method and apparatus for determining colimits of hereditary diagrams |
| Nov-8-2005 |
A computer-implemented method and system for determining colimits of hereditary diagrams. A user specifies a diagram of diagram and specifies performance of a colimit operation. Once the colimit is performed,... |
| 6961925 |
Parallelism performance analysis based on execution trace information |
| Nov-1-2005 |
A system for conducting performance analysis for executing tasks. The analysis involves generating a variety of trace information related to performance measures, including parallelism-related information,... |
| 6959433 |
Data processing system, method, and program for automatically testing software applications |
| Oct-25-2005 |
A data processing system, method, and program including an automated software test environment are disclosed for automatically testing a software application. A work flow manager is established for automatically... |
| 6957256 |
Linking external applications to a network management system |
| Oct-18-2005 |
A method and apparatus for linking external information to a network management system are disclosed. A network management system is installed for and executes in association with a managed network. An... |
| 6952825 |
Concurrent timed digital system design method and environment |
| Oct-4-2005 |
The present invention relates to the design of an essentially digital system. As one example of digital systems, these may perform real-time transformations on time discrete digitized samples of analogue... |
| 6951011 |
Diagnostic method and article for identifying significant events |
| Sep-27-2005 |
Backtraces are logged in the log file during execution of a program and tagged with information that can categorize the backtraces. Certain tags are also marked as "interesting" in the log file. A report... |
| 6941546 |
Method and apparatus for testing a software component using an abstraction matrix |
| Sep-6-2005 |
A functional testing technique is provided employing an abstraction matrix that describes a complex software component to be tested. The abstraction matrix includes state and event information. The technique... |
| 6907546 |
Language-driven interface for an automated testing framework |
| Jun-14-2005 |
To test the functionality of a computer system, automated testing may use an automation testing tool that emulates user interactions. A database may store words each having a colloquial meaning that is... |
| 6889199 |
Method and apparatus for encoding and generating transaction-based stimulus for simulation of VLSI circuits |
| May-3-2005 |
The invention comprises a method and system for encoding and generating transaction-based stimuli event states for the eventual application to the simulation of VLSI circuits. In the invention, each test... |
| 6862553 |
Diagnostics method and apparatus for use with enterprise controls |
| Mar-1-2005 |
A data construct set and method for use with an industrial process which is controlled according to execution code wherein a processor running the code generates requests to mechanical resources to cause... |
| 6859770 |
Method and apparatus for generating transaction-based stimulus for simulation of VLSI circuits using event coverage analysis |
| Feb-22-2005 |
The present invention applies genetic algorithmic generation of test cases the simulation of VLSI logic circuit blocks. The present invention generates a number of original test cases. This aggregate of... |
| 6856951 |
Repartitioning performance estimation in a hardware-software system |
| Feb-15-2005 |
A tool is described herein for optimizing the design of a hardware-software system. The tool allows a designer to evaluate the potential improvement in system performance that may be realized by moving... |
| 6834359 |
Method and system for testing a processor |
| Dec-21-2004 |
A method for verifying the correctness of the functional behavior of a processor cooperating with software is provided. Furthermore, the method allows verification of a CPU having at least a part of its... |
| 6822947 |
Radio network emulator for a packet core network |
| Nov-23-2004 |
A packet core network (PCN) includes a plurality of interconnected routers. An emulator is provided along with at least one of the routers and operates to control transmission of Internet Protocol (IP)... |
| 6804814 |
Method for simulating back program execution from a traceback sequence |
| Oct-12-2004 |
A program execution data trace is created by instrumenting a program to record value sets during execution and an instruction trace. By simulating instructions either backward or forward from a first instruction... |
| 6738955 |
Method and system for formal characterization of average performance |
| May-18-2004 |
A method for characterizing average performance in a data processing system is provided. This method consists of adding meta-tool level variables to a verification tool. These meta-tool variables keep... |
| 6725188 |
Method of cleanup after termination of a process under a simulated operating system |
| Apr-20-2004 |
An operating system is simulated to run in conjunction with a native operating system, allowing processes originally developed for the operating system being simulated to be ported to the environment of... |
| 6718294 |
System and method for synchronized control of system simulators with multiple processor cores |
| Apr-6-2004 |
A debugging environment for a multi-processor simulator or emulator is disclosed. The simulator or emulator is ideally suited for the development of embedded software. The simulator can contain multiple... |
| 6715102 |
Operation input processing apparatus and method |
| Mar-30-2004 |
The present invention can be applied to an operation input processing apparatus provided with an operation input executing section which issue tickets in response to users' input operations. A personal... |
| 6708329 |
Method and apparatus for producing modules compatible with a target system platform from simulation system modules utilized to model target system behavior |
| Mar-16-2004 |
Modules produced and utilized for system simulation are translated by a computer system into software modules compatible with and executable on a target system platform. Initially, software is typically... |
| 6708328 |
Employment of value of unknown in portion of partial state space for analysis of part of system |
| Mar-16-2004 |
A first system for analysis of a portion of a partial state space includes a representation component and an analysis component. The portion of the partial state space is related to a part of a second... |
| 6701515 |
System and method for dynamically designing and evaluating configurable processor instructions |
| Mar-2-2004 |
In selecting and building a processor configuration, a user creates a new set of user-defined instructions, places them in a file directory, and invokes a tool that processes the user instructions and... |
| 6678886 |
Apparatus and method for generating optimization objects |
| Jan-13-2004 |
A system and method enable appropriately concentrating instruction strings or data pieces sporadically present in a plurality of regions over more than one compilation unit and adjusting the front-and-rear... |
| 6651187 |
System and method for determining fault path behavior |
| Nov-18-2003 |
A system and method for determining fault path behavior in a computer software system. An error or event, the occurrence of which is to be tested, is assigned a probability value and an array of elements... |
| 6651186 |
Remote incremental program verification using API definitions |
| Nov-18-2003 |
A method of operating a computer system includes providing a program in memory, verifying the program prior to an installation of the program and generating a program fault signal when the verification... |
| 6618856 |
Simulation method and apparatus for use in enterprise controls |
| Sep-9-2003 |
A method used with a simulator and a controller, the controller running execution code to provide output signals which, when linked to resources, cause the resources to cycle through requested activities,... |
| 6516295 |
Method and apparatus for emulating self-modifying code |
| Feb-4-2003 |
In a data processing system implementing Dynamic Object Code Translation (DOCT) for emulating Target system instructions on a Host system, each Target system instruction has an associated index/offset... |
| 6490545 |
Method and apparatus for adaptive co-verification of software and hardware designs |
| Dec-3-2002 |
A simulation system is provided for simulating behavior of a device for implementing an algorithm using a software model and a hardware model which are converted to a common programming language and mathematical... |
| 6487715 |
Dynamic code motion optimization and path tracing |
| Nov-26-2002 |
A method of reordering instructions. Barrier instructions are determined. The method determines when a processor stall may occur, and hoists subsequent instructions to fill in the stall time. However,... |
| 6477471 |
Product defect predictive engine |
| Nov-5-2002 |
A software predictive engine is described that provides a tool to analyze the import of defects in the software development process. By providing a prediction of escaping defects, in terms of the normalized... |
| 6467078 |
Program development system, method for developing programs and storage medium storing programs for development of programs |
| Oct-15-2002 |
There is disclosed a program development system, a method for developing programs and a storage medium storing programs for development of programs by which the reduction in development periods of a program... |
| 6446120 |
Configurable stresser for a web server |
| Sep-3-2002 |
A method, apparatus, and article of manufacture for a computer implemented configurable stresser for testing a server computer. A server computer is tested by transmitting commands to the server computer... |
| 6421823 |
Bidirectional socket stimulus interface for a logic simulator |
| Jul-16-2002 |
A communications socket between a logic simulator and a system for generating input stimuli based on the current state of the logic simulator is provided. Input stimuli to the logic simulator for use in... |
| 6240544 |
Simulation system, simulation evaluation system, simulation method, and computer-readable memory containing a simulation program, having less trace information for reverse execution |
| May-29-2001 |
An execution processing module, while executing an execution module, stores an instruction type, and selectively stores a register value, a flag value, a branch source address, or a memory area value that... |
| 6240529 |
Debugging method and debugging apparatus for microcomputer system and recording medium on which debug program is recorded |
| May-29-2001 |
If an event set in advance is detected by state storage event detection unit 119 when an instruction is executed, then this is reported from state storage event occurrence reporting unit 120 to state storage... |
| 6226790 |
Method for selecting optimal parameters for compiling source code |
| May-1-2001 |
In a computer system, a method for determining an optimal loop interchange, set of register tiling amount, and cache tiling size for compiling source code into object code. The method first constructs... |
| 6195765 |
System and method for testing an application program |
| Feb-27-2001 |
A system (8) for testing an application program (20) includes a normal operating environment (12) within which the application program (20) is intended to execute when not being tested. A shared database... |
| 6192512 |
Interpreter with virtualized interface |
| Feb-20-2001 |
A computer application program subsystem (100) includes a program interpreter (120) and an application program interface (API 110) through which an external program requests an execution of a program of... |
| 6189139 |
INF development environment |
| Feb-13-2001 |
An apparatus, method, and article of manufacture for testing configuration files stored on a computer. A development environment, executed by the computer, simulates execution of the configuration files... |
| 6179488 |
Software execution systems |
| Jan-30-2001 |
A system 10 for executing a software program includes a simulator 15 for simulating a specific processor; a processing means 13 for executing non-specific parts of the program and including means for identifying... |
| 6145121 |
Trace based method for the analysis, benchmarking and tuning of object oriented databases and applications |
| Nov-7-2000 |
A system and a method is disclosed for analyzing, benchmarking and tuning an object oriented database (OODB) and applications with a trace based technique. Code associated with the application is augmented... |
| 6002871 |
Multi-user application program testing tool |
| Dec-14-1999 |
A test tool for testing application programs of the type that are deployed on a server computer for access by multiple users over a network is embodied in a computer program comprising a command module... |
