|
Match
|
Document |
Document Title |
|
|
7093235 |
Process for measuring coding productivity
A novel system and method provides a concrete relative measure for evaluating coding quality. The novel system and method do not rely on bug counting. Instead, the number of defective lines of code...
|
|
|
7089534 |
Model based test generation for validation of parallel and concurrent software
An execution engine synchronizes test suite execution to run multiple independent operations concurrently or in parallel. The execution engine operates by stepping through the test suite. At each...
|
|
|
7089537 |
System and method for performing path-sensitive value flow analysis on a program
Described is a method and system for performing path-sensitive value flow analysis on a software program. Concrete state and value alias information is tracked along each statement and each...
|
|
|
7089530 |
Process control configuration system with connection validation and configuration
Connection objects or other such data structures facilitate establishing and configuring connections between objects that model components in a process control system. A first set of data...
|
|
|
7086034 |
Method, program, and storage medium for acquiring logs
A log acquisition method is provided that allows a processing log of software to readily be acquired and reduces the man-hours needed for analyzing a bug. The log acquisition method is a method for...
|
|
|
7085981 |
Method and apparatus for generating test data sets in accordance with user feedback
Techniques for processing data sets and, more particularly, constructing a synthetic data set (test data set) from real data sets (input data sets) in accordance with user feedback. The technique...
|
|
|
7086066 |
System and method for exception handling
The present invention provides a system and method for providing exception handling for a computer program. In architecture, the system includes a class creator that establishes a plurality of...
|
|
|
7085833 |
Caching user network access information within a network
A network system server, at a first network site, maintains network access information that identifies users authorized to access a network and a network controller, at a second network site,...
|
|
|
7086033 |
Software debugger having a monitor for monitoring conditional statements within a software program
A software debugger having a monitor for monitoring conditional statements within a software program is disclosed. A program construct is initially identified within a software program. After...
|
|
|
7080360 |
Breakpoint safety net
Method, apparatus and article of manufacture for debugging code. One embodiment provides a method of debugging code containing a user-specified breakpoint located within a region of the code. The...
|
|
|
7079648 |
Tester of cryptographic service providers
An implementation of a technology, described herein, for ensuring reliability, stability, and adherence to a given set of security conformance standards for cryptographic program modules. An...
|
|
|
7080357 |
Software package verification
A software package verification tool enables verifying a software package that includes at least one software component. The tool includes at least one test module defining a test of at least one...
|
|
|
7072796 |
Modification risk degree measurement system, modification risk degree measurement method and modification risk degree measurement program
A modification risk degree measurement system includes a central processing unit (CPU), a program storage unit, a data storage unit, an input unit performing a control instruction and data input...
|
|
|
7069542 |
Method and system for incremental actions relating to notify and target models
A system and method for performing an action on a target model associated with a notify model is disclosed. In the preferred embodiment of the present invention, the target model includes target...
|
|
|
7065680 |
Method and a system for evaluating the reliability of a program in an electronic device, and an electronic device
A method and associated system and electronic device for evaluating the reliability of a program ( 401 ) stored in a storage memory of an electronic device ( 1 ) having a processing memory ( 3 b )...
|
|
|
7065748 |
Test specification formation supporting apparatus, method, and program, and recording medium
A test specification formation supporting apparatus is constructed by a test factor classification table forming unit and a test specification forming unit. The test factor classification table...
|
|
|
7065747 |
Identifying references to objects during bytecode verification
An enhanced Java Bytecode verifier suitable for operation in a Java computing environment is disclosed. The enhanced Java Bytecode verifier operates to determine whether one or more Java...
|
|
|
7062755 |
Recovering from compilation errors in a dynamic compilation environment
Techniques are provided for recovering from compilation errors in environments that use dynamic compilers. Application programs include Java bytecodes, and compilation includes sequential...
|
|
|
7062754 |
Method for testing IEEE 1394 controllers
A method for performing a load flow test among a number of IEEE 1394 controllers is provided. The IEEE 1394 controllers are disposed on a number of interface cards individually while the interface...
|
|
|
7055130 |
Methods and systems for identifying dependencies between object-oriented elements
Methods and systems consistent with the present invention provide an improved software development tool that represents multiple dependencies between a dependent node and a defining node in a...
|
|
|
7055067 |
System for creating, storing, and using customizable software test procedures
A system and method for software test is disclosed that allows user management and adaptation of test procedures and the resulting test data. In an embodiment, the system and method provide a...
|
|
|
7051340 |
System and method for isolating applications from each other
The present disclosure relates to a system and method for isolating applications from each other. In one arrangement, the system and method pertain to intercepting application instructions,...
|
|
|
7047522 |
Method and system for verifying a computer program
A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input...
|
|
|
7043719 |
Method and system for automatically prioritizing and analyzing performance data for one or more, system configurations
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...
|
|
|
7039902 |
Mechanism for enabling efficient testing of a set of computer code
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...
|
|
|
7036111 |
Code verification system and method
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...
|
|
|
7032212 |
Method and system for generating test matrices for software programs
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,...
|
|
|
7024661 |
System and method for verifying computer program correctness and providing recoverable execution trace information
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...
|
|
|
7024548 |
Methods and apparatus for auditing and tracking changes to an existing configuration of a computerized device
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...
|
|
|
7020766 |
Processing essential and non-essential code separately
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...
|
|
|
7003762 |
Computer-implemented exception handling system and method
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...
|
|
|
7000220 |
Networked software development environment allowing simultaneous clients with combined run mode and design mode
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...
|
|
|
7000151 |
System and method for providing run-time type checking
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...
|
|
|
6993748 |
Systems and methods for table driven automation testing of software programs
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...
|
|
|
6993761 |
Method and apparatus to verify type safety of an application snapshot
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...
|
|
|
6986126 |
Method and apparatus for detecting violations of type rules in a computer program
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...
|
|
|
6986125 |
Method and apparatus for testing and evaluating a software component using an abstraction matrix
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...
|
|
|
6981245 |
Populating binary compatible resource-constrained devices with content verified using API definitions
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...
|
|
|
6978441 |
Rating apparatus and method for evaluating bugs
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,...
|
|
|
6973643 |
Method, system and program for handling errors occurring in function calls
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...
|
|
|
6959432 |
Process and system for developing mathematically validated object-oriented software
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...
|
|
|
6938186 |
System and method for performing a path-sensitive verification on a program
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...
|
|
|
6938243 |
Diagnostic architecture for use with an interface between an operating system and platform firmware
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...
|
|
|
6934934 |
Method and system for software object testing
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...
|
|
|
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
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...
|
|
|
6931627 |
System and method for combinatorial test generation in a compatibility testing environment
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...
|
|
|
6931629 |
Method and apparatus for generation of validation tests
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...
|
|
|
6928638 |
Tool for generating a re-generative functional test
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...
|
|
|
6920629 |
Capturing fields from an output of a software application
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...
|
|
|
6918108 |
System and method for field diagnosis of wireless communications device system software
A system and method are provided for field diagnosing system software in a wireless communications device. The method comprises: executing system software; launching a run-time engine; receiving...
|