Testing incomplete specifications of distributed systems

Authors:
Pamela Zave
Affiliations:
-
Venue:
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Year:
1982

Citing 6
Cited 4

Comments on “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Output Guards and Nondeterminism in “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Art of Software Testing

Art of Software Testing
A Relational Data Base Foundation for Process Specification

Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design

The operational versus the conventional approach to software development

Communications of the ACM
Debugging “level”: Step-wise debugging

SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Operational specification languages

ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
An overview of the PAISLey project-1984

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.02

Visualization

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.