Tools for Testing and Debugging
In this chapter, we introduce SMURPH tools assisting the user in the process of debugging and validating protocol programs. In addition to traditional tools, like assertions and tracing commands, SMURPH implements the so-called observers, which are reactive threads specialized for monitoring state transitions in (regular) protocol processes. Their role is to express an alternative, possibly partial, formal specification for the protocol actions. During the execution of the simulation model the observers dynamically assert the model’s adherence to the specification.
- 1.P. Gburzyński, W. Olesiński, On a practical approach to low-cost ad hoc wireless networking. J. Telecommun. Inf. Technol. 2008(1), 29–42 (2008)Google Scholar
- 2.M. Berard, P. Gburzyński, P. Rudnicki, Developing MAC protocols with global observers, in Proceedings of Computer Networks ’91 (1991)Google Scholar
- 3.J.M. Ayache, P. Azéma, M. Diaz, Observer: a concept for on-line detection of control errors in concurrent systems, in Proceedings of the 9th Symposium on Fault-Tolerant Computing, Madison, 1979Google Scholar