|
Match
|
Document |
Document Title |
|
|
7624378 |
Methods and systems of testing software, and methods and systems of modeling user behavior
Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software...
|
|
|
7620946 |
Program slicing for codesign of embedded systems
The present invention is a machine implemented, design automation method that assists a designer in the understanding of a software and/or hardware source code specification by transforming the...
|
|
|
7620941 |
Mechanism for lossless user-level tracing on an architecture supporting PC-relative addressing
A method for tracing an instrumented program involves triggering a probe in the instrumented program, obtaining an original instruction associated with the probe, storing the original instruction...
|
|
|
7617489 |
Method and system for detecting interprocedural vulnerability by analysis of source code
Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in...
|
|
|
7610514 |
Identification of uninformative function names in call-stack traces
A method for identifying names of uninformative functions in call-stack traces is described. The method comprises the steps of obtaining a set of call-stacks and information indicative of which...
|
|
|
7603661 |
Parse table generation method and system
A method and system assembles state transition tables ( 100 ) from a plurality of modular sub-tables ( 102 ). In one embodiment, each sub-table ( 102 ) defines an individual statement in a...
|
|
|
7603660 |
Code coverage test selection
A system and method for testing modified code paths without testing unmodified code paths is described. During testing of the baseline build of a program, code coverage data is generated. The code...
|
|
|
7587710 |
Method for determining the processing sequence of function blocks of an automated system and corresponding automated system
The invention relates to a method and an automated system for determining the processing sequence of function blocks of a technological function. According to said method, a first function block,...
|
|
|
7577945 |
Memory mapped lazy signal blocking
In an embodiment of the invention, a method for lazy signal blocking, includes: when a program is going to enter a critical region of code where signals will be blocked, then setting an enabled...
|
|
|
7577942 |
Efficient monitoring of program variables under debug
Method, system and article of manufacture for monitoring variables. In one embodiment, information generated by a compiler is used to determine which variables need to be updated when performing a...
|
|
|
7568192 |
Automated scalable and adaptive system for memory analysis via identification of leak root candidates
A method for identifying a set of objects in a target application program includes: receiving a plurality of samples of one or more object reference graphs, wherein each object reference graph...
|
|
|
7539833 |
Locating wasted memory in software by identifying unused portions of memory blocks allocated to a program
A method of intra-block memory usage analysis for a program can include identifying a memory block that has been allocated to the program and determining at least one intra-memory block usage...
|
|
|
7526758 |
Execution failure investigation using static analysis
When, during debugging, a program failure occurs, the location of the failure is determined. First the address in the stack related to the program failure is found. Then static analysis is...
|
|
|
7519961 |
Method and apparatus for averaging out variations in run-to-run path data of a computer program
A method and apparatus for averaging out variations from run to run of a computer program are provided. With the apparatus and method, call trees are generated for two or more executions of a build...
|
|
|
7519952 |
Detecting an integrity constraint violation in a database by analyzing database schema, application and mapping and inserting a check into the database and application
A system (and method) of detecting an error in a database interaction, includes providing information about at least one of at least first and second software systems, and a mapping between at...
|
|
|
7512738 |
Allocating call stack frame entries at different memory levels to functions in a program
Provided are a method, system, and program for allocating call stack frame entries at different memory levels to functions in a program. Functions in a program accessing state information stored in...
|
|
|
7509632 |
Method and apparatus for analyzing call history data derived from execution of a computer program
Call history data is sampled at fixed intervals during run-time, each sample representing only a limited portion of the stack. These data samples are subsequently automatically analyzed by merging...
|
|
|
7506320 |
Generating sequence diagrams using call trees
A software tool is provided to analyze static source code. Source Code files are selected to define the project work space. A class and a method in the class are selected from said selected source...
|
|
|
7506319 |
Generating a model of software in execution
A model of a software system under execution including: a representation of a first node corresponding to a first function executing in the software system which obtains access to a resource, with...
|
|
|
7496904 |
Mining dependencies for testing and risk management
Programs are rarely self-contained in software environments. They depend on other programs or shared subsystems like language run time and operating system libraries for various functionalities. A...
|
|
|
7464372 |
Methods and systems of testing software, and methods and systems of modeling user behavior
Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software...
|
|
|
7437718 |
Reviewing the security of trusted software components
An analysis tool provides a call path set for reviewing the security of trusted software components during development. By examining the usage of permissions in programs and libraries within a...
|
|
|
7426717 |
System and method for debugging files in a runtime environment
A system and method allows the debugging of a program by an application without requiring knowledge of the operation of the interpreter or compiler.
|
|
|
7412695 |
Transient state nodes and a method for their identification
Sequential digital integrated circuits have stable state nodes that are capable of retaining their state (logic value) even in the absence of any input directly driving these points. However, in...
|
|
|
7353507 |
Intercepting function cells
Intercepting function calls. In one embodiment of the application, an import address table for an application is accessed and an address, in the import address table, associated with a function to...
|
|
|
7320125 |
Program execution stack signatures
A digital computer call stack or combined call stack and data stack is traced and analyzed following the occurrence of an unhandled exception or crash. Stack frame sizes and other artifacts are...
|
|
|
7299458 |
System and method for converting control flow graph representations to control-dataflow graph representations
An embodiment of the invention includes a method of forming a control-dataflow graph that includes separating a control flow graph into two or more basic blocks, and converting said two or more...
|
|
|
7281241 |
System and method for visual debugging of constraint systems
A system and method for visualization and debugging of constraint systems and for constraint resolution. The present invention features a systematic, graphical representation that relates...
|
|
|
7272827 |
Statically detecting externally referenced interfaces of a program
Externally referenced interfaces of a program are statically detected. The static detection of the externally referenced interfaces is performed prior to runtime and without the source code of the...
|
|
|
7240344 |
Register allocation and code spilling using interference graph coloring
An improved method is provided for performing register allocation in a compiler. This method determines the allocation of a plurality R of registers of a processor for use during the execution of a...
|
|
|
7216340 |
Analysis data validation tool for use in enterprise architecture modeling with result based model updating
A device for modeling an integrated enterprise includes a first tool for constructing a model of the integrated enterprise and a second tool for analyzing calls, contained in the constructed model,...
|
|
|
7203929 |
Design data validation tool for use in enterprise architecture modeling
A selected scenario of a design ICD document for an integrated enterprise is validated by examining each IDL call of each sequence diagram forming part of the selected scenario. A list of data...
|
|
|
7140004 |
Method and apparatus for zero-footprint phone application development
A zero-footprint remotely hosted phone application development environment is described. The environment allows a developer to use a standard computer without any specialized software (in some...
|
|
|
7124251 |
Stack allocation system and method
A stack allocation system and method is described. In one implementation, an attempt is made to allocate N bytes of data to a stack having a fixed depth. A probe size for the stack is determined....
|
|
|
7123268 |
Hybrid procedural/pixel based textures
Apparatus and method of providing textured surfaces for computer-generated images comprises embedding a procedural description corresponding to a bit-map representation of a texture in a hybrid...
|
|
|
7062751 |
Sequence analysis method and apparatus
Overall sequence of a system designed using an object-oriented language is analyzed so as to permit easy comprehension. Class name acquisition means of a sequence analysis apparatus acquires class...
|
|
|
7013457 |
Prioritized debugging of an error space in program code
A computer system has an input system and an output system. Program code to be debugged has a plurality of program code statements. The input system is utilized to indicate an error variable in the...
|
|
|
7010781 |
Methods and apparatus for managing debugging I/O
Methods and apparatus for providing replacement functions for a set of system services include requesting a primitive function from one of the set of system services, the primitive function...
|
|
|
7003507 |
Scalable propagation-based methods for call graph construction
A program storage device, readably by a machine, tangibly embodying instructions to perform method steps for constructing a call graph whereby for each method M, a set of types S M of objects that...
|
|
|
6983456 |
Process for converting programs in high-level programming languages to a unified executable for hybrid computing platforms
A system and method for compiling computer code written to conform to a high-level language standard to generate a unified executable containing the hardware logic for a reconfigurable processor,...
|
|
|
6983455 |
Mechanism for profiling computer code
A set of computer code is profiled by breaking each code segment of the computer code down into basic instructions. Thereafter, the set of computer code is executed. As each code segment is...
|
|
|
6971089 |
Debugger impact reduction through motion of induction variable based breakpoints
Debugger impact reduction through motion of an induction variable based breakpoint (“IV-breakpoint”) set within a program loop, where the IV-breakpoint and the loop are controlled by an...
|
|
|
6966051 |
Automatically generated symbol-based debug script executable by a debug program for software debugging
A method, system, and product are disclosed for automatically generating a symbol-based debug script, which is executable by a debug program, for debugging a software program. Function symbols...
|
|
|
6948154 |
Methodology for testing spreadsheets
The invention includes a method for testing a spreadsheet cell. Du-associations are collected for the spreadsheet cell. The cell's execution trace is tracked. After the user validates the cell, the...
|
|
|
6934938 |
Method of programming linear graphs for streaming vector computation
A method for producing a formatted description of a computation representable by a data-flow graph and computer for performing a computation so described. A source instruction is generated for each...
|
|
|
6931635 |
Program optimization
A program optimization method for converting program source code written in a programming language into machine language includes steps of: analyzing a target program and detecting an exception...
|
|
|
6915509 |
Method and system for debugging a program
In a method and system for debugging a program, a debugging module is loaded into a normal thread of execution of the program. A user may then send commands to the debugger module from a command...
|
|
|
6904590 |
Methods for enhancing program analysis
Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from...
|
|
|
6898785 |
Handling calls from relocated instrumented functions to functions that expect a return pointer value in an original address space
Method and apparatus for handling calls from relocated instrumented functions to functions that expect a return pointer value in an original address space. In various embodiments of the invention,...
|
|
|
6874105 |
Operation graph based event monitoring system
A non-obtrusive activity monitor is proposed for advantageously monitoring and tracing disjunct, concurrent computer system operations in heavily queued computer systems. For each traced and...
|