Excavating
Patent
1981-07-09
1984-03-13
Malzahn, David H.
Excavating
364200, G06F 1134
Patent
active
044371845
ABSTRACT:
A method of testing the implementation of a communication system definition by constructing a model of the communication system definition in a high level computing language such as PL/1; compiling the model and producing an executable machine language program; monitoring and recording messages transmitted by the data communication system; extracting relevant message-related information; using the extracted message unit sequence as input data to the executable machine language program; executing the machine language program and using the results of the execution to give an indication whether or not the messages were constructed correctly according to the communication system definition.
REFERENCES:
patent: 3987420 (1976-10-01), Badagnani
patent: 4275441 (1981-06-01), Takeuchi
King, "System Program Debugging", IBM Tech. Disclosure Bulletin, vol. 13, No. 7, Dec. 1980, pp. 1822-1824.
Butler, "Recovery for Supervisor Control Routines" IBM Tech. Disclosure Bulletin, vol. 15, No. 9, Feb. 1973, pp. 2803-2804.
Anderson, Jr. et al, "Software Monitor Data Reduction Program" IBM Tech. Disclosure Bulletin, vol. 16 No. 1 Jun. 1973 pp. 164-168.
Birney et al. "Trace" IBM Tech. Disclosure Bulletin, vol. 20, No. 7, Dec. 1977, pp. 2561-2562.
Sunshine, "Formal Techniques for Protocol Specification and Verification",Computer, Sep. 1979, pp. 20-27.
West, "General Technique for Communications Protocol Validation", IBM J. Res. Develop., vol. 22, No. 4, Jul. 1978, pp. 393-404.
West, "An Automated Technique of Communications Protocol Validation", IEEE Trans. on Communications, vol. Com. 26, No. 8, Aug. 1978, pp. 1271-1275.
Cork Robin M. S.
Rose David B.
Duffield Edward H.
International Business Machines Corp.
Malzahn David H.
LandOfFree
Method of testing a data communication 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 Method of testing a data communication system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of testing a data communication system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-496001