Abstract
Protocol testing is a run-time activity and we can only hope to detect valid or invalid behaviors in an actual execution of a protocol implementation embedded in a testing environment. In this paper we focus our attention in the validation of dynamic unstable properties during the testing process and afterwards, during normal execution. Dynamic unstable properties define desirable or undesirable temporal evolutions of the behavior of a communication protocol. We shall present a novel on-line distributed algorithm and the corresponding design principles that will improve the testing process and the reliability of a protocol implementation by checking unstable properties in a distributed environment.
Chapter PDF
Similar content being viewed by others
References
O. Babaoglu and K. Marzullo. Consistent global states of distributed systems: fundamental concepts and mechanisms. In Sape Mullender, editor, Distributed Systems, chapter 4, pages 55–96, ACM Press and Addison-Wesley, 1993.
K. Mani Chandy, L.M. Haas, and J. Misra. Distributed deadlock detection. ACM Transactions on Computer Systems, 1 (2): 144–156, May 1983.
K. Mani Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3 (1): 63–75, February 1985.
R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. of the ACM/ONR Workshop on Par. and Dist’d Debugging, pages 167–174, Santa Cruz, CA, USA, 20–21 May 1991. Published as ACM SIGPLAN Notices, 26 (12), December 1991.
E.W. Dijkstra and C.S. Scholten. Termination detection for diffusing computation. Information Processing Letters, 11: 217–219, August 1980.
N. Francez. Distributed termination. ACM Transactions on Programming Languages and Systems, 2 (1): 42–55, January 1980.
V.K. Garg and B. Waldecker. Detection of weak unstable predicates in distributed programs. IEEE Trans. on Par. and Dist’d Sys., 5 (3): 299–307, March 1994.
M. Hurfin, N. Plouzeau, and M. Raynal. Detecting atomic sequences of predicates in distributed computations. In Proc. of the ACM/ONR Workshop on Par. and Dist’d Debugging, pages 32–42, San Diego, CA, USA, 17–18 June 1993. Published as SIGPLAN Notices, 28(12), December 1993.
B.P. Miller and J.-D. Choi. Breakpoints and halting in distributed programs. In Proc. of the 8th Int’l Conf. on Dist’d Computing Sys., pages 316–323, San Jose, CA, USA, 13–17 June 1988.
D. Richardson and M. Thomas. The RELAII model of error detection and its application. In Proc. of the ACM SIGSOFT/IEEE 2nd Workshop on Software Testing, Analysis, and Verification, Banff, Alberta, Canada, July 1988.
J. Rushby. Formal Methods and the Certification of Critical Systems. Technical Report CSL–93–7, SRI International, Computer Science Laboratory, Menlo Park, CA, USA, 1993.
B.A. Schroeder. On-line monitoring: A tutorial. Computer, 28 (6): 72–78, June 1995.
R. Schwarz and F. Mattem. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7 (3): 149–174, 1994.
M. Spezialetti and J. P. Kearns. A general approach to recognizing event occurrences in distributed computations. In Proc. of the 8th Int’l Conf. on Dist’d Comput. Sys., pages 300–307, San Jose, CA, USA, 13–17 June 1988.
S. Venkatesan and Brahma Dathan. Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering, 21 (2): 163–177, February 1995.
B. Waldecker and V.K. Garg. Detection of strong predicates in distributed programs. In Proc. of the Third IEEE Symp. on Par. and Dist’d, pages 692–699, Dallas, USA, 2–5 December 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Loureiro, A.A.F., Chanson, S.T., Vuong, S.T., de Carvalho, O.S.F. (1996). Checking unstable properties in distributed testing of communication protocols. In: Baumgarten, B., Burkhardt, HJ., Giessler, A. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35062-2_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35062-2_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6697-4
Online ISBN: 978-0-387-35062-2
eBook Packages: Springer Book Archive