A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2003, Pages 198-203

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

^a UNIVERSITY OF JINAN   (China)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Concurrency; Non determinism; Object oriented program testing; OBJSA net

Indexed keywords

SOFTWARE QUALITY; SOFTWARE SYSTEMS;

AUTOMATA THEORY; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING;

SOFTWARE ENGINEERING;

EID: 0345097589     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

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, 10 (1): 56-109, 2001.
2. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3 (2): 101-130, 1994.
3. D. C. Kung, 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.
4. M. D. Smith and D. J. Robson. A framework for testing object-oriented programs. Journal of Object-Oriented Programming, 5 (3): 45-53, 1992.
5. C. D. Turner and D. J. Robson. A state-based approach to the testing of class-based programs. Software: Concepts and Tools, 16(3): 106-112, 1995.
6. R. H. Carver 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.
7. H. Zhu 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.
8. H. Y. Chen. 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.
9. E. Battiston, F. de Cindio, and G. Mauri. Modular algebraic nets to specify concurrent systems. IEEE Transactions on Software Engineering, 22 (10): 689-705, 1996.
10. E. Battiston, 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.
11. H. Y. Chen, Y. X. Sun, and T. H. Tse, "A scheme for dynamic detection of concurrent execution of object-oriented software", in Proceedings of the 2003 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2003), IEEE Computer Society Press, Los Alamitos, California, 2003.
12. J. A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ3. In J. A. Goguen and G. Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, Boston, 2000.
13. R. H. Carver and K.-C. Tai. Replay and testing for concurrent programs. IEEE Software, 8 (3): 66-74, 1991.