Interface conformance verification system
US5355479A · kind A · utility
Assignee
Inventors
Key dates
| Filing date | Jan 21, 1992 |
| Grant date | Oct 11, 1994 |
| Priority date | — |
| Expiry date | Jan 21, 2012 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An interface conformance verification system uses a computer to verify, e.g., the interface between modules in a large computer program or other a verification target. The interface conformance verification system includes an information collector and a verifier. The information collector receives at least one module group made up of one or more modules, collects as identification data pieces of target information on a predetermined operation, and creates sets, each having elements formed of the identification data. For example, the identification data may be a list of all variables declared, referenced or assigned a value in respective modules. Each set may correspond to a module or a plurality of modules. The verifier has a set operating mechanism and judging unit. The set operating mechanism receives at least two sets created by the information collector and performs a predetermined set operation, such as the difference between all variables referenced in one module and all variables having a value assigned in any other module. The judging unit outputs a set operation result showing a relation between corresponding operations judgment standards are used by the judging unit to de…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.