| 5933641 |
Numeric intensive real-time software development system |
| Aug-3-1999 |
This invention describes a numeric intensive real-time software development system for programming low cost fixed point digital signal processors (DSP's) and other programmable devices in which code efficiency,... |
| 5933638 |
Method and apparatus for creating application computer programs using an objects evaluation matrix |
| Aug-3-1999 |
An Objects Evaluation Matrix.TM. is provided which links together "objects" (i.e., areas in computer memory that serve as basic structural units of analysis) to create a complete (or partial) application... |
| 5933633 |
State table generating system |
| Aug-3-1999 |
A system for generating a state table and/or state diagram of a target system by defining usage variables in a partition of the target system being explored, exploring each state and state transition in... |
| 5923881 |
Data structure display system |
| Jul-13-1999 |
A program data structure is defined by a data field definition having a plurality of data field definition blocks, the data field definition blocks comprising a plurality of data items, the data items... |
| 5911060 |
Computer method and apparatus for unfreezing an apparently frozen application program being executed under control of an operating system |
| Jun-8-1999 |
The invention provides an apparatus and computer method, generally referred to as ANTI-FREEZE.TM., for controlling the operation of a computer running under an operating system such as WINDOWS.RTM. 95... |
| 5909580 |
Development system and methods with direct compiler support for detecting invalid use and management of resources and memory at runtime |
| Jun-1-1999 |
A development system having a compiler, a linker, and an interface for detecting invalid use of resource is generated. When the system is (optionally) operating in a "code guarded" mode, the linker links... |
| 5909579 |
Method and apparatus for encoding and decoding delta encoded information to locate live pointers in program data stacks |
| Jun-1-1999 |
Live pointer information for a stream of bytecodes is precomputed for each bytecode. The precomputed full live pointer information is stored only for bytecodes at predetermined intervals in the stream.... |
| 5909578 |
Use of dynamic translation to burst profile computer applications |
| Jun-1-1999 |
A method and system for burst profiling an application program. The native application executes free and unfettered for a first time period. Then, the native application is halted and is instrumented by... |
| 5907709 |
Development system with methods for detecting invalid use and management of resources and memory at runtime |
| May-25-1999 |
A development system having a compiler, a linker, and an interface is generated. When the system is (optionally) operating in a "code guarded" mode, the linker links the object modules with a CodeGuard.TM.... |
| 5903757 |
Monitoring and handling of exception conditions in computer system |
| May-11-1999 |
A computer system monitors a variety of conditions indicating levels to which different components, services and resources are being utilized, and based on these levels, determines a measure of overall... |
| 5903756 |
Variable lookahead parser generator |
| May-11-1999 |
A description language and a parser generator for top-down parsers allows grammars for top-down parsers to be defined using a sequence of productions written as extended BNF expressions. For productions... |
| 5870607 |
Method and apparatus for selective replay of computer programs |
| Feb-9-1999 |
A user can selectively replay portions of a computer program execution, so that the entire program need not be run again to support further test and debug. A run-time instrumented version of the program... |
| 5870608 |
Method and apparatus for displaying text including context sensitive information derived from parse tree |
| Feb-9-1999 |
A method and apparatus for displaying text which efficiently couples information derived from the parse tree for the text with the display of the text. Use of parse tree information allows the system to... |
| 5862382 |
Program analysis system and program analysis method |
| Jan-19-1999 |
It is an object of this invention to provide a program analysis system and a program analysis method which efficiently analyze the source code of a program through static analysis and, based on the analysis... |
| 5862380 |
Test method for revised data fields in a program |
| Jan-19-1999 |
A method determines if a revised fragment of a program provides an identical answer as does an original fragment of the program, wherein a fragment is one operator and one or more operands that are subject... |
| 5860011 |
Method and system for automatically checking computer source code quality based on rules |
| Jan-12-1999 |
A method and system for automatically checking the quality of computer source code based on rules for identifying quality concerns. The computer source code comprises instructions for execution on the... |
| 5857071 |
Computer process resource modelling method and apparatus |
| Jan-5-1999 |
An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine... |
| 5854925 |
Automatic bug locator for automatically locating bugs through interaction with an operator |
| Dec-29-1998 |
A program is rerun up to an abnormal point. In this situation, a control flow at a division point between a normal point and the abnormal point is derived while a variable influencing the error and the... |
| 5845121 |
Expression evaluation in a multi-language debugger |
| Dec-1-1998 |
A method and apparatus for evaluating expressions in a multi-language debugger. Operandi in an expression are first normalized, and then evaluation routines written in the language of the expression to... |
| 5832271 |
Determining dynamic properties of programs |
| Nov-3-1998 |
Techniques for obtaining information about dynamic properties of a program. The techniques involve programming a programmable execution environment such as a debugger so that when the program is executed... |
| 5822588 |
System and method for checking the use of synchronization locks in a multi-threaded target program |
| Oct-13-1998 |
The present invention is a system and method for "checking the use of synchronization locks in a multi-threaded computer program" (hereinafter "WARLOCK II"). In Warlock II a set of source code representing... |
| 5822589 |
Method for locating errors in a computer program |
| Oct-13-1998 |
A system that automatically detects logical errors when compiling a program. The system detects such logical errors as calling a virtual function of a class passed into a function by value; virtual functions... |
| 5819094 |
Apparatus for log data collection and analysis |
| Oct-6-1998 |
An apparatus for log data collection and analysis, which provides a history diagram to visualize program behavior and enhanced tools for analysis by utilizing part-to-part association between the history... |
| 5812850 |
Object-oriented symbolic debugger using a compiler driven database and state modeling to control program execution |
| Sep-22-1998 |
A human oriented object programming system provides an interactive and dynamic process for debugging computer programs which facilitates the development of complex computer programs such as operating systems... |
| 5812759 |
Fault handling with loaded functions |
| Sep-22-1998 |
A method of handling a fault which occurs during execution of an executable program comprises the steps of designating a first sequence of instructions of the executable program as visible and designating... |
| 5806067 |
Method and apparatus for data processing with conversion of ambiguous data structures |
| Sep-8-1998 |
In data processing of a computer software having ambiguous data such as a data structure with date field having an ambiguous YY two digit year representation based on 00, inputting of one or more ambiguous... |
| 5805892 |
Method of and apparatus for debugging multitask programs |
| Sep-8-1998 |
An apparatus for debugging multitask programs has an input command interpreter for interpreting an inputted command, a system call issuance coder for issuing a system call from a task to be debugged which... |
| 5794045 |
Method of and apparatus for efficiently debugging programs given limited system resources |
| Aug-11-1998 |
A device for creating and analyzing larger symbolic representations without the limitations imposed by available resources of previous devices is disclosed. More specifically, a debugger for debugging... |
| 5787286 |
Method and system for tabulation of execution performance |
| Jul-28-1998 |
A digital computer is operated such that the execution performance of instructions executing thereon is tabulated without degrading execution performance thereof. Specifically, while the instructions are... |
| 5778230 |
Goal directed object-oriented debugging system |
| Jul-7-1998 |
A human oriented object programming system provides an interactive and dynamic process for debugging computer programs which facilitates the development of complex computer programs such as operating systems... |
| 5774725 |
Method and computer program product for simplifying construction of a program for testing computer software subroutines in an application programming interface |
| Jun-30-1998 |
Method and computer program product for testing software subroutines in an application programming interface. In an exemplary embodiment, a C++ class hierarchy is established for creating a set of intrinsic... |
| 5761477 |
Methods for safe and efficient implementations of virtual machines |
| Jun-2-1998 |
An efficient method for implementing a safe virtual machine, in software, that embodies a general purpose memory protection model. The present invention runs on any general purpose computer architecture... |
| 5758163 |
Method and apparatus for record fields usage checking at compile time |
| May-26-1998 |
A method and apparatus for checking for portions of record variables that are referenced before they are assigned a value. This checking occurs in the semantic checking portion of a compiler for a high... |
| 5758061 |
Computer software testing method and apparatus |
| May-26-1998 |
An automatic testing technique generates an incremental coverage report indicating coverage only for portions of the program that are unreached by previous testing--allowing software testing processes... |
| 5748966 |
Type error checker for type-free or polymorphic computer language |
| May-5-1998 |
A system and method for a run-time type error in a program prior to running the program whose source code is written in a programming language with imperative constructs and polymorphic procedures is disclosed.... |
| 5748963 |
Adaptive binding |
| May-5-1998 |
The invention includes an efficient method of dynamically binding an operation (22) to an implementation. During a first occurrence of the operation, the operation identifier and argument information are... |
| 5748878 |
Method and apparatus for analyzing software executed in embedded systems |
| May-5-1998 |
A software analysis system for capturing tags generated by tag statements in instrumented source code. The software analysis system includes a probe that monitors the address and data bus of the target... |
| 5729676 |
Method of generating data for evaluating programs |
| Mar-17-1998 |
A method of generating data for evaluating a source program comprising a program dividing process of reading the source program for controlling the operation of an information processing system and dividing... |
| 5721924 |
Method and device for obtaining a value of a referred to variable defined in a source program having a specific variable name |
| Feb-24-1998 |
In a debugger, interpreter, etc., a referred-to variable determining method is used to obtain a variable in a program having a specific variable name and referred to from a specific position according... |
| 5696974 |
Methods to support multimethod function overloading with compile-time type checking |
| Dec-9-1997 |
Methods and related apparatus, for use in programming language systems, are set forth which support compile-time type checking for overloaded functions in an environment supporting subtypes with multiple... |
| 5689712 |
Profile-based optimizing postprocessors for data references |
| Nov-18-1997 |
The present invention is a system and process for optimizing programs, having memory references, at the object code level. The process includes the computer-implemented steps of instrumenting each of the... |
| 5687378 |
Method and apparatus for dynamically reconfiguring a parser |
| Nov-11-1997 |
A parser is dynamically reconfigured. Parse Control Records are read into memory. They are inserted into corresponding Parse Table Entries in a Parse Table in memory identified by a Parse Table Entry Identifier... |
| 5675803 |
Method and apparatus for a fast debugger fix and continue operation |
| Oct-7-1997 |
This Continuation-In-Part describes a part of this run-time debugger operation which is designated the "Fix-and-Continue" invention. This invention permits a user to begin a debugging session wherein if... |
| 5649201 |
Program analyzer to specify a start position of a function in a source program |
| Jul-15-1997 |
A program analyzer in which a part of an inputted C-source program is either a declaration or a function definition. To define a start position of the function designated in the C-source program at high... |
| 5632032 |
Cross address space thread control in a multithreaded environment |
| May-20-1997 |
A method of controlling the execution of the threads of a first application such as a user application from a second application such as a debugger application running in a different address space. After... |
| 5606661 |
Apparatus and method for scan-based testing in an object-oriented programming environment |
| Feb-25-1997 |
An apparatus and method for testing objects in an object-oriented programming environment. The object class hierarchy is defined so that a TopObject has a constructor function that initializes a linked... |
| 5603033 |
Tool for debugging an operating system |
| Feb-11-1997 |
A tool (KD) for debugging an operating system, which among other elements includes at least one processor (P), a memory (M) for use by the processor, and a memory management unit (MMU). The tool is stored... |
| 5590330 |
Method and system for providing a testing facility in a program development tool |
| Dec-31-1996 |
A method and system for testing a script or section of code within program using a graphic user interface. The data processing system also includes an object oriented system having a first and second object... |
| 5579518 |
Message compiler for object-oriented language that statically produces object code by provisionally identifying a set of candidate types |
| Nov-26-1996 |
A data processing system including a message compiler for an object-oriented language with which object types are determined during execution of a programming code. The compiler compiles source code into... |
| 5495571 |
Method and system for performing parametric testing of a functional programming interface |
| Feb-27-1996 |
The present invention provides a method and system for performing parametric testing of a functional programming interface. Parametric testing of a function verifies that the function performs as expected... |
