Abstract
We present an approach to support the design for testability aspect of communication protocols. It combines the ad-hoc techniques partitioning and instrumentation known from integrated circuit testing. A protocol specification is divided into modules of reasonable size. This module structure is preserved in the implementation. Extra test points are added to observe inter-module communication. The test procedure consists of several steps. In the first step, modules are tested separately by applying a powerful test method, whereas following integration tests of modules exploit additional information provided by observers. The application of less sophisticated test methods is propagated for these steps. We show that this testing approach extends testability while fault detection capability is maintained.
Chapter PDF
Similar content being viewed by others
References
Chow, T. S.: Testing Software Design Modeled by Finite-State Machines; IEEE Trans. on Software Engineering (1978) 3, 178–187.
Clark, D. D.; Tennenhouse, D. L.: Architectural Considerations for a New Generation of Protocols; Proc. ACM SIGCOMM, 1990, 200–208.
Dssouli, R.; Fournier, R.: Communication Software Testability; In Davidson, I.; Litwack, W. (eds:): Protocol Test Systems III. North Holland, 1991, pp. 45–55.
Dssouli, R.; Karoui, K., Petrenko, A.; Rafiq, O.: Towards testable communication software; Proc. IWPTS’95, Paris, 1995, pp. 239–255.
Guerrouat, A.; König, H.; Ulrich, A.: SELEXPERT–A knowledge-based tool for test case selection; In Formal Description Techniques VIII, ChapmanandHall, 1996, pp. 313–328
Heiner, M.: Petri Net Based Software Validation, Prospects and Limitations; ICSI-TR-92–022, Berkeley/CA, 3/1992.
Hoffman, D.: Hardware testing and Software ICs; Proc. Pacific NW Software Quality Conference, Portland, 1989, pp. 234–244.
Kim, M.; Chanson, S. T.; Yoo, S.: Design for testability of protocols based on formal specifications; Proc. IWPTS’95, Paris, 1995, 257–269.
Kim, M. C.; Chanson, S. T.; Kang, S. W.; Shin, J. W.: An approach for testing asynchronous communicating systems; 9th IWTCS’96, Darmstadt, Germany; 1996.
König,H.: The XDT Protocol. Technical Report 04–96. BTU Cottbus, Fakultät Mathematik,Naturwissenschaften und Informatik,1996.
P. V. Koppol, K. C. Tai: An incremental approach to structural testing of concurrent software; International Symposium on Software Testing and Analysis (ISSTA’96); San Diego, California; 1996; pp. 14–23.
Leblanc, T.; Mellor-Crummey, J. M.: Debugging Parallel Programs with Instant Replay; IEEE Trans. on Computers 36 (1987) 4, 471–482.
Ochsenschläger, P.; Prinoth, R.: Modelling of distributed systems; Vieweg, 1995, (in German).
Petrenko, A.; Dssouli, R.; König, H.: On Evaluation of Testability of Protcol Structures; In Rafiq, O. (ed.): Protocol Test Systems VI, North Holland, 1994, pp. 111–123.
Sidhu, D. P.; Leung, T. K.: Formal methods for protocol testing: a detailed study; IEEE Trans. on Software Eng. 15 (1989) 4, 413–426.
Tai, K. C.; Carver, R. H.: Testing of distributed programs; in A. Zomaya (ed.): Handbook of Parallel and Distributed Computing; McGraw Hill; 1995.
Ulrich, A.; Chanson, S. T.: An approach to testing distributed software systems; Proc. 15th PSTV’95; Warsaw, Poland; 1995.
Ulrich, A.: A description model to support test suite derivation for concurrent systems; in M. Zitterbart (ed.): Kommunikation in Verteilten Systemen, GI/ITG-Fachtagung; Springer Verlag, 1997.
Vuong, S. T.; Loureiro, A. A. F; Chanson, S. T.: A Framework for the Design for Testability of Communication Protocols; In Rafiq, O. (ed.): Protocol Test Systems VI, North Holland, 1994, pp. 89–108.
Williams, T.W.; Parker, K. P.: Design for Testability–A Survey; IEEE Trans. on Computers C-31 (1982) 1, 2–15.
Yang 92] R. D. Yang, C. G. Chung: Path analysis testing of concurrent programs; Information and Software Technology; 34(1992)1, 43–56.
Yao, M., Petrenko, A., Bochmann, G.: A structural analysis approach to evaluating fault coverage of software testing in respect to the FSM model; Proc. 7th FORTE’94; Bern, Switzerland; 1994.
Yevtushenko, N.; Petrenko, A.; Dssouli, R.; Karoui, K.; Propenko, S.: On the Design for testability of Communication Protocols; Proc. IWPTS’95, Paris, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
König, H., Ulrich, A., Heiner, M. (1997). Design for testability: a step-wise approach to protocol testing. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive