Testing incomplete specifications of distributed systems

ABSTRACT

Complex systems (such as distributed ones) should be specified before they are implemented. Even more advantages accrue if the specifications are executable, so that behaviors of the specified systems can be tested. This paper addresses practical questions such as how incomplete specifications can be tested, and what kind of interface is needed to control tests of distributed systems. The answers take the form of a concrete proposal which has been implemented in prototype form.

REFERENCES

• 1: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 2: Peter C. Bates and Jack C. Wileden, "EDL: A Basis for Distributed System Debugging Tools", Proc. Fifteenth Hawaii International Conference on System Sciences, Honolulu, Hawaii, January 1982, pp. 86-93.
• 3: Arthur Bernstein, Output Guards and Nondeterminism in “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.234-238, April 1980 [doi>10.1145/357094.357101]
• 4: Neil M. Goldman , David S. Wile, A Relational Data Base Foundation for Process Specification, Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design, p.413-432, January 1980
• 5: Richard G. Hamlet, "Single-language small-processor systems", Information Processing 77 (B. Gilchrist, ed.), North-Holland, Inc., 1977, pp. 969-974.
• 6: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 7: Richard B. Kieburtz , Abraham Silberschatz, Comments on “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.218-225, Oct. 1979 [doi>10.1145/357073.357077]
• 8: Leslie Lamport, "Specifying Concurrent Program Modules", SRI International Computer Science Laboratory, Menlo Park, California, June 1981.
• 9: Glenford J. Myers, Art of Software Testing, John Wiley & Sons, Inc., New York, NY, 1979
• 10: Richard F. Rashid, "An Inter-Process Communication Facility for UNIX", Carnegie-Mellon University Computer Science CMU-CS-80-124, Pittsburgh, Pennsylvania, June 1980.
• 11: Abraham Silberschatz, "Communication and Synchronization in Distributed Systems", IEEE Trans. Software Engr. SE-5, November 1979, pp. 542-546.
• 12: Pamela Zave, "Exchange Functions: Interaction Primitives for Specifying Distributed Systems", submitted for publication, February 1982.
• 13: Pamela Zave, "A Functional Technique for Decomposing the Complexity of Requirements Analysis", Proc. Fifteenth Hawaii International Conference on System Sciences, Honolulu, Hawaii, January 1982, pp. 295-303.
• 14: Pamela Zave, "An Operational Approach to Requirements Specification for Embedded Systems", IEEE Trans. Software Engr. SE-8, May 1982, pp. 250-269.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Performance attributes

  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Algorithms, Performance, Verification