Title :
Relative-clock-based specification and test result analysis of distributed systems
Author :
Probert, Robert L. ; Yu, Hualong ; Saleh, Kassem
Author_Institution :
Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
Abstract :
A model employing totally ordered events of a distributed system based on a logical clock has been presented by L. Lamport (1978). The authors propose a new interpretation and extension of Lamport´s notion of concurrency by introducing the concept of relative concurrency to capture the nature of concurrency of distributed systems by means of a relative (or logical) clock. They then derive a totally ordered global events model based on the relative clock. Based on this model, they represent and interpret timing (ordering) information from observable scenarios, including collision scenarios of the system, expressed in an extended trace assertion language (ETAL) specification. Finally, a new approach is illustrated with a realistic example for test result analysis including timing information based on the global events model.<>
Keywords :
concurrency control; distributed processing; formal specification; software reliability; collision scenarios; concurrency; distributed systems; extended trace assertion language; logical clock; relative-clock-based specification; test result analysis; timing information; totally ordered events; Clocks; Computer science; Concurrent computing; Formal specifications; Information analysis; Protocols; Software engineering; Software testing; System testing; Timing;
Conference_Titel :
Computers and Communications, 1992. Conference Proceedings., Eleventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ, USA
Print_ISBN :
0-7803-0605-8
DOI :
10.1109/PCCC.1992.200507