Excavating
Patent
1992-01-21
1994-10-11
Heckler, Thomas M.
Excavating
371 671, 364DIG1, 3642854, 3642592, G06F 702
Patent
active
053554795
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 determine whether to modules or other verification target conforms to predetermined interface rules or other requirements.
REFERENCES:
patent: 4553261 (1985-11-01), Froessl
patent: 4906988 (1990-03-01), Copella
patent: 5159548 (1992-10-01), Caslavka
Ono Etsuo
Torii Satoru
Fujitsu Limited
Heckler Thomas M.
LandOfFree
Interface conformance verification system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Interface conformance verification system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interface conformance verification system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1665663