|
Match
|
Document |
Document Title |
|
|
7631224 |
Program, method, and mechanism for taking panic dump
To completely perform a memory data collecting process by a panic dump in the event of failure, in the configuration information about main memory 5 announced to an operating system by boot...
|
|
|
7630952 |
Method for the computer-assisted evaluation of characteristic values of a technical system
During a total temporal interval a plurality of characteristic values of the technical system are determined. The total temporal interval is divided into a plurality of partial intervals, each...
|
|
|
7630849 |
Method of automated calibration and diagnosis of laboratory instruments
Method and system providing an automated workflow for installing and/or calibrating laboratory equipment. The workflow empowers an end user to perform installation and calibration thereby reducing...
|
|
|
7627868 |
Systems and methods for distributing software for a host device in a cable system
Flexible systems and methods are disclosed that may be used for provisioning, configuring, and controlling a host embodied in a cable set top box or other digital device attached to a digital...
|
|
|
7627857 |
System and method for visualizing exception generation
A system for animating the visualization of exceptions thrown by an application includes an application server; an application program; an in-memory exception table; an exception log file; an...
|
|
|
7627843 |
Dynamically interleaving randomly generated test-cases for functional verification
The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct...
|
|
|
7627813 |
Testing the type of browser used to view webpages by implementing dynamic reference elements from a script
This invention relates to a process for recognition and referencing of dynamic objects ( 22 ) in Internet pages ( 2 ) viewed by browsers ( 30 ) executed by users' computers ( 3 ), characterised in...
|
|
|
7624379 |
Test program set obsolescence mitigation through software and automatic test equipment system processes
Electronic test system including hardware and software components and method of use of same which provide obsolescence mitigation. A set of governing rules for the system is defined and a test...
|
|
|
7624378 |
Methods and systems of testing software, and methods and systems of modeling user behavior
Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software...
|
|
|
7624304 |
Defect detection for integers
Various techniques can be used to detect programming defects relating to the use of integers. A data structure can be created to represent ordering relationships in software instructions. Such...
|
|
|
7620941 |
Mechanism for lossless user-level tracing on an architecture supporting PC-relative addressing
A method for tracing an instrumented program involves triggering a probe in the instrumented program, obtaining an original instruction associated with the probe, storing the original instruction...
|
|
|
7620939 |
Automatic configuration of regression test controls
A method and system for regression testing of a computer software. The method and system execute the software for a first time to create a first data set; execute the software for a second time...
|
|
|
7620938 |
Compressed program recording
Program execution can be monitored and recorded for later playback. Certain state changes that can be predicted via a virtual processor during playback need not be recorded, so a compressed...
|
|
|
7620937 |
System and method for debugging programs
A system and method for debugging programs such as Extensible Stylesheet Language (XSL) programs. A processor may locate program element tags in an XSL program code, may modify the XSL program code...
|
|
|
7620928 |
Method and apparatus for synthesizing a hardware system from a software description
A method and an apparatus take software source code to synthesize a hardware platform for running the software. The method determines which processor is suitable for running the code and meeting...
|
|
|
7617484 |
Concern based hole analysis
A computer program product including computer usable media having computer usable program code for ranking coverage over subsets of code by combining coverage measure with concern based criteria...
|
|
|
7617415 |
Code coverage quality estimator
A method for estimating a quality of code coverage of a test is described. The method includes training a neural network, using the neural network to generate a risk factor for each code element,...
|
|
|
7617093 |
Authoring speech grammars
A method and apparatus are provided for automatically forming a grammar. Example text strings are received and N-grams are formed based on the text strings. A rule in the grammar is then generated...
|
|
|
7617084 |
Mechanism and method for simultaneous processing and debugging of multiple programming languages
Disclosed is a method, mechanism, and computer usable medium for simultaneous processing or debugging of multiple programming languages. A particularly disclosed approach provides a method and...
|
|
|
7614044 |
Attempting runtime retranslation of unresolvable code
A compiler that completes compilation upon identifying unresolvable input during compilation instead of aborting compilation. This can be accomplished by inserting an exception-throwing...
|
|
|
7614042 |
System and method for selecting applicable tests in an automation testing system
Automation test selection is made for an automation testing process according to the code changes that have occurred between builds of a software product. A mapping between the available tests and...
|
|
|
7613955 |
Collecting debug data from a wireless device
A data processing apparatus having a memory for storing program code and a processor for processing the program code, the data processing apparatus comprising: a radio module to communicatively...
|
|
|
7610578 |
Test manager for integrated test environments
Methods are provided to automatically generate, distribute and execute code locally and remotely. The test may therefore be performed using the automatically distributed code. Automated parameter...
|
|
|
7610512 |
System and method for automated and assisted resolution of it incidents
A computer implemented method for assisted and automated resolving of Information Technology (IT) incidents is provided. The method facilitates one or more users to define repair workflows to...
|
|
|
7607124 |
Method for debugging a business process flow
A method for debugging a process in a workflow engine, wherein the process includes a plurality of activity points, includes steps of: attaching to a running business process being controlled by...
|
|
|
7607123 |
Systems and methods for validating debug information for optimized code
An apparatus generates a debugger script to output first data corresponding to a symbol name for a breakpoint in a software program compiled as optimized code. A debugger script to output second...
|
|
|
7606814 |
Tracing a web request through a web server
A method of tracing data on a network for a Web request that detects events of the Web request as the Web request is serviced. The method provides a unique identifier (ID) for the Web request. The...
|
|
|
7606695 |
Self-checking simulations using dynamic data loading
A system for evaluating a simulation includes a reference simulator configured to execute a simulation image to obtain golden data, a test simulator configured to execute the simulation image to...
|
|
|
7603658 |
Application functionality for a test tool for application programming interfaces
Methods and apparatus for enabling efficient testing of application programming interface (API) frameworks and application code are disclosed. According to one aspect of the present invention, a...
|
|
|
7603334 |
Code coverage of declarative objects
Generating coverage information identifying tested elements of a declarative data structure. A method includes exercising a first element of a declarative data structure. Information is gathered...
|
|
|
7603266 |
Generic emulator of devices in a device communications protocol
The generic device emulator provides an operational emulation of the behavior of any desired device within a device connectivity or other communications protocol as specified in a description of...
|
|
|
7603256 |
Enabling high availability and load balancing for management modules in a computing environment
Provided is a method for programming module load balancing and failover in a distributed computing environment. The Java Management extensions (JMX) specification is enhanced to support load...
|
|
|
7600220 |
Extensible execution language
A system and method for automated software testing includes defining a data model of an automated software test for an application being tested and then identifying an address for a function...
|
|
|
7596780 |
System and method for virtual catching of an exception
The techniques and mechanisms described herein are directed to a method for virtually catching an exception. A debugger receives a notification identifying information about an exception that...
|
|
|
7596685 |
Apparatus and method for building, storing, uploading, relocating and executing DOS based software module during system startup time
The present invention provides a method of packaging, storing, uploading, and executing a DOS based software module capable for being utilized as applications of a PCI device. The present invention...
|
|
|
7594219 |
Method and apparatus for monitoring compatibility of software combinations
The present invention provides a method, apparatus, and computer instructions for testing compatibility of software versions, the method comprising the computer implemented steps of performing an...
|
|
|
7590933 |
Method for displaying an annotated file
A method and system for displaying an annotated file are described. The method includes associating an annotation with a programming module of a baseline file and displaying in a window of a...
|
|
|
7590520 |
Non-deterministic testing
A computerized method creates test coverage for non-deterministic programs. The method receives a graph of edges and states representing a program under test, and creates a continuous cycle of...
|
|
|
7587708 |
Method for testing converted source code
A method, computer program product, and computer system for testing converted source code features appearing in computer software of a computer system. N iterations are performed. Each iteration...
|
|
|
7587636 |
Unit test generalization
A computer system provides a test program and one or more unit tests, such as a traditional unit test and or a parameterized unit test. The system also includes a constraint solver, a theorem...
|
|
|
7587635 |
Method of debugging “active” unit using “non-intrusive source-level debugger” on “standby” unit of high availability system
A method of debugging an active unit in a computer system having an active unit for routing computer connections and a standby unit configured to route computer connections in the event the active...
|
|
|
7584456 |
Method and apparatus for debugging embedded systems having read only memory
A programmable logic device (PLD) is provided. The PLD includes a microprocessing unit (MPU) and a memory region functioning in a read only state. A Joint Test Action Group (JTAG) debug module in...
|
|
|
7584455 |
Predicate-based test coverage and generation
Techniques and tools for achieving improved test coverage in a finite program state space are described, such as a technique for selecting a set of predicates, calculating a set of possible...
|
|
|
7584082 |
Synchronization and data review system
A method and system to control data collection and display parameters in two or more data modules in a dynamic system. The method and system provide the ability to collect and display data in a...
|
|
|
7581212 |
Method and system for conversion of automation test scripts into abstract test case representation with persistence
A general technique using semantic analysis is provided that can be used for converting a specific automation test script (and its underlying test case), generated from generally available or...
|
|
|
7581208 |
Testing internationalized software using test resource file and test font
An efficient testing method is provided for internationalized software executed in a plurality of language environments. The method includes mock-translating an externalized resource file written...
|
|
|
7577875 |
Statistical analysis of sampled profile data in the identification of significant software test performance regressions
Sampled profile data provides information about processor activity during a test. Processor activity can be analyzed to determine an amount of processor resources used to execute the various...
|
|
|
7577541 |
Test services provider
A test services provider is an object that is arranged to provide a standardized interface for calling test harness provided functionality. The test services provider is not tied to a specific test...
|
|
|
7574696 |
Multiprocessor application interface requiring no utilization of a multiprocessor operating system
A test monitor for a multiprocessor machine including a plurality of processors each configured to execute a test by interpreting a script language for writing tests, in which one of the processors...
|
|
|
7571088 |
Simulation of connected devices
Simulating device interactions. A method may be practiced in a computing system for simulating interconnected devices. The method of simulating device interactions may be done in performing an...
|