A scheme for dynamic detection of concurrent execution of object-oriented software

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2003, Pages 4828-4833

  Chen, Huo Yan ^a   Sun, Yu Xia ^a   Tse, T H ^b  

^a JINAN UNIVERSITY   (China)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Concurrency; Dynamic detection and testing; Object oriented program testing; OBJSA net

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENT ENGINEERING; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; QUALITY ASSURANCE; RELIABILITY;

OBJECT ORIENTED SOFTWARE; PROGRAM TESTING;

SOFTWARE ENGINEERING;

EID: 0242636883     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Battiston E., A. Chizzoni, and F. D. Cindio. Clown as a testbed for concurrent object-oriented concepts. In Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets, pages 131-163. Lecture Notes on Computer Science, Springer, Berlin, 2001.
2. Battiston E., F. de Cindio, and G. Mauri. Modular algebraic nets to specify concurrent systems. IEEE Transactions on Software Engineering, 22 (10): 689-705, 1996.
3. Carver R. H. and K.-C. Tai. Replay and testing for concurrent programs. IEEE Software, 8 (3): 66-74, 1991.
4. Carver R. H. and K.-C. Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24 (6): 471-490, 1998.
5. Chen H. Y. The design and implementation of a prototype for data flow analysis at the method-level of object-oriented testing. In Proceedings of the 2002 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2002), pages 140-145. IEEE Computer Society Press, Los Alamitos, California, 2002.
6. Chen H. Y., 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, 10 (1): 56-109, 2001.
7. Chen H. Y. Race condition and concurrency safety of multithreaded object-oriented programming in Java. In Proceedings of the 2002 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2002), pages 134-139. IEEE Computer Society Press, Los Alamitos, California, 2002.
8. Doong R.-K. and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3 (2): 101-130, 1994.
9. Kung D. C., J. Z. Gao, P. Hsia, Y. Toyoshima, and C. Chen. A test strategy for object-oriented programs. In Proceedings of the 19th Annual International Computer Software and Applications Conference (COMPSAC '95), pages 239-244. IEEE Computer Society Press, Los Alamitos, California, 1995.
10. Smith M. D. and D. J. Robson. A framework for testing object-oriented programs. Journal of Object-Oriented Programming, 5 (3): 45 - 53, 1992.
11. Turner C. D. and D. J. Robson. A state-based approach to the testing of class-based programs. Software: Concepts and Tools, 16 (3): 106-112, 1995.
12. Zhu H. and X. He. A theory of testing high-level Petri nets. In Proceedings of the International Conference on Software: Theory and Practice, 16th IFIP World Computer Congress, pages 443-450. Beijing, China, 2000.