Coverage testing software architectural design in SDL

Computer Networks

Volumn 42, Issue 3, 2003, Pages 359-374

  Wong, W Eric ^a   Sugeta, Tatiana ^a,c   Jenny Li, J ^b   Maldonado, José C ^c  

^a The University of Texas at Dallas   (United States)

^b AVAYA LABS RESEARCH   (United States)

^c UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Architectural design; CATSDL; Control flow and data flow based coverage testing; SDL

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); DATA REDUCTION; INTERFACES (MATERIALS); STATISTICAL METHODS;

SOFTWARE ARCHITECTURAL DESIGN;

SOFTWARE ENGINEERING;

EID: 0037947552     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(03)00248-2     Document Type: Conference Paper

References (34)

1. P. Ammann, P. Black, W. Majurski, Using model checking to generate tests from specifications, in: Proceedings of International Conference on Formal Engineering Methods, Brisbane, Australia, December 1998, pp. 46-54.
2. H. Agrawal, Dominators, super blocks, and program coverage, in: Proceedings of the 21st Symposium on Principles of Programming Languages, Portland, OR, January 1994, pp. 25-34.
3. Agrawal H., Li J.J., Wong W.E.et al. Mining system tests to aid software maintenance. IEEE Computer. 31(7):1998;64-73.
4. Atlee J.M., Gannon J. State-based model checking of event-driven systems requirements. IEEE Transactions on Software Engineering. 19(1):1993;24-40.
5. Belina F., Hogrefe D., Sarma A. SDL with Applications from Protocol Specification. 1991;Prentice-Hall, Englewood Cliffs, NJ.
6. Bourhfir C., Dssouli R., Aboulhamid E.M., Rico N. A test case generation tool for conformance testing of SDL specifications. Proceedings of the 9th SDL Forum, Montreal, Canada. June 1999;405-419 Elsevier, Amsterdam.
7. Bromstrup L., Hogrefe D. TESDL: experience with generating test cases from SDL specifications. Proceedings of the 4th SDL Forum. 1989;267-279 Elsevier, Amsterdam.
8. Clark E., Wing J. Formal methods: state-of-the-art and future directions. ACM Computing Surveys. 28(4):1996;626-643.
9. Clarke L.A., Podgurski A., Richardson D.J., Zeil S.J. A formal evaluation of data flow path selection criteria. IEEE Transactions on Software Engineering. 15(11):1989;1318-1332.
10. Ellsberger J., Hogrefe D., Sarma A. SDL: Formal object-oriented language for communicating systems. 1997;Prentice-Hall, Englewood Cliffs, NJ.
11. Ek A., Grabowski J., Hogrefe D., Jerome R., Koch B., Schmitt M. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. Proceedings of the 8th SDL Forum, Evry, France. September 1997;Elsevier, Amsterdam.
12. Frankl P.G., Weyuker E.J. A formal analysis of the fault-detecting ability testing methods. IEEE Transactions on Software Engineering. 19(3):1993;202-213.
13. N. Goga, Comparing TorX, Autolink, TGV and UIO test algorithms, in: Proceedings of the 10th SDL Forum, Copenhagen, Denmark, June 2001, Lecture Notes in Computer Science, vol. 2078, Springer, Berlin, 2001, pp. 379-402.
14. Grabowski J., Koch B., Scmitt M., Hogrefe D. SDL and MSC-based test generation for distributed test architectures. Proceedings of the 9th SDL Forum, Montreal, Canada. June 1999;389-404 Elsevier, Amsterdam.
15. Hamlet R.G., Taylor R. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering. 16(12):1990;1402-1411.
16. J.R. Horgan, S.A. London, Data flow coverage and the C language, in: Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification, Victoria, BC, Canada, October 1991, pp. 87-97.
17. Luckham D.C., Kenney J.J., Augustin L.M., Vera J., Bryan D., Mana W. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering. 21(4):1995;336-354.
18. Luo G., Das A., Bochmann G. Software test selection based on SDL specification with Save. Proceedings of 5th SDL Forum, Glasgow. 1991;313-324 Elsevier, Amsterdam.
19. F. Kristoffersen, L. Verhaard, M. Zeeberg, Test derivation for SDL based on ACTs, in: Proceedings of FORTE'92, Lannion, France, 1992, pp. 373-388.
20. Kruchten P.B. The 4. + 1 view model of architecture IEEE Software. 12(6):1995;42-50.
21. J.J. Li and J.R. Horgan, A tool for diagnosis and testing software design specifications, in: Proceedings of International Conference on Dependable Systems and Networks, New York, NY, June 2000.
22. J.J. Li, W.E. Wong, Automatic test generation from communicating extended finite state machine (CEFSM)-based models, in: Proceedings of International Symposium on Object-Oriented Teal-time Distributed Computing, Washington, DC, May 2002, pp. 181-185.
23. P. Piwowarski, M. Ohba, J. Caruso, Coverage measurement experience during function test, in: Proceedings of International Conference on Software Engineering, Baltimore, MD, May 1993, pp. 287-301.
24. Rapps S., Weyuker E.J. Selecting software test data using data flow information. IEEE Transactions on Software Engineering. SE-11(4):1985;367-375.
25. J. Offutt, A. Abdurazik, Generating tests from UML specifications, in: Proceedings of International Conference on the Unified Modeling Language, Fort Collins, CO, October 1999, pp. 416-429.
26. N. Sidorova, M. Steffen, Verifying large SDL-specifications using model checking, in: Proceedings of the 10th SDL Forum, Copenhagen, Denmark, June 2001, Lecture Notes in Computer Science, vol. 2078, Springer, Berlin, 2001, pp. 403-420.
27. Tanenbaum A.S. Computer networks. 1996;Prentice-Hall, Upper Saddle River, NJ.
28. Telelogic Tau 4.3 Telelogic AB, Malmo, Sweden, 2002.
29. Ural H., Saleh K., Williams A. Test generation based on control and data dependencies within system specifications in SDL. Computer Communications. 23(7):2000;609-627.
30. Wilde N., Scully M.S. Software reconnaissance: mapping program features to code. Software Maintenance: Research and Practice. 7(1):1995;49-62.
31. W.E. Wong, J.R. Horgan, S. London, A.P. Mathur, Effect of test set size and block coverage on fault detection effectiveness, in: Proceedings of International Symposium on Software Reliability Engineering, Monterey, CA, November 1994, pp. 230-238.
32. Wong W.E., Horgan J.R., London S., Mathur A.P. Effect of test set minimization on fault detection effectiveness. Software-Practice and Experience. 28(4):1998;347-369.
33. W.E. Wong, S.S. Gokhale, J.R. Horgan, K.S. Trivedi, Locating program features using execution slices, in: Proceedings of Symposium on Application-Specific Systems and Software Engineering Technology, Richardson, TX, March, 1999.
34. W. Zage, D. Zage, J.M. McGrew, N. Sood, Using design metrics to identify stress points in SDL designs, Technical Report SERC-TR-176-P, Ball State University, Muncie, Indiana, 1998.