| 6757889 |
Source program checking device and program and method for same |
| Jun-29-2004 |
A group setting section divides indicated messages according to types upon receiving an instruction from the user and sets a default display status for the messages by group. An indicated message preparing... |
| 6742123 |
Apparatus and methods for preventing denial of service attacks |
| May-25-2004 |
In one aspect of the invention, the frames of a thread stack that associated with the misbehaving code are popped from the thread stack. Exception handling code is allowed to execute for trusted code by... |
| 6738955 |
Method and system for formal characterization of average performance |
| May-18-2004 |
A method for characterizing average performance in a data processing system is provided. This method consists of adding meta-tool level variables to a verification tool. These meta-tool variables keep... |
| 6728949 |
Method and system for periodic trace sampling using a mask to qualify trace data |
| Apr-27-2004 |
A method and system for monitoring execution performance of a program is provided. Profiling functionality may be qualified by setting various qualifying flags at the request of a user. These qualifying... |
| 6725449 |
Semiconductor test program debugging apparatus |
| Apr-20-2004 |
A semiconductor test program debugging apparatus is disclosed to which data concerning a packet input to and output from the packet transfer memory device is supplied, and which extracts a part corresponding... |
| 6725377 |
Method and system for updating anti-intrusion software |
| Apr-20-2004 |
A method and system for updating anti-intrusion software is provided. In a preferred embodiment, a computer program product updates anti-intrusion software on a computer network which has an anti-intrusion... |
| 6721941 |
Collection of timing and coverage data through a debugging interface |
| Apr-13-2004 |
Techniques for gathering execution information about an application, such as a distributed application, are described. Key communication points in cross execution context calls, such as remote procedure... |
| 6718536 |
Computer-implemented method for fast generation and testing of probable prime numbers for cryptographic applications |
| Apr-6-2004 |
A computer program provides fast generation and testing of probable prime numbers for cryptographic applications. The program instructions executed on computer hardware execute steps that include a smart... |
| 6715139 |
System and method for providing and displaying debugging information of a graphical program on a first computer during execution of the graphical program on a second computer |
| Mar-30-2004 |
A computer-based virtual instrumentation system including a host computer and an embedded system or device, wherein graphical programs created using the computer system can be downloaded to the embedded... |
| 6708169 |
Apparatus and method for generating a merged symbol file for verifying symbolic data |
| Mar-16-2004 |
An apparatus and method for cataloging symbolic data for use in performance analysis of computer programs is provided. The apparatus and method stores symbolic data for loaded modules during or shortly... |
| 6701519 |
Managing hardware and software configuration information of systems being tested |
| Mar-2-2004 |
Techniques for gathering platform information are described. The platform information describes the environment in which a program executes. The platform information includes software component information... |
| 6701518 |
System and method for enabling efficient processing of a program that includes assertion instructions |
| Mar-2-2004 |
The present invention relates to a system and method for reducing the adverse impact of assertion instructions to processor performance so that programmers will be encouraged to include assertion instructions... |
| 6698012 |
Method and system for testing behavior of procedures |
| Feb-24-2004 |
A systematic testing method of procedures is disclosed. The testing is carried out for parallel procedures separately from consecutive procedures which have no parallelism. Behavior of a group of parallel... |
| 6697965 |
Program verifying method and system |
| Feb-24-2004 |
A program development support system scans a program beforehand, extracts an essential process specification that should be actualized by an individual program and automatically extracts a part of the... |
| 6694509 |
Automated regression testing of workstation software |
| Feb-17-2004 |
A workstation includes a regression testing program which tests application programs developed on the workstation using stored test scripts. A test directory tree is maintained to mirror a source code... |
| 6694290 |
Analyzing an extended finite state machine system model |
| Feb-17-2004 |
A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions... |
| 6684387 |
Method and apparatus for verifying Enterprise Java Beans |
| Jan-27-2004 |
The introspection capability of Java is utilized by the described verification tool to verify validity of a target bean's Java Archive (JAR) file. The deployment descriptor class is verified first according... |
| 6681384 |
Multi-threaded break-point |
| Jan-20-2004 |
A way to synchronize threads in a multi-threaded program. In the preferred embodiment, a debugger provides a break-point that does not interrupt the user when the first thread reaches it; instead, the... |
| 6681383 |
Automatic software production system |
| Jan-20-2004 |
An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator... |
| 6671874 |
Universal verification and validation system and method of computer-aided software quality assurance and testing |
| Dec-30-2003 |
A method of developing a model of a computer program represents the system requirement conditions and events as a set of positions and transitions, maps the system requirements in a table of positions... |
| 6671873 |
Problematic binary isolator |
| Dec-30-2003 |
An automated method for determining problematic binary files. A group of source code files is compiled using two different compiling environments. One of the compiling environments yields a failing set... |
| 6665758 |
Software sanity monitor |
| Dec-16-2003 |
Disclosed is a Software Sanity Monitor for automatically detecting and remedying software lock-up conditions without user intervention. Users often refer to these conditions as "hangs" or "forever loops".... |
| 6658653 |
Debugging methods for heap misuse |
| Dec-2-2003 |
The present invention generally provides a method, apparatus and article of manufacture for debugging computer programs. Debugging computer programs is aided by monitoring allocations and deallocations... |
| 6658421 |
System and method for detecting release-to-release binary compatibility in compiled object code |
| Dec-2-2003 |
Digital signatures of various aspects or characterizing indicia of object code classes are used to determine whether a compiled class has built-in assumptions about external classes that are incorrect... |
| 6625805 |
Dynamic byte code examination to detect whether a GUI component handles mouse events |
| Sep-23-2003 |
Broadly speaking, the present invention provides apparatus and methods for determining whether a byte code formatted computer program handles pointer device events. It is determined whether the computer... |
| 6622298 |
Method and apparatus for testing software having a user interface |
| Sep-16-2003 |
A method and apparatus for testing software having a user interface are presented in various embodiments. The method generally entails evolving a test sequence by generating random test actions. A test... |
| 6618855 |
Caching untrusted modules for module-by-module verification |
| Sep-9-2003 |
A method, computer program, signal transmission and apparatus for trusted verification of instructions in a module of a computer program first determine whether a suspect module to be loaded is from an... |
| 6598180 |
Method, system and program products for selectively debugging program versions executing with in a computing environment |
| Jul-22-2003 |
A program having a plurality of concurrently executing versions is debugged. A version of the program to be debugged is selected from the plurality of versions of the program, and that selected version... |
| 6594820 |
Method and apparatus for testing a process in a computer system |
| Jul-15-2003 |
A method and apparatus for testing processes in a computer system are described. In a software process, there exist many test points in the execution of the process where stress testing may be applied.... |
| 6578196 |
Checking of units and dimensional homogeneity of expressions in computer programs |
| Jun-10-2003 |
A method and apparatus is described for the checking of the correctness and consistency of units and dimensions of variables and constants used in expressions, such as those used in computer programs.... |
| 6560772 |
Method, system, and program for accessing data in different environments |
| May-6-2003 |
Disclosed is a system, method, and program for making data available to a first application program. A determination is made of an environment in which the first application program is called. Data is... |
| 6553565 |
Method and apparatus for debugging optimized code |
| Apr-22-2003 |
Methods and apparatus for providing a substantially full set of state information to a debugger, without significantly compromising system performance, in order to debug optimized computer program code... |
| 6550057 |
Piecemeal retrieval in an information services patterns environment |
| Apr-15-2003 |
A system, method and article of manufacture are provided for providing a warning upon retrieval of objects that are incomplete. An object is provided with at least one missing attribute. Upon receipt of... |
| 6550055 |
Method and apparatus for cheating an information report resulting from a diagnostic session |
| Apr-15-2003 |
A method and device are provided for creating an information report for a computer system. An information report is used to signal a problem with a computer system and to provide information about the... |
| 6546547 |
Method and system for an automated net booting tool |
| Apr-8-2003 |
The present invention provides a system and method of using highly structured net boot testing through an automated process that produces a highly efficient assurance that each image of a new version of... |
| 6543047 |
Method and apparatus for testing custom-configured software/hardware integration in a computer build-to-order manufacturing process |
| Apr-1-2003 |
A build-to-order manufacturing method for producing a custom configured computer system includes obtaining a customer order. Hardware for the custom configured computer system is assembled in accordance... |
| 6543012 |
Method of detecting incorrect sequences of code execution |
| Apr-1-2003 |
A method of detecting illegal execution of code sequences includes the steps of: setting an active identifier to a first sequence identifier of a first code sequence, executing at least part of the first... |
| 6530039 |
Porting engine for testing of multi-lingual software |
| Mar-4-2003 |
The present invention is a system and method for testing various language versions of an application program using a single test script. An internal dictionary and/or an external dictionary are used to... |
| 6519766 |
Computer program profiler |
| Feb-11-2003 |
A computer program providing an output which is used to profile one or more operational characteristics of another computer program. The computer program being evaluated is defined by a group of events.... |
| 6513144 |
Method and apparatus for random stimulus generation |
| Jan-28-2003 |
The present invention adds capabilities to a Hardware Verification Language (HVL) which facilitate the generation of random test data. Sources of random numbers are easily produced by simply adding a randomness... |
| 6502235 |
Apparatus, method, and storage medium for generating input parameter |
| Dec-31-2002 |
The database generation unit refers to the source program, lists routes passed during the execution of the source program, and enters the route information in the route information database. As a result... |
| 6499136 |
Single-shot entry code for software state transition |
| Dec-24-2002 |
A computer system runs an applications program generated by an object-oriented software development program. A state transition is made to a state of the applications program from an outside state. All... |
| 6496975 |
Method, system, and program for performing conditional program operations |
| Dec-17-2002 |
Disclosed is a system, method, and program for implementing conditional logic statements within a computer program. Program logic is invoked in response to processing a first method statement. During the... |
| 6477702 |
Bytecode program interpreter apparatus and method with pre-verification of data type restrictions and object initialization |
| Nov-5-2002 |
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... |
| 6473894 |
Dynamic runtime and test architecture for Java applets |
| Oct-29-2002 |
A test/run program receives as input a list of identifiers for source pages referencing applets to be tested or run. The test/run program creates an array of the identifiers, together with parameters for... |
| 6463578 |
Systems, methods and computer program products for debugging java server page files using compiled java class file modifications |
| Oct-8-2002 |
Systems, methods and computer program products are provided for debugging markup language source code of JSP files via Java class files generated therefrom. A Java class file is subjected to introspection... |
| 6442750 |
Design by contract with aspect-oriented programming |
| Aug-27-2002 |
An aspect oriented system for implementing the Design by Contract software development methodology is provided in which preconditions and postconditions defining the contract need not be coded into the... |
| 6430741 |
System and method for data coverage analysis of a computer program |
| Aug-6-2002 |
The inventive system and method is directed toward verifying the accuracy of data tables specified by a developer to be used by a program. The system searches through an application program for instructions... |
| 6363499 |
Method and system for restoring a computer to its original state after an unsuccessful installation attempt |
| Mar-26-2002 |
A system and method for creating rollback scripts for operations performed by an installer program module. A rollback script may be used to reverse an action of an installer program module so that a user's... |
| 6363402 |
System and method insuring application and operating system operational compatibility |
| Mar-26-2002 |
Installation of an application program which is not compatible with a version of an OS is prevented. On a transmission side, information bits of one code word are assumed to represent the entirety of both... |
