Quotables
"The abolishment of pain in surgery is a chimera. It is absurd to go on seeking it...knife and pain are two words in surgery that must forever be associated in the consciousness of the patient."
Dr. Alfred Velpeau, French surgeon ; 1839
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8191046 | Checking transactional memory implementations A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write oper... | 05/29/2012 |
| 8191044 | System and method for maintaining requirements traceability A front end client-server application configured to synchronize requirements between a requirements repository and a testing repository. The front end client-server application validates a requirement, processes at least one filter associated with the requirement, d... | 05/29/2012 |
| 8191045 | Mining library specifications using inductive learning A system and method for mining program specifications includes generating unit tests to exercise functions of a library through an application program interface (API), based upon an (API) signature. A response to the unit tests is determined to generate a transactio... | 05/29/2012 |
| 8185874 | Automatic and systematic detection of race conditions and atomicity violations A library or application is selected comprising one or more functions or methods. An interesting subset of the functions or methods is created. A plurality of multi-threaded test cases are generated from the subset of interesting functions or methods, with each test... | 05/22/2012 |
| 8181159 | Test automation using virtual machines Techniques are described that perform software testing using virtual machines on dedicated or underutilized available computing devices. One or more virtual machines are identified as being sufficient to perform a test and availability of the one or more virtual mac... | 05/15/2012 |
| 8181158 | Viewing and modifying transactional variables Transactional programming promises to substantially simplify the development and maintenance of correct, scalable, and efficient concurrent programs. Designs for supporting transactional programming using transactional memory implemented in hardware, software, and a... | 05/15/2012 |
| 8171455 | Test sequencer and method for management and execution of sequence items A test sequencer software application and method for management and execution of sequence items. The test sequencer software application includes a management module and an execution module. The management module has capabilities of obtaining multiple sequence items... | 05/01/2012 |
| 8171456 | Method for auditing compliance of an electronic platform and/or a computer program present on said platform, and device and computer program corresponding thereto A method is provided for auditing compliance of an electronic platform, referred to as the platform being tested, and/or a computer program being tested, which is present on the platform being tested. The method includes the following steps: transmitting the same da... | 05/01/2012 |
| 8166459 | Apparatus and method of generating self-debugging computer software In one embodiment the present invention includes a computer-implemented method of self debugging a computer program operating in a distributed processing environment. The method includes detecting a fault in a plurality of processing devices and classifying the faul... | 04/24/2012 |
| 8166458 | Method and system for automated distributed software testing Embodiments of the present invention provide methods and systems for automated distributed testing of software. A testing service may utilize a distributed architecture that provides a standardized framework for writing tests, scheduling the tests, and gathering and... | 04/24/2012 |
| 8161457 | Detection of errors caused by interactions of independent software vendor code with host code A method is provided for isolating errors which occur when code supplied by independent software vendors (ISV code) interacts with code supplied by a primary vendor (host code). Code suspected of containing ISV code with host code is executed. If the results are in ... | 04/17/2012 |
| 8161458 | Method and apparatus to increase efficiency of automatic regression in “two dimensions” Techniques for efficiently isolating software regressions are provided. A system test tool determines that a particular regression is present in a particular build of a software system, but not in a baseline build. Using historical data, the tool determines, for eac... | 04/17/2012 |
| 8161459 | Method and system for generating functional test cases The present invention provides a method, system and computer program product for generating one or more functional test cases for testing a software application. One or more use-case activity diagrams are developed for the software application on the basis of a pred... | 04/17/2012 |
| 8156475 | Device and method for testing embedded software using emulator Embodiments of the invention provide a device and a method for automatically testing embedded software, and more specifically for testing interfaces between layers of the embedded software. In one embodiment, the device includes: an emulator; a server including embe... | 04/10/2012 |
| 8156474 | Automation of software verification A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programmi... | 04/10/2012 |
| 8156473 | Model oriented debugging A system and method for debugging a business application that has been generated according to a model are disclosed. A system includes a debugger that generates a model-oriented debugging view based on a model-oriented development environment that generates the busi... | 04/10/2012 |
| 8156476 | Debugging support for tasks in multithreaded environments A debugger enhancement provides a debug-task-provider interface whose implementation includes routines designed to support debugging of programs that contain tasks written for a specific programming model. Task creation hierarchies, individual task properties, resou... | 04/10/2012 |
| 8151247 | Test data management Methods and apparatuses enable generating test content for test system from an executed transaction of an execution system. The data resulting from the execution of the transaction in the execution system is accessed and used to generate test content for a test case... | 04/03/2012 |
| 8151248 | Method and system for software defect management A computer readable medium implementing a method for managing software defects is provided. The method comprises capturing a plurality of test cases into a test case database, a plurality of software defects into a software defect record database, and a plurality of... | 04/03/2012 |
| 8146057 | Instrumentation system and method for testing software One or more test controls within code under test are enabled and then executing the code under test is executed. When enabled, the test control will interact with a tester when the code under test is executed (e.g., by providing data to the tester). The selection to... | 03/27/2012 |
| 8146058 | Measuring quality of software modularization Quality of modularization of source code is tested using different perspectives such as a structural modularity perspective, an architectural modularity perspective, a size perspective, and a similarity of purpose perspective. A history of changes in modularization ... | 03/27/2012 |
| 8146059 | Feeding test metrics into an integrated development environment to aid software developers to improve code quality An IDE or program operable with an IDE retrieves automated test results for a code sequence. The IDE or separate program detects the code sequence during source code development in an IDE. The test results are then presented in the IDE during source code development... | 03/27/2012 |
| 8146056 | Debugging a computer program by interrupting program execution in response to access of unused I/O port A method, computer-readable medium, and apparatus for debugging a computer program utilizing breakpoints triggered by accessing a rarely used or unused I/O port is provided. Rarely used or unused I/O ports are identified in a computer system and a debugger program i... | 03/27/2012 |
| 8141043 | Automated business process testing that spans multiple platforms or applications A system and method for automated software testing includes defining a data model of an automated software test for a feature or business process being tested and then identifying an address for a function library at a local or remote location for executing the data... | 03/20/2012 |
| 8141044 | Method and system for identifying sources of operating system jitter A method for tuning performance of an operating system, the method comprising identifying all sources of operating system jitter; measuring the impact of each of the operating system jitter source; and tuning performance of the operating system, preferably by use of... | 03/20/2012 |
| 8141045 | Automatically identifying the source of copied software A method, system, and computer-usable medium for automatically identifying the source of copied software. A single identifying marker can be embedded in a common code base associated with different software application products. A suspected copy of a product can be ... | 03/20/2012 |
| 8140578 | Multilevel hierarchical associations between entities in a knowledge system A computer implemented method, data processing system, and computer program product for managing multilevel hierarchical structured information in disparate knowledge repositories. An association data structure is created for an entity as metadata in a metadata repo... | 03/20/2012 |
| 8132157 | Method of automatic regression testing A method of automatic regression testing includes loading binary code representing a first version of a program, extracting a second version of the program embedded within the binary code of the first version of the program, executing a standalone model of the secon... | 03/06/2012 |
| 8132155 | Automatic generation of telemetry flight software accompanying specifications, and decode files A computer readable media, includes instructions capable of being interpreted for execution by a computer processor. The instructions provide information sufficient for: reading a master telemetry definition data file; producing a source code for implementing a data... | 03/06/2012 |
| 8132156 | Methods and systems for testing tool with comparative testing Embodiments of the present invention provide a multi-input comparative testing tool. The present invention looks at the internal structure of the software being tested and compares the two pairs of internal structures. In the present invention, the testing tool is c... | 03/06/2012 |
| 8127275 | System and method for recording the state of variables and objects when running unit tests A system and method for recording a state of an object in a computer program being tested. The system and method include: identifying an object having a plurality of fields, each field having a value; executing the computer program including a unit test; recording t... | 02/28/2012 |
| 8122435 | Operating status monitoring program, method and device An operating status monitoring device detects execution of a machine instruction included in an execution module that is obtained by translating a source program into machine language, specifies a step in the source program corresponding to the detected machine inst... | 02/21/2012 |
| 8117598 | Method and apparatus to automatically identify specific code changes to probabilistically exclude from regression Techniques for efficiently isolating software regressions are provided. In one embodiment, it is determined that a particular regression is present in a particular build of a software system. A set of candidate code components that may have caused the particular reg... | 02/14/2012 |
| 8103913 | Application integration testing Application testing is disclosed. A definition of a test to be performed on a subject application is received in a generic form not specific to the subject application. The test is performed by exchanging data with the subject application, as required to perform the... | 01/24/2012 |
| 8104019 | Debugging in an operating system with multiple subsystems A facility for debugging in an operating system with native and non-native subsystems is described. The facility employs a debugger designed for use with the native subsystem. The debugger receives an indication to debug the application program of the non-native sub... | 01/24/2012 |
| 8099697 | Hardware logic verification support apparatus, verification support method and computer product A computer-readable recording medium stores therein a verification support program that causes a computer to execute receiving a hardware description of a combinational circuit to be verified; extracting, from the hardware description, a conditional branch descripti... | 01/17/2012 |
| 8095913 | Computer readable storage medium that stores a test specifications creating program, test specifications creating apparatus and test specifications creating method Providing test specification for testing a Web application by receiving unfinished test specifications data describing a series of screen transition specifications included in a test case for a Web application to be installed in a Web server, obtaining a response in... | 01/10/2012 |
| 8095912 | Testing a context-free language compiler Systems and methods for testing a context-free language compiler. Given a description of a context-free grammar including a set of production rules, a test component applies the grammar description to generate one or more valid test strings of terminal symbols. A va... | 01/10/2012 |
| 8087002 | Method and system for providing a visual debugger for an interpreted statistical language Methods and systems for visual debugging of an interpreted language in, for example, an Interactive Development Environment are provide. Example embodiments provide an S-PLUS Visual Debugging System (“SPVDS”), which includes an S-PLUS Workbench Debugger (“SPWD... | 12/27/2011 |
| 8087003 | System, method, and computer program product for propagating an identified data validation error to a user interface A system, method, and computer program product are provided for propagating an identified data validation error to a user interface. In operation, a data validation error is identified utilizing a data validation rule. Additionally, the data validation error is prop... | 12/27/2011 |
