SEARCH
Tynax ~ Patent Library

Patent for Sale:

Automated Program Checking Tools    

The patents in this portfolio relate to automated program checking tools.

Overview

The patents in this portfolio relate to automated program checking tools that can carry out online replacement of running scripts, identification of frequently executed computer program portions, and stack unwinding facilities.

Patent Summary

U.S. Patent Classes & Classifications Covered in this listing:

Class 717: Data Processing: Software Development, Installation, And Management

This class provides for software program development tool and techniques including processes and apparatus for controlling data processing operations pertaining to the development, maintenance, and installation of software programs. Such processes and apparatus include: processes and apparatus for program development functions such as specification, design, generation, and version management of source code programs; processes and apparatus for debugging of computer program including monitoring, simulation, emulation, and profiling of software programs; processes and apparatus for translating or compiling programs from a high-level representation to an intermediate code representation and finally into an object or machine code representation, including linking, and optimizing the program for subsequent execution; processes and apparatus for updating, installing, and version management of developed code.

Subclass 124: Testing or debugging
Subclass 126: Program verification
Subclass 127: Monitoring program execution
Subclass 128: Tracing
Subclass 129: Using breakpoint
Subclass 142: Scanning and lexical analysis
Subclass 145: Including recompilation
Subclass 154: Including analysis of program
Subclass 159: Code restructuring
Subclass 171: Network

Class 714: Error Detection/Correction And Fault Detection/Recovery

This class provides for process or apparatus for detecting and correcting errors in electrical pulse or pulse coded data; it also provides for process or apparatus for detecting and recovering from faults in electrical computers and digital data processing systems, as well as logic level based systems.

Subclass 31: Additional processor for in-system fault locating (e.g., distributed diagnosis program)
Subclass 32: Particular stimulus creation
Subclass 33: Derived from analysis (e.g., of a specification or by stimulation)
Subclass 37: Analysis (e.g., of output, state, or design)
Subclass 38: Of computer software
Subclass 46: Operator interface for diagnosing or testing

Class 718: Electrical Computers And Digital Processing Systems: Virtual Machine Task Or Process Management Or Task Management/Control

This class provides for an electrical computer or digital data processing system or corresponding data processing method including apparatus or steps for administrating over processor or job execution in a digital data processing system whether in a virtual machine or otherwise. Subject matter includes - virtual machine task or process management, and task management or control in general.

Subclass 103: Priority scheduling

Class 709: Electrical Computers And Digital Processing Systems: Multicomputer Data Transferring

This class provides for an electrical computer or digital data processing system or corresponding data processing method including apparatus or steps for transferring data or instruction information between a plurality of computers wherein the computers employ the data or instructions before or after transferring and the employing affects said transfer of data or instruction information. The class includes - process or apparatus for transferring data among a plurality of spatially distributed (i.e., situated, at plural locations) computers or digital data processing systems via one or more communications media (e.g., computer networks).

Subclass 203: Compression/decompression

Class 712: Electrical Computers And Digital Processing Systems: Processing Architectures And Instruction Processing (E.G., Processors)

This class provides, within a computer or digital data processing system, for subject matter represented by a particular arrangement that includes at least one of the following means: 1. components of an individual complete processor, which may be formed on a single integrated circuit (IC); 2. components of a complete digital data processing system; 3. plural processors; or 4. plural digital data processing systems; wherein the particular arrangement further includes at least one of the following functions: (a) processing instruction data for specific processor architectures; (b) accessing or retrieving instruction data of a fixed or variable length from a buffer or other memory and shifting the instruction data to align it with a physical boundary of a buffer or other memory; (c) locating and retrieving instruction data for processing; (d) determining via internal hardware, firmware or software operations the meaning of operation codes, control bits, or operands of instruction data; (e) dispatching instruction data for execution (e.g., designating a register after resolving data conflicts); (f) dynamically testing instruction data and operands to assess conflicts related to data or hardware-resource availability (e.g., identifying data dependencies or utilization conflicts, attempting to resolve such dependencies or conflicts, or both); and (g) dynamically controlling the execution, processing, or sequencing of instruction data within a processor.

Subclass 209: Decoding instruction to accommodate plural instruction interpretations (e.g., different dialects, languages, emulation, etc.)
Subclass 227: Specialized instruction processing in support of testing, debugging, emulation
Subclass E9.037: Using run time instruction translation (EPO)

Class 706: Data Processing:Artificial Intelligence

This is a generic class for artificial intelligence type computers and digital data processing systems and corresponding data processing methods and products for emulation of intelligence (i.e., knowledge based systems, reasoning systems, and knowledge acquisition systems); and including systems for reasoning with uncertainty (e.g., fuzzy logic systems), adaptive systems, machine learning systems, and artificial neural networks.

Subclass 47: Ruled-based reasoning system