Method and system of testing and verifying computer code in a multi-threaded environment
US6691303B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 16, 2001 |
| Grant date | Feb 10, 2004 |
| Priority date | — |
| Expiry date | Jul 2, 2021 |
Classification
- Technology area (CPC Y)Emerging Cross-Sectional Technologies
- CPC primaryY10S707/99956
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and system of testing and verifying computer code in a multi-threaded environment. The method includes testing a first piece of computer code that is an implementation of a specification against a second piece of computer code that is a different implementation of the specification. Corresponding synchronization points in the first and second pieces of code are defined and the first piece of code is executed to the first synchronization point of the first piece of code. A state message is generated and sent to the second piece of code. The second piece of code is executed to the first synchronization point of the second piece of code and then a state after message is generated and compared to the state before message. The synchronization points are generally selected from a group including conditional transfers of control, Method calls, Method returns, and backward transfers of control.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.