Abstract
In this paper, we propose a generic scheme which instruments a formal protocol specification automatically to enhance the testability of the implementation. This approach is a special case of design for testability. It is cost-effective considering the entire cycle of protocol development. The advantage of automatic instrumentation is that the user need not pay special attention to testing problems in the design phase. Unlike most other techniques, our scheme also works with existing protocol specifications since it does not affect the original design. Our models address the problems of controllability and observability, and can handle both sequential and concurrent formal protocol specifications.
Chapter PDF
References
Dssouli R. and Fournier R. (1990) Communication Software Testability. The 3rd Intl Workshop on Protocol Test Systems, McLean, Virginia.
Ellsberger J. and Kristoffersen F. (1992) Testability in the context of SDL. IFIP Symposium on Protocol Specification, Testing, and Verification, XII, Lake Buena Vista, Florida.
Fidge C. (1991) Logical Time in Distributed Computing Systems. IEEE Computer, vol. 24, no. 8, 28–33.
ISO SC21 P.54 and ITU-T SG10 Q.8 (1994) Formal Methods in Conformance Testing.
Freedman R. S. (1991) Testability of Software Components. IEEE Tr. on Software Engineering, vol. 17, no. 6, 553–564.
Fujiwara H. (1985) Logic Testing and Design for Testability. MIT Press. [Hoffm 89] Hoffman D. (1989) Hardware Testing and Software ICs. The Pacific NW Software Quality Conference, 234–244.
IEEE (1991) Special Report on Concurrent Engineering. IEEE Spectrum, vol. 28, no. 7.
ISO IS 9646 (1991) OSI Conformance Testing Methodology and Framework. [ISOb] ISO 9074 (1989) ESTELLE - A Formal Description Technique Based on an Extended State Transition Model.
ISO 8807 (1989) LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behavior.
ITU-T (1988) Specification and Description Language (SDL) Recommendations Z.100. ITU-T Blue Book.
Kim M., Chanson S. T. and Vuong S. T. (1991) Protocol Trace Analysis based on Formal Specifications. Fourth Intl Conference on Formal Description Techniques, Sydney, Australia, 399–414.
Kim M., Chanson S. T. and Vuong S. T. (1993) Concurrency Model and Its Application to Formal Protocol Specifications. IEEE INFOCOM, San Francisco, California, 766–773.
Lamport L. (1978) Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM, vol. 21, no. 7, 558–565.
Mattem F. (1989) Virtual Time and Global States of Distributed Systems. Parallel and Distributed Algorithms, North-Holland, 215–226.
Parker K. P. (1989) The Impact of Boundary Scan on Board Test. IEEE Design Test of Computers, vol. 6, no.4, 18–30.
Petrenko A., Dssouli R. and et al. (1993) On Evaluation of Testability of Protocol Structures. The 6th Intl Workshop on Protocol Testing Systems, Pau, France, 115 -264 Part Six Testability 127.
Sarikaya B., Bochmann G. and et al (1987) A Test Design Methodology for Protocol Testing. IEEE Tr. on Software Engineering, vol. 13, no. 5, 518–531.
Vuong S. T., Loureiro A. A. F. and Chanson S. T. (1993) Toward a Framework for the Design for Testability of Communication Protocols. The 6th Intl Workshop on Protocol Testing Systems, Pau, France, 91–111.
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
Kim, M., Chanson, S.T., Yoo, S. (1996). Design for testability of protocols based on formal specifications. In: Cavalli, A., Budkowski, S. (eds) Protocol Test Systems VIII. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34988-6_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-34988-6_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6312-6
Online ISBN: 978-0-387-34988-6
eBook Packages: Springer Book Archive