A framework of reachability testing for java multithread programs

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2004, Pages 2730-2734

  Li, Shuang Quan ^a   Chen, Huo Yan ^a   Sun, Xia Yu ^a  

^a JINAN UNIVERSITY   (China)

Author keywords

Multithread; Reachability testing; Synchronization sequence; Testing framework

Indexed keywords

MULTITHREAD; RECHABILITY TESTING; SYNCHRONIZATION SEQUENCE; TESTING FRAMEWORK;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; SOFTWARE PROTOTYPING; SYNCHRONIZATION;

OBJECT ORIENTED PROGRAMMING;

EID: 15744383475     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1400744     Document Type: Conference Paper

References (10)

1. H.Y. Chen, T. H. Tse, and T. Y. Chen, "TACCLE: a methodology for object-oriented software testing at the class and cluster levels", ACM Transactions on Software Engineering and Methodology, Vol. 10, No. 1, pp. 56-109, Jan. 2001.
2. H.Y. Chen, "The design and implementation of a prototype for data flow analysis at the method- level of object-oriented testing", Proceedings of the 2002 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2002), pp. 140-145, IEEE Computer Society Press, Los Alamitos, California, Oct. 2002.
3. R.K. Doong. and P. G. Frankl, "The ASTOOT approach to testing object-oriented programs", ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 2, pp. 101-130, April 1994.
4. D. C. Kung, J. Z. Gao, P. Hsia, Y. Toyoshima, and C. Chen, "A test strategy for object-oriented programs", Proceedings of the 19th Annual International Computer Software and Applications Conference (COMPSAC '95), pp. 239-244, IEEE Computer Society Press, Los Alamitos, California, 1995.
5. M. D. Smith and D. J. Robson, "A framework for testing object-oriented programs", Journal of Object-Oriented Programming, Vol. 5, No. 3, pp. 45-53, 1992.
6. C. D. Turner and D. J. Robson, "A state-based approach to the testing of class-based programs", Software: Concepts and Tools, Vol. 16, No. 3, pp. 106-112, 1995.
7. Yan Fang, M. Z. Jin, and C. Liu, "Dynamic analysis and replay of Java concurrent programs", Computer engineering and applications, No. 12, pp. 59-63, Dec. 2001.
8. Qing Gu, D. X. Chen, J. Han, L. Xie, and Z. X. Sun, "A testing framework for object-oriented distributed programs", Journal of software, Vol. 11, No. 8, pp. 1053-1059, Nov. 2000.
9. th Inter, workshop on program comprehension, pp. 190-197, 1998.
10. G. H. Hwang, K. C. Tai, and T. L. Huang, "Reachability testing: an approach to testing concurrent software", Int. Journal on software engineering and knowledge engineering, Vol. 5, No. 4, pp. 246-254, 1995.