| 6357021 |
Method and apparatus for updating firmware |
| Mar-12-2002 |
A peripheral device and method are provided for reliably updating and checking firmware or other coded information stored within a nonvolatile memory of the device. The device comprises a microcontroller... |
| 6353896 |
Method and apparatus for testing event driven software |
| Mar-5-2002 |
A technique for testing event driven software. In accordance with the technique, the source code of the event driven software is directly converted to an automation based model useful in verifying that... |
| 6351826 |
Method and apparatus for automatically verifying communication software |
| Feb-26-2002 |
An automatic verification apparatus and method for communication software can automatically verify the result of a regression test without manually operating a terminal for the regression test, which results... |
| 6347398 |
Automatic software downloading from a computer network |
| Feb-12-2002 |
A method and system to automatically locate, download, verify, install, register and display computer software components from a computer network like the Internet or an intranet. The method and system... |
| 6343376 |
System and method for program verification and optimization |
| Jan-29-2002 |
A system and method for increasing the speed of operation of a theorem prover relating to program verification using adaptive pattern matching technique is disclosed. Source code in a specific programming... |
| 6305010 |
Test, protection, and repair through binary code augmentation |
| Oct-16-2001 |
A type mismatch problem in computer programs is said to occur when there is a mismatch between the form or classification of a value encountered during program execution and that anticipated by the program.... |
| 6298317 |
Enhanced functional testing through the filtration of non-subtle mutations |
| Oct-2-2001 |
A function simulates and verifies a computer program by inserting a syntactic mutation into one of the source code modules comprising the program. The mutated computer program is compiled and subjected... |
| 6289502 |
Model-based software design and validation |
| Sep-11-2001 |
A new computer language, which is based on a formal, mathematical state-machine model, and which is used both to validate and to generate code for a distributed system, in general, enables developing a... |
| 6286130 |
Software implemented method for automatically validating the correctness of parallel computer programs |
| Sep-4-2001 |
A software-implemented method for validating the correctness of parallel computer programs, written in various programming languages, with respect to these programs' corresponding sequential computer programs.... |
| 6275986 |
Compile-time data dependency verification |
| Aug-14-2001 |
A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression.... |
| 6275976 |
Automated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specifications |
| Aug-14-2001 |
Software development and maintenance involves assembling components, sometimes with explicit support during the design process but more frequently not. In neither case has it been possible to ensure internal... |
| 6253374 |
Method for validating a signed program prior to execution time or an unsigned program at execution time |
| Jun-26-2001 |
Validating a signed program prior to execution time or an unsigned program at execution time. A program is validated by checking the input parameters to the instructions of the program to prevent errors... |
| 6247171 |
Bytecode program interpreter apparatus and method with pre-verification of a data type restrictions and object initialization |
| Jun-12-2001 |
A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes... |
| 6237139 |
Object-oriented programming support system |
| May-22-2001 |
A support system of object oriented programming includes a syntax analysis unit supplied with an object-oriented program and analyzing the same, a storage unit for storing convention information that describes... |
| 6223337 |
Random test generation for compiler optimization |
| Apr-24-2001 |
An optimized compiler is tested. Code segments are stored in a segment file. Each code segment includes a description of an external interface with other segments. A source function is built using the... |
| 6175955 |
Method for retrieving selected data values in a processor using data visibility macros |
| Jan-16-2001 |
A method for retrieving selected, predetermined data values using a logic analyzer and data visibility macros. The predetermined data values result from data operations that occur internally to the target... |
| 6173421 |
Centrally handling runtime errors |
| Jan-9-2001 |
Centrally handling a runtime error or exception of a program using a central object stack and exception handling code centrally maintained within a global object manager. The global object manager is a... |
| 6154876 |
Analysis of the effect of program execution of calling components with data variable checkpointing and resource allocation analysis |
| Nov-28-2000 |
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... |
| 6128774 |
Safe to execute verification of software |
| Oct-3-2000 |
A computer-implemented method of verifying that untrusted software supplied by a code producer is safe to execute by a code consumer. The method includes the step of defining a safety policy that specifies... |
| 6119247 |
Remote debugging of internet applications |
| Sep-12-2000 |
A method, apparatus, and article of manufacture for providing a programming development environment that supports the development of internet and intranet applications. The present invention describes... |
| 6102968 |
Method for automatically closing open reactive systems |
| Aug-15-2000 |
A unique process, i.e., method, is employed to automatically close an open reactive system. This is realized by employing a unique analysis technique to automatically close the open system by eliminating... |
| 6092147 |
Virtual machine with securely distributed bytecode verification |
| Jul-18-2000 |
A system for executing a software application comprising a plurality of hardware independent bytecodes is provided comprising a computing system that generates bytecodes, a virtual machine, remote to the... |
| 6075940 |
System and method for pre-verification of stack usage in bytecode program loops |
| Jun-13-2000 |
The present invention provides a verifier for use in conjunction with programs utilizing data type specific bytecodes for verifying the proper operation of the executable program prior to actual execution... |
| 6072950 |
Pointer analysis by type inference combined with a non-pointer analysis |
| Jun-6-2000 |
A pointer analysis by type inference combined with a non-pointer analysis helps approximate run-time store usage for a computer program. The analysis initially describes the content of each location for... |
| 6071316 |
Automated validation and verification of computer software |
| Jun-6-2000 |
A method and apparatus for automating validation and verification of computer software that confirms during a test execution of the software that all lines of code are executed and all branches in the... |
| 6064816 |
System and method for performing class propagation and type checking in a graphical automation client |
| May-16-2000 |
A method for developing an automation client program in a graphical programming environment is disclosed. The graphical programming environment provides a set of automation nodes and controls which may... |
| 6044216 |
Method and apparatus for implementing cursor variables for accessing data from database |
| Mar-28-2000 |
A method and apparatus for implementing a data construct, referred to herein as a "cursor variable", that has many of the attributes of simple variables and that can be used to access active sets of data... |
| 6031990 |
Computer software testing management |
| Feb-29-2000 |
A test management system is provided having high flexibility of test structuring capabilities, and fine-grained control over how tests are executed. The test management system is extensible; i.e., it can... |
| 5999731 |
Bytecode program interpreter apparatus and method with pre-verification of data type restrictions and object initialization |
| Dec-7-1999 |
A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes... |
| 5987252 |
Method and apparatus for statically analyzing a computer program for data dependencies |
| Nov-16-1999 |
A method and an apparatus analyze a computer program for dependencies of the program output on the program input. To analyze the program, the program is transformed by a function into a Boolean expression... |
| 5974257 |
Data acquisition system with collection of hardware information for identifying hardware constraints during program development |
| Oct-26-1999 |
A system and method for displaying DAQ device configuration information in response to program creation. The present invention preferably operates in a data acquisition (DAQ) system, wherein the DAQ system... |
| 5963739 |
Method for verifying the total correctness of a program with mutually recursive procedures |
| Oct-5-1999 |
A computer-implemented method, apparatus, and article of manufacture for verifying the total correctness of a computer program with mutually recursive procedures. A computer program is received into the... |
| 5920830 |
Methods and apparatus for generating test vectors and validating ASIC designs |
| Jul-6-1999 |
Methods and apparatus for generating test vectors for use in testing ASIC designs at both the functional and circuit levels, and for comparing the results of functional level and circuit level tests, employ... |
| 5911041 |
Method for generalized windows application install testing for use with an automated test tool |
| Jun-8-1999 |
A computer implemented method and computer system for testing a target software product is presented. The method includes constructing a finite state machine in which portions of the target product are... |
| 5903859 |
Dynamic multi-lingual software module system |
| May-11-1999 |
A software system facilitates the translation of text strings into multiple languages. The software system includes a macro which substitutes for a text string and a message collection and source update... |
| 5881151 |
System for creating virus diagnosing mechanism, method of creating the same, virus diagnosing apparatus and method therefor |
| Mar-9-1999 |
When a source program is, by a compiler, translated to an object program that can be executed by a computer, a diagnostic object generating portion provided as one function of the compiler generates a... |
| 5819093 |
System and method for a distributed debugger for debugging distributed application programs |
| Oct-6-1998 |
A system and method for providing a distributed debugger system for a distributed target computer application are disclosed wherein the programmer/developer of the application can be at one host machine... |
| 5819066 |
Application and method for benchmarking a database server |
| Oct-6-1998 |
A benchmarking application for testing the performance of a database server (14) includes a plurality of execution parameters (82) and a program (78) operable to read the execution parameters (82). Processes... |
| 5812436 |
Method and apparatus for testing and analyzing the conformance of a proposed set of requirements for a proposed network management application |
| Sep-22-1998 |
A method and system for preparing a suite of test scripts for testing a proposed network management application. The proposed network management application, termed a subsystem control facility (SCF),... |
| 5774729 |
Event handling in a high level programming language environment |
| Jun-30-1998 |
A method and means for handling events in a computer system which occur during the execution of programs including routines prepared in a plurality of computer programming languages is described. The number... |
| 5748964 |
Bytecode program interpreter apparatus and method with pre-verification of data type restrictions |
| May-5-1998 |
A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes... |
| 5737609 |
Method and apparatus for testing object-oriented programming constructs |
| Apr-7-1998 |
The invention provides methods and apparatus for generating, from a source signal defining a subject class to be tested, an inspection signal defining an inspection class that has one or more members for... |
| 5697788 |
Algorithm training system |
| Dec-16-1997 |
An algorithm training system for training a learner in the computer algorithm is provided. The system has a display device for selectively displaying information including flow-chart symbols and flow-lines.... |
| 5692047 |
System and method for executing verifiable programs with facility for using non-verifiable programs from trusted sources |
| Nov-25-1997 |
A computer system includes a program executer that executes verifiable architecture neutral programs and a class loader that prohibits the loading and execution of non-verifiable programs unless (A) the... |
| 5668999 |
System and method for pre-verification of stack usage in bytecode program loops |
| Sep-16-1997 |
The present invention provides a verifier for use in conjunction with programs utilizing data type specific bytecodes for verifying the proper operation of the executable program prior to actual execution... |
| 5651111 |
Method and apparatus for producing a software test system using complementary code to resolve external dependencies |
| Jul-22-1997 |
A software unit development and test methodology in which a software application or project is dividing into conceptual units. Each unit is first developed and debugged in an isolated testing environment... |
| 5632035 |
Process for verifying GDMO template references and for providing an ordered list of GDMO templates |
| May-20-1997 |
In a compiler for the GDMO language, a verified and ordered output list of GDMO templates is provided by a method that lists each template in the output list such that all listed templates are preceded... |
| 5598564 |
System for implementing state table in computer code |
| Jan-28-1997 |
A process for compressing data sent to command driven remote video terminals is disclosed. A command string representation of the current contents of the remote terminal's video buffer is maintained locally... |
| 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... |
| 5481717 |
Logic program comparison method for verifying a computer program in relation to a system specification |
| Jan-2-1996 |
It is an object of the present invention to provide a logic program comparison method which makes it possible to do verification by comparing parameterized logic programs and which increases the efficiency... |
