Towards more industrially relevant academic researches into testing of communicating systems

Journal of Systems and Software

Volumn 47, Issue 2, 1999, Pages 89-96

  Lai, R ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL RESEARCH; PROBLEM SOLVING; SPECIFICATIONS; TELECOMMUNICATION SYSTEMS;

COMMUNICATION INDUSTRY; COMPUTER AIDED TEST TOOLS; CONFORMANCE TESTING; FORMAL DESCRIPTION TECHNIQUES; TEST SEQUENCE GENERATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032672360     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(99)00028-X     Document Type: Article

References (15)

1. Boehm, B., 1981. Software Engineering Economics. Prentice-Hall, Englewood Cliffs, NJ.
2. CCITT, 1987. Recommendation Z.100: Specification and Description Language, Com X-R15-E.
3. Grassl, W., Kossmann, H., 1990. Automated implementation and testing of SDL protocol specification. Proceedings of the Second International Workshop on Protocol Test Systems. North-Holland, Amsterdam.
4. ISO/IEC 9646-1, 1991. Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework, Part 1: General concepts, Part 2: Abstract test suite specification, Part 3: The tree and tabular combined notation, Part 4: Test realisation, Part 5: Requirements on test laboratories and clients for the conformance assessment process.
5. ISO/IEC JTC 1/SC 21/WG1 N 1234, 1993. Working draft on formal methods in conformance testing, meeting held in Cedex, France.
6. ISO, 1989a. Information processing systems - Open systems interconnection - ESTELLE - A formal description technique based on an extended state transition model. ISO 9074.
7. ISO, 1989b. Information processing systems - Open systems interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour. ISO 8807.
8. Lai, R., 1992. Teaching protocol engineering in honours year. Lecture Notes in Computer Science 640. Springer, Berlin.
9. Lai R., Leung W. Academic and industrial protocol testing - The Gap and the Means of Convergence. Computer Network and ISDN Systems. 27:1995;537-547.
10. McCabe T.J. A complexity measure. IEEE Transactions on Software Engineering. 2(4):1976;308-320.
11. Putnam L. A general empirical solution to the macro software sizing and estimating problem. IEEE Transactions on Software Engineering. 4(4):1978;345-361.
12. Sherer, S.A., 1991. A Cost-Effective Approach to Testing. IEEE Software.
13. Shiratori, N., Takahashi, K., Noguchi, S., 1989. An Intelligent User Friendly Support System for Protocol and Communication Software Development, Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam.
14. Sidhu, D.P., Leung, T.K., 1989. Formal methods for protocol testing: a detailed study. IEEE Transactions on Software Engineering, 15 (4.10).
15. van Genuchten, M., 1991. Why is software late? An empirical study of reasons for delay in software development. IEEE Transaction on Software Engineering, 17 (6).