Computer Science and communications protocols: Research relationships

  • Robert L. Probert
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 497)


Many of the interesting problems in Computer Science related to Software Engineering have yielded only to partial solutions or not at all. In the related areas of research denoted Communications Software Engineering and Protocols, most corresponding problems are on their way to a solution. In this presentation, we will explore some similarities and differences between these research areas by giving examples of problems which appear to be tractable in one area and not the other, and conclude with some ideas for building conceptual bridges.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BGPU89]
    Boyce, T.T., T. Grenier, R.L. Probert and H. Ural, "Formalization of ISDN LAPD for conformance testing", IEEE INFOCOM'89, IEEE Computer Society, 1989, pp. 234–246.Google Scholar
  2. [Bo89]
    Bochmann, G.v., "Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques”, Comp. Nedtworks and ISDN Systems, 18 (1989/90) 335–377.CrossRefGoogle Scholar
  3. [BoPr89]
    Boyce, T.T. and Probert, R.L., "A polynomial-Time Labelling Algorithm for Functional Decomposition of Communications Protocols", University of Ottawa Technical Report 91-06, 1991.Google Scholar
  4. [Br91]
    Brinksma, E., "A Formal Approach to Testing Distributed Systems", personal communication, 1991.Google Scholar
  5. [DeGu88]
    DeMillo, R.A., D.S. Guindi, W.M. McCracken, A.J. Offutt and K.N. King, "An Extended Overview of the Mothra Software Testing Environment", Proceedings of Second Workshop on Software Testing, Verification, and Analysis, Computer Society Press, 1988, pp. 142–151.Google Scholar
  6. [DeLi78]
    DeMillo, R.A., R.J. Lipton and F.G. Sayward, "Hints on test data selection: help for the practising programmer", IEEE Computer, Vol. 11, No. 4, pp. 34–41, April 1978.Google Scholar
  7. [GMMP90]
    Geldrez, C., S. Matwin, J. Morin, and R. Probert, "An Application of explanation-based learning to protocol conformance testing", IEEE Expert, October 1990, Volume 5, Number 5, pp. 45–60.CrossRefGoogle Scholar
  8. [H85]
    Hoare, C.A.R., Communicating Sequential Processes. Prentice-Hall, New Jersey, 1985.Google Scholar
  9. [GuPr90]
    Guo, F. and Probert, R.L., "Mutation Testing of Communication Protocols: Methodology and Assessment of Coverage", University of Ottawa Technical Report 91-5, 1991.Google Scholar
  10. [GHW85]
    Guttag, J.V., Horning, J.J., and Wing, J.M., "The Larch Family of Specification Language", IEEE Software, Vol. 2, No. 5, Sept. 1985, pp. 24–36.Google Scholar
  11. [Ha88]
    Harel, D. et al., "Statemate: A Working Environment for the Development of Complex Reactive Systems", in Proc. 10th IEEE Int'l, Conf. Software Eng., Apr. 1988, CS Press, Los Alamitos, Calif., Order No. 849.Google Scholar
  12. [Howd82]
    Howden, W.E., "Weak Mutation Testing and Completeness of Test Sets", IEEE Transactions on Software Engineering 8, 2, July 1982.Google Scholar
  13. [IFIP]
    Protocol Specification, Testing, and Verification, Volumes I-X, North Holland (1981–1990).Google Scholar
  14. [ISO9074]
    International Organization for Standardization, IS 9074, Information Processing Systems — Open Systems Interconnection — Estelle — A Formal Description Technique Based on an Extended State Transition Model, May 1989.Google Scholar
  15. [ISO9646]
    International Organization for Standardization, IS 9646-2, OSI Conformance Testing Methodology and Framework, especially Part 2: Abstract Test Suite Specification, 1990.Google Scholar
  16. [Jo86]
    Jones, C.B., Systematic Software Development Using VDM, Prentice Hall Int'l. 1986.Google Scholar
  17. [Lam89]
    Lamport, L., "A Simple Approach to Specifying Concurrent Systems", Comm. ACM, Vol. 32, No. 1, Jan. 1989, pp. 32–45.MathSciNetGoogle Scholar
  18. [MaMi89]
    Manas, J.A., Miguel, H. van Thienen, "The Implementation of a Specification Language for OSI Systems", in The Formal Description Technique LOTOS, P.H.J. van Eijk, C.A. Vissers and M. Diaz (Editors), pp. 409–421, North-Holland, 1989.Google Scholar
  19. [McG83]
    McMullin, P.R. and J.D. Gannon, "Combining Testing with Formal Specifications: A Case Study", IEEE Trans. Software Eng., Vol. 9, No. 3, May 1983.Google Scholar
  20. [Mi80]
    Milner, A.I.R.G., A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.Google Scholar
  21. [Off89]
    Offutt, A.J., "The Coupling Effect: Fact or Fiction?", Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing Analysis, and Verification (TAV3), December 13–15, 1989.Google Scholar
  22. [PrMo91]
    Probert, R.L. and O. Monkewich, "TTCN-The International Notation for Conformance Testing of Communications Systems, J. of Computer Networks and ISDN (to appear).Google Scholar
  23. [SaP90]
    Saleh, K. and R. Probert, "A service-based method for the synthesis of communication protocols", International Journal of Mini and Microcomputers, Volume 12, Issue 3, 1990, pp. 97–103.Google Scholar
  24. [SaP90]
    Saleh, K. and R. Probert, "Synthesis of communication protocols: Survey and assessment", accepted September 28, 1990 for publication in IEEE Transactions on Computers, Special Issue on Protocol Engineering.Google Scholar
  25. [Ur87]
    Ural, H., "Test Sequence Selection Based on Static Data Flow Analysis", Computer Communications, Vol. 10, No. 5, October 1987, pp. 234–242.CrossRefGoogle Scholar
  26. [West87]
    West, C.H., "Protocol Validation by Random State Exploration", Protocol Specification, Testing and Verification, VI, 1987, pp. 233–242.Google Scholar
  27. [WoHa88]
    Woodward, M.R. and K. Halewood, "From Weak to Strong, Dead or Alive? An Analysis of Some Mutation Testing Issues". Proceedings of Second Workshop on Software Testing, Verification, and Analysis, Computer Society Press, 1988, pp. 152–158.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Robert L. Probert
    • 1
  1. 1.Protocols/Software Engineering Research Group Department of Computer ScienceUniversity of OttawaOttawa

Personalised recommendations