Smart debugging software architectural design in SDL

Journal of Systems and Software

Volumn 76, Issue 1, 2005, Pages 15-28

  Wong, W Eric ^a   Sugeta, Tatiana ^a,b   Qi, Yu ^a   Maldonado, Jose C ^b  

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

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Architectural design; Debugging; Execution slice; Fault detection; SDL; Testing

Indexed keywords

C (PROGRAMMING LANGUAGE); COMMUNICATION SYSTEMS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; USER INTERFACES;

ARCHITECTURAL DESIGNS; EXECUTION SLICES; FAULT DETECTION;

PROGRAM DEBUGGING;

EID: 10044295172     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2004.06.026     Document Type: Article

References (21)

1. Agrawal, H., Horgan, J.R., 1990. Dynamic program slicing. In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, June.
2. Agrawal, H., Horgan, J.R., London, S., Wong, W.E., 1995. Fault localization using execution slices and dataflow tests. In: Proceedings of the 6th IEEE International Symposium on Software Reliability Engineering, Toulouse, France, October, pp. 143-151.
3. Agrawal, H., Horgan, J.R., Krauser, E.W., London, S., 1993. Incremental regression testing. In: Proceedings of IEEE Conference on Software Maintenance, Montreal, Canada, September, pp. 348-357.
4. Agrawal, H., DeMillo, R.A., Spafford, E.H., 1996. Debugging with dynamic slicing and backtracking. Software Practice & Experience 23 (6), 589-616.
5. Belina, F., Hogrefe, D., Sarma, A., 1991. SDL with Applications from Protocol Specification. Prentice-Hall.
6. Cancellieri, A., Giorgi, A., 1994. Array preprocessor user manual. Technical Report IDS-RT94/052.
7. DeMillo, R.A., Pan, H., Spafford, E.H., 1997. Failure and fault analysis for software debugging. In: Proceedings of 21st International Computer Software and Applications Conference, Washington, DC, August, pp. 515-521.
8. Ellsberger, J., Hogrefe, D., Sarma, A., 1997. SDL: Formal object-oriented language for communicating systems. Prentice-Hall.
9. ISO TC97/SC21, 1990. Guidelines for the application of Estelle, LOTOS and SDL, ISO TR 10167.
10. Jones, J.A., Harrold, M.J., Stasko, J., 2002. Visualization of test information to assist fault localization. In: Proceedings of the 24th International Conference on Software Engineering Florida, USA, May, pp. 467-477.
11. Korel, B., 1988. PELAS Program Error-Locating Assistant System. IEEE Transactions on Software Engineering 14 (9), 1253-1260.
12. Korel, B., Laski, J., 1988. Dynamic program slicing. Information Processing Letters 29 (3), 155-163.
13. Kruchten, P.B., 1995. The 4 + 1 view model of architecture. IEEE Software 12 (6), 42-50.
14. Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mana, W., 1995. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering 21 (4), 336-354.
15. Lyle, J.R., Weiser, M., 1987. Automatic program bug location by program slicing. In: Proceedings of the 2nd International Conference on Computer and Applications, Beijing, China, June, pp. 877-883.
16. Telelogic Tau 4.3, 2002. Telelogic AB, Malmo, Sweden.
17. Turner, K.J. (Ed.), 1993. Using Formal Description Techniques: An Introduction to Estelle, Lotos and SDL. John Wiley.
18. Ural, H., Saleh, K., Williams, A., 2000. Test generation based on control and data dependencies within system specifications in SDL. Computer Communications 23 (7), 609-627.
19. Weiser, M., 1982. Programmers use slices when debugging. Communications of the ACM 25 (7), 446-452.
20. Weiser, M., 1984. Program slicing. IEEE Transactions on Software Engineering SE-10 (4), 352-357.
21. Wong, W.E., Sugeta, T., Li, J.J., Maldonado, J.C., 2003. Coverage Testing Software Architectural Design in SDL. Journal of Computer Networks 42 (3), 359-374.