| 7043719 |
Method and system for automatically prioritizing and analyzing performance data for one or more, system configurations |
| May-9-2006 |
A system and a method of automatically prioritizing and analyzing performance data for one or more system configurations are provided. Performance data is obtained about a system using a first tool. The... |
| 7039902 |
Mechanism for enabling efficient testing of a set of computer code |
| May-2-2006 |
A mechanism is disclosed for enabling efficient testing of a set of computer code. Untested code portions within a body of code are determined, and testing priorities are assigned to untested code portions... |
| 7036111 |
Code verification system and method |
| Apr-25-2006 |
A code verification system is utilized to type check compiled code. The code verification system includes memory and a code verifier. The memory is utilized to store a compiled program. The code verifier... |
| 7032212 |
Method and system for generating test matrices for software programs |
| Apr-18-2006 |
Methods and data structures are disclosed for a program module (e.g., API) test matrix generator system/process. The disclosed methods and data structures facilitate and carry out a streamlined, yet logically... |
| 7024661 |
System and method for verifying computer program correctness and providing recoverable execution trace information |
| Apr-4-2006 |
In a system for statically analyzing a specified computer, a verification condition generator converts the program into a logical equation, called a verification condition, and inserts program flow control... |
| 7024548 |
Methods and apparatus for auditing and tracking changes to an existing configuration of a computerized device |
| Apr-4-2006 |
A change controller application, process and system tracks modification to a configuration of a computerized device by receiving a change request indicating a requested change to an existing configuration... |
| 7020766 |
Processing essential and non-essential code separately |
| Mar-28-2006 |
A conjugate processor includes an instruction set architecture (ISA) visible portion having a main pipeline, and an h-flow portion having an h-flow pipeline. The binary executed on the conjugate processor... |
| 7003762 |
Computer-implemented exception handling system and method |
| Feb-21-2006 |
A computer-implemented system and method for handling run-time exceptions. Source code is provided as input to a compiler. The source code includes an exception branching statement and an exception catching... |
| 7000220 |
Networked software development environment allowing simultaneous clients with combined run mode and design mode |
| Feb-14-2006 |
A software application development system and method of developing and running software is disclosed that allows multiple developers to access, develop and run a common software application simultaneously;... |
| 7000151 |
System and method for providing run-time type checking |
| Feb-14-2006 |
The present invention provides systems and methods for providing run-time type checking to prevent software errors. In architecture, a representative system includes a compiler that parses a program and... |
| 6996802 |
Method and apparatus for deployment of high integrity software using initialization order and calling order constraints |
| Feb-7-2006 |
A method for designing a software program including multiple modules includes defining an initialization sequence wherein each of the modules is initialized according to a predetermined order. The method... |
| 6993761 |
Method and apparatus to verify type safety of an application snapshot |
| Jan-31-2006 |
One embodiment of the present invention provides a system for verifying type safety of an application snapshot. This application snapshot includes a state of an executing program that is moved from a first... |
| 6993748 |
Systems and methods for table driven automation testing of software programs |
| Jan-31-2006 |
A table driven test automation system for performing functional testing of a software program. The system may include a GUI translator component to translate one or more GUI maps into a set of database... |
| 6988261 |
Frameworks for generation of Java macro instructions in Java computing environments |
| Jan-17-2006 |
Techniques for generation of Java™ macro instructions suitable for use in Java™ computing environments are disclosed. As such, the techniques can be implemented in a Java™ virtual... |
| 6986126 |
Method and apparatus for detecting violations of type rules in a computer program |
| Jan-10-2006 |
One embodiment of the present invention provides a system that detects violations of type rules in a computer program. The system operates by locating a type casting operation within the computer program,... |
| 6986125 |
Method and apparatus for testing and evaluating a software component using an abstraction matrix |
| Jan-10-2006 |
A functional testing and evaluation technique is provided employing an abstraction matrix that describes a complex software component to be tested. The abstraction matrix includes at least one test case... |
| 6981245 |
Populating binary compatible resource-constrained devices with content verified using API definitions |
| Dec-27-2005 |
Remote incremental program verification may be achieved by receiving content verified by at least one content provider, installing the content on a resource-constrained device, issuing the resource-constrained... |
| 6978441 |
Rating apparatus and method for evaluating bugs |
| Dec-20-2005 |
A method of rating a bug, including reporting the bug to a business entity by an interested party, entering information regarding the bug into a database, assigning a priority number for the bug, calculating... |
| 6973643 |
Method, system and program for handling errors occurring in function calls |
| Dec-6-2005 |
Provided is a method, system, and program for handling errors in a service program including service functions capable of being called from application programs. A call is received for one service function... |
| 6959432 |
Process and system for developing mathematically validated object-oriented software |
| Oct-25-2005 |
A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications... |
| 6938243 |
Diagnostic architecture for use with an interface between an operating system and platform firmware |
| Aug-30-2005 |
A method performed by a computer system is provided. The method includes detecting a test module interface associated with a test module and calling a function identified by the test module interface to... |
| 6938186 |
System and method for performing a path-sensitive verification on a program |
| Aug-30-2005 |
Described is a method and system that performs path-sensitive verification on programs having any code base size. The method maintains a symbolic store that includes symbolic states. Each symbolic state... |
| 6934934 |
Method and system for software object testing |
| Aug-23-2005 |
A system for testing middleware of applications in the N-tiered model. The test system contains test code generators, test engines to execute multiple copies of the test code and a data analyzer to analyze... |
| 6931630 |
Method of, system for, and computer program product for providing automatic identification of a computer program code candidate for web deployment or a stored procedure |
| Aug-16-2005 |
Computer program code which is a candidate for Web enablement or stored procedures is identified. Source code corresponding to computer program code is scanned and parsed to determine static information... |
| 6931629 |
Method and apparatus for generation of validation tests |
| Aug-16-2005 |
A computer system and a computer-implemented method for generating test programs that satisfy at least one termination criterion. The computer system includes a hardware unit to transmit data. A processor... |
| 6931627 |
System and method for combinatorial test generation in a compatibility testing environment |
| Aug-16-2005 |
A computer program embodied on a computer readable medium is provided for combinatorial test generation. The computer program includes a code segment that obtains an assertion, wherein the assertion includes... |
| 6931550 |
Mobile application security system and method |
| Aug-16-2005 |
The mobile application security system and method in accordance with the invention increases the overall level of security in using a mobile application. In a preferred embodiment, the system may use a... |
| 6928638 |
Tool for generating a re-generative functional test |
| Aug-9-2005 |
A host system for generating a software built-in self-test engine (SBE) is provided for enabling on-chip generation and application of a re-generative functional test on a complex device such as a microprocessor... |
| 6920629 |
Capturing fields from an output of a software application |
| Jul-19-2005 |
A test environment comprises a terminal coupled to a database system over a communications link. A software application under test is executable in the database system. In one example, a Telnet session... |
| 6912708 |
Method and apparatus to facilitate debugging a platform-independent virtual machine |
| Jun-28-2005 |
One embodiment of the present invention provides a system that facilitates debugging a platform-independent virtual machine. The system operates by providing an agent on the platform-independent virtual... |
| 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... |
| 6901580 |
Configuration parameter sequencing and sequencer |
| May-31-2005 |
The present invention is in the field of networking systems. More particularly, some embodiments change validation and setting of configuration parameter change requests within a transaction to provide... |
| 6898784 |
Method and system for forming skeletons for generating verification systems |
| May-24-2005 |
A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites. The test suites are generated from the formal specifications... |
| 6895577 |
Risk metric for testing software |
| May-17-2005 |
A computer-implemented system and method for improving the efficiency of testing a process by focusing the testing in the highest risk areas of the process. One application of this computer-implemented... |
| 6883163 |
Populating resource-constrained devices with content verified using API definitions |
| Apr-19-2005 |
Remote incremental program verification may be achieved by receiving content verified by at least one content provider, installing the content on a resource-constrained device, disabling subsequent installation... |
| 6880149 |
Method for runtime code integrity validation using code block checksums |
| Apr-12-2005 |
The present invention provides a method and system for runtime code integrity validation. The method and system include providing a software tool for processing a software program, as well as instructions... |
| 6874138 |
Method and apparatus for resuming execution of a failed computer program |
| Mar-29-2005 |
Method and apparatus for resuming execution of a failed computer program. A program is compiled using two compilers to generate first and second sets of object code. Checkpoints are identified in the program,... |
| 6865731 |
Method and computer program product for testing application program software |
| Mar-8-2005 |
A test bed includes a primary test computer and a number of secondary test computers. The primary test computer includes a primary test program, and the secondary test computers each include secondary... |
| 6862696 |
System and method for software certification |
| Mar-1-2005 |
A method and method that builds accurate operational profiles for COTS software. The systems and methods disclosed allow software vendors to detect misused and unused features; identify common machine... |
| 6853963 |
Analyzing an extended finite state machine system model |
| Feb-8-2005 |
A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table... |
| 6839892 |
Operating system debugger extensions for hypervisor debugging |
| Jan-4-2005 |
A data processing system, method, and product are disclosed for debugging partition management firmware from an existing operating system debugger. The partition management firmware is also called a hypervisor.... |
| 6834357 |
Establishing a pointer at a valid address location that is representative of a valid entry point of a communication routine |
| Dec-21-2004 |
An application program runs on an embedded processor connected via a link to a host. When the application program identifies a need for communication over said link, it reads a pointer location to see... |
| 6826432 |
Process for programming an automation application |
| Nov-30-2004 |
A process for programming an automation application program on an automation equipment programming station, including defining several structured type objects each representing an input-output channel... |
| 6817009 |
Method and apparatus for verifying data local to a single thread |
| Nov-9-2004 |
Concurrent program analysis is fashioned for detecting potential race conditions such as data races in computer programs. One feature of this analysis is verifying annotations of addressable resources... |
| 6792597 |
Automatic consistency checking of computer programs |
| Sep-14-2004 |
A method and apparatus for structuring a program segment are disclosed. The method for structuring a program segment on a computer begins with the step of identifying a series of program blocks in the... |
| 6785883 |
Software system for tracing data |
| Aug-31-2004 |
In a device containing trace control data which are stored in a data structure in a memory having memory cells and define memory areas including at least one or more adjacent memory cells, a procedure... |
| 6772339 |
Mix and match: a new approach to secure multiparty computation |
| Aug-3-2004 |
A method for secure multiparty computation is disclosed. In one embodiment, participants to a secure computation agree upon a function to be computed and a representation of the function as a circuit with... |
| 6769115 |
Adaptive interface for a software development environment |
| Jul-27-2004 |
A software development environment that permits early detection of problems that arise in porting a program to a number of different platforms. In the environment, the source code for the program to be... |
| 6763517 |
Automated analysis of kernel and user core files including searching, ranking, and recommending patch files |
| Jul-13-2004 |
A computerized method for automatically analyzing a core file created by a computer system after an unexpected interrupt. The packages installed on the computer system are determined and patch files of... |
| 6763516 |
Convention checking apparatus, convention checking system, convention checking method, and storage medium on which is recorded a convention checking program |
| Jul-13-2004 |
When a convention is changed, a user modifies the class name and the method name of a convention checker, method parameters, etc., which are stored in a convention file in correspondence with a convention... |
