Abstract
Academic research has made significant advances in the generation of test sequences from formal specifications and in the development of computer-aided test tools with the aims of improving the effectiveness of testing communicating systems. However, this state-of-the-art research is not necessarily the state-of-the-practice; these methods and tools are seldom used in the communications industry. As academia tends to work on problems that are not too industrially related and does not quite address the problems facing testers in the industry, testers generally regard academic testing techniques impractical and irrelevant to solving real problems. There is a big gap between testing practice and research results published in journals and reported at conferences. This paper argues that academic research on testing of communicating systems needs to become more industrially relevant, describes the means by which this change can be facilitated, and suggests some research topics that are relevant to the industry. It aims to help effect a change in the direction of academic research on testing of communicating systems.
Chapter PDF
References
Boehm, B., (1981) Software Engineering Economics, Prentice Hall, Englewood Cliffs, N.J.
CCITT (1987) Recommendation Z.100: Specification and Description Language SDL, Com X-R15-E.
Genuchten, M. van, (1991) Why is software Late? An Empirical Study of Reasons For Delay in software Development, IEEE Transaction on Software Engineering, vol. 17, no. 6.
Grassi, W. and Kossmann, H. (1990) Automated Implementation and Testing of SDL Protocol Specification, Proceedings of the 2nd International Workshop on Protocol Test Systems, North-Holland.
ISO (1989a) Information Processing Systems - Open Systems Interconnection - ESTELLE - A Formal Description Technique Based on an Extended State Transition Model, ISO 9074.
ISO (1989b) Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807.
Lai, R. (1992) Teaching Protocol Engineering in Honours Year, Lecture Notes in Computer Science, Vol 640, Springer-Verlag.
Lai, R. and Leung W. (1995) Academic and Industrial Protocol Testing–The Gap and the Means of Convergence, Computer Network and ISDN Systems, 27 (1995) 537–547.
McCabe, T.J. (1976) A Complexity Measure, IEEE Transaction on Software Engineering, 2 (4): 308–320.
Putnam, L., (1978) A general empirical solution to the Macro software sizing and Estimating Problem, IEEE Transactions on Software Engineering, Vol. SE-4, no. 4, 345–61.
Stierer, S.A. (1991) A Cost-Effective Approach to Testing, IEEE Software, March, 1991.
Shiratori, N., Takahashi K. and Noguchi, S. (1989) An Intelligent Use-Friendly Support System for Protocol and Communication Software Development, Protocol,Specifeo.lion, Testing and Verification VIII, North Holland.
Sidhu, D.P. and Leung, T.K. (1989) Formal Methods for Protocol Testing: A Detailed Study, IEEE Transactions on Software Engineering, vol. 15, no. 4.
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
Lai, R. (1996). How could research on testing of communicating systems become more industrially relevant ?. In: Baumgarten, B., Burkhardt, HJ., Giessler, A. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35062-2_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-35062-2_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6697-4
Online ISBN: 978-0-387-35062-2
eBook Packages: Springer Book Archive