Abstract
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.
Extended Abstract
Preview
Unable to display preview. Download preview PDF.
References
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.
Bochmann, G.v., "Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques”, Comp. Nedtworks and ISDN Systems, 18 (1989/90) 335–377.
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.
Brinksma, E., "A Formal Approach to Testing Distributed Systems", personal communication, 1991.
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.
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.
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.
Hoare, C.A.R., Communicating Sequential Processes. Prentice-Hall, New Jersey, 1985.
Guo, F. and Probert, R.L., "Mutation Testing of Communication Protocols: Methodology and Assessment of Coverage", University of Ottawa Technical Report 91-5, 1991.
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.
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.
Howden, W.E., "Weak Mutation Testing and Completeness of Test Sets", IEEE Transactions on Software Engineering 8, 2, July 1982.
Protocol Specification, Testing, and Verification, Volumes I-X, North Holland (1981–1990).
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.
International Organization for Standardization, IS 9646-2, OSI Conformance Testing Methodology and Framework, especially Part 2: Abstract Test Suite Specification, 1990.
Jones, C.B., Systematic Software Development Using VDM, Prentice Hall Int'l. 1986.
Lamport, L., "A Simple Approach to Specifying Concurrent Systems", Comm. ACM, Vol. 32, No. 1, Jan. 1989, pp. 32–45.
Manas, J.A., T.de 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.
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.
Milner, A.I.R.G., A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
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.
Probert, R.L. and O. Monkewich, "TTCN-The International Notation for Conformance Testing of Communications Systems, J. of Computer Networks and ISDN (to appear).
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.
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.
Ural, H., "Test Sequence Selection Based on Static Data Flow Analysis", Computer Communications, Vol. 10, No. 5, October 1987, pp. 234–242.
West, C.H., "Protocol Validation by Random State Exploration", Protocol Specification, Testing and Verification, VI, 1987, pp. 233–242.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Probert, R.L. (1991). Computer Science and communications protocols: Research relationships. In: Dehne, F., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '91. ICCI 1991. Lecture Notes in Computer Science, vol 497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54029-6_150
Download citation
DOI: https://doi.org/10.1007/3-540-54029-6_150
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54029-8
Online ISBN: 978-3-540-47359-6
eBook Packages: Springer Book Archive