Test generation based on control and data dependencies within system specifications in SDL

Computer Communications

Volumn 23, Issue 7, 2000, Pages 609-627

  Ural, H ^a   Saleh, K ^a   Williams, A ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA COMMUNICATION SYSTEMS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; SEQUENTIAL MACHINES; SOFTWARE ENGINEERING;

DATA FLOW ORIENTED TEST GENERATION AND TEST SELECTION; EXTENDED FINITE STATE MACHINES; SOFTWARE TESTING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0033880103     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(99)00227-3     Document Type: Article

References (42)

1. Belina F., Hogrefe D. The CCITT-Specification and Description Language SDL. Computer Networks and ISDN Systems. 16:1989;311-341.
2. SDL, Recommendation Z.100, ITU-T, 1996.
3. W. Chun, P. D. Amer, Test case generation for protocols specified in Estelle, in: Proceedings of FORTE'90, Madrid, Spain, 1990, pp. 197-210.
4. Dahbura A.T., Sabnani K.K., Uyar M.U. Formal methods for generating protocol conformance test sequences. Proceedings of the IEEE. 78:(8):1990;1317-1325.
5. Favreau J.P., Linn R.J. Automatic generation of test scenario skeletons from protocol specifications written in Estelle. Bochmann G.v., Sarikaya B. Proceedings of PSTV 6. 1986;191-202 North-Holland, Amsterdam.
6. S. Huang, D. Lee, M Staskauskas, Validation based test sequence generation for networks of EFSMs, in: Proceedings of IFIP FORTE/PSTV'96.
7. D. Lee, M. Yannakakis, Optimization problems from future testing of communication protocols, in: Proceedings of IEEE ICNP'96, Columbus, OH, October 1996, pp. 66-75.
8. Lee D., Yannakakis M. Principles and methods of testing FSMs: a survey. Proceedings of the IEEE. 84:(8):1996;1089-1123.
9. Sidhu D.P., Leung T.K. Formal methods for protocol testing: a detailed study. IEEE Trans. Software Engng. SE-15:(4):1989;413-426.
10. L.-S. Koh, M. T. Liu, Test path selection based on effective subdomains, in: Proceedings of IEEE ICNP'94, Boston, MA, October 1994, pp. 64-71.
11. R. E. Miller, S. Paul, Generating conformance test sequences for combined control and data flow of communication protocols, in: J. Linn, U. Uyar (Eds.), Proceedings of PSTV 12, 1992, pp. 13-27.
12. R. L. Probert, F. Guo, Mutation testing of protocols: Principles and preliminary experimental results, in: Davidson and Litwach (Eds.) Protocol Test Systems III, 1991, pp. 57-76.
13. Sarikaya B., Bochmann G.V., Cerny E. test design methodology for protocol testing. IEEE Trans. Software Engng. SE-13:(5):1987;518-531.
14. van der Schoot H., Ural H. Data flow oriented test selection for LOTOS. Computer Networks. 27:(7):1995;1111-1136.
15. Ural H. Test sequence selection based on static data flow analysis. Computer Communications. 10:(5):1987;234-242.
16. H. Ural, IO-df-chains criterion, ISO Working Group on Formal Methods on Conformance Testing, Draft International Standard, September 1993.
17. H. Ural, A. Williams, Test generation by exposing control and data dependencies within system specifications, in: Proceedings of IFIP Sixth International Conference on Formal Description Techniques, FORTE'93, Boston, MA, 1993, pp. 339-354.
18. Ural H. Bo Yang. A test sequence generation method for protocol testing, IEEE Trans. Commun. 39:(4):1991;514-523.
19. C.-J. Wang, M. T. Liu, Generating test cases from EFSM with given fault models, in: Proceedings of IEEE INFOCOM'93, San Francisco, CA, March 1993, pp.774-781.
20. Frankl P.G., Weyuker E.J. An applicable family of data flow testing criteria. IEEE Trans. Software Engng. 14:(10):1988;1483-1498.
21. Howden W.E. Functional Program Testing and Analysis. 1987;McGraw Hill, New York.
22. Laski J.W. On data flow guided program testing. ACM SIGPLAN Notices. 17:(9):1982;62-71.
23. Laski J.W., Korel B. data-flow oriented program testing strategy. IEEE Trans. Software Engng. SE-9:(5):1983;347-354.
24. Myers G.J. The Art of Software Testing. 1979;Wiley, New York.
25. Ntafos S.C. On required element testing. IEEE Trans. Software Engng. SE-10:(11):1984;795-803.
26. Rapps S., Weyuker E.J. Selecting software test data using data flow information. IEEE Trans. Software Engng. SE-11:(4):1985;367-375.
27. L. Bromstrup, D. Hogrefe, TESDL:Experience with generating test cases from SDL specifications, in: Proceedings of 3rd SDL Forum, 1989, pp. 267-279.
28. Hogrefe D. Automatic generation of test cases from SDL specifications. SDL Newsletter. 1988;12.
29. F. Kristoffersen, L. Verhaard, M.Zeeberg, Test derivation for SDL based on ACTs, in: Proceedings of FORTE'92, Lannion, France, 1992, pp. 373-388.
30. G. Luo, A. Das, G.v. Bochmann, Test selection based on SDL specification with Save, in: Proceedings of Fifth SDL Forum, 1991, pp. 313-324.
31. Korel B. The program dependence graph in static program testing. Info. Proc. Lett. 24:1987;103-108.
32. Fosdick L.D., Osterweil L.J. Data flow analysis in software reliability. ACM Computing Surveys. 8:(3):1976;305-330.
33. Fernandez J.-C., Jard C., Jeron T., Viho C. Using on-the-fly verification techniques for the generation of test suites. Proceedings of CAV'96. 1102:1996;348-359 Springer-Verlag, Berlin.
34. Grabowski J., Hofrefe D., Scheurer R., Dai Z.R. Applying SAMSTAG to the B-ISDN protocol SSCOP Proceedings of IWTCS'97. 1997;Chapman and Hall, London.
35. Groz R., Risser N. Eight years of experience in test generation from FDTs using TVEDA. Proceedings of FORTE/PSTV'97. 1997;Chapman and Hall, London.
36. ObjectGeode, Verilog, Toulouse, France, 1996.
37. Telelogic Tau 3.4, Telelogic AB, Malmo, Sweden, 1998.
38. A. Kerbrat, T. Jeron, R. Groz, Automated test generation from SDL specifications, in: Proceedings of SDL FORUM'99, Montreal, Canada, 1999, pp. 135-151.
39. Frankl P.G., Weyuker E.J. Provable improvements on branch testing. IEEE Trans. Software Engng. 19:(10):1993;962-975.
40. M.J. Harrold, M.L. Soffa, Interprocedural data flow testing, in: Proceedings of the Third Symposium on Testing, Analysis, and Verification, Florida, 1989, pp. 158-167.
41. H. Ural, Bo Yang, Modeling software for accurate data flow representation, in: Proceedings of IEEE 15th International Conference on Software Engineering, ICSE'93, Baltimore, MD, 1993, pp. 277-286.
42. C.-J. Wang, M. T. Liu, Automatic test case generation for Estelle, in: Proceedings of IEEE ICNP'93, San Francisco, CA, October 1993, pp. 225-232.