A case study in testing distributed systems

Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001

Volumn , Issue , 2001, Pages 20-29

  Long, B ^a   Strooper, P ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; LIFE CYCLE; MIDDLEWARE; SOFTWARE TESTING;

DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; MIDDLEWARE SYSTEM; OR APPLICATIONS; SYSTEM TESTING; THIRD PARTIES; TOOLS AND TECHNIQUES; UNIT TESTING;

INTEGRATION TESTING;

EID: 84862330229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DOA.2001.954068     Document Type: Conference Paper

References (22)

1. K. Beck. Extreme Programming Explained. Addison Wesley, 2000.
2. R. Binder. Testing object-oriented software: a survey. Software Testing, Verification and Reliability, 6:125-252, 1996.
3. P. Brinch Hansen. Reproducible testing of monitors. Software-Practice and Experience, 8:721-729, 1978.
4. R. Carver and K.-C. Tai. Deterministic execution testing of concurrent Ada programs. In Conference Proceedings on Ada Technology in Context: Application, Development, and Deployment, pages 528-544, 1989.
5. R. 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.
6. A. Chamillard and L. Clarke. Improving the accuracy of Petri net-based analysis of concurrent programs. In Proceedings of the International Symposium on Software Testing and Analysis, pages 24-38, 1996.
7. J. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, pages 48-59, 1998.
8. N. Daley, D. Hoffman, and P. Strooper. Unit operations for automated class testing. Technical Report 00-04, Software Verification Research Centre, The University of Queensland, Jan. 2000.
9. E. Dowling. Testing distributed Ada programs. In Conference Proceedings on Ada Technology in Context: Application, Development, and Deployment, pages 517-527, 1989.
10. M. Fowler. Refactoring: improving the design of existing code. Addison Wesley, 2000.
11. S. Ghosh and A. Mathur. Issues in testing distributed component-based systems. In First ICSE Workshop on Testing Distributed Component-Based Systems, May 1999.
12. C. Harvey and P. Strooper. Testing Java monitors through deterministic execution. In Proceedings of the 2001 Australian Software Engineering Conference, 2001.
13. th International Conference on Technology of Object-Oriented Languages and Systems, pages 239-250. IEEE Computer Society, 2000.
14. D. Hoffman and P. Strooper. Techniques and tools for Java API testing. In Proceedings of the 2000 Australian Software Engineering Conference, pages 235-245. IEEE Computer Society, 2000.
15. T. Katayama, Z. Furukawa, and K. Ushijima. Design and implementation of test-case generation for concurrent programs. In Proceedings of the 1998 Asia-Pacific Software Engineering Conference, pages 262-269. IEEE Computer Society, 1998.
16. T. Katayama, E. Itoh, and Z. Furukawa. Test-case generation for concurrent programs with the testing criteria using interaction sequences. In Proceedings of the 2000 Asia-Pacific Software Engineering Conference, pages 590-597. IEEE Computer Society, 2000.
17. th International Conference on Software Engineering, pages 44-52, 1989.
18. M. Nygard and T. Karsjens. Test infect your enterprise JavaBeans. JavaWorld Journal, May 2000.
19. R. Taylor. A general-purpose algorithm for analyzing concurrent programs. Communications of the ACM, 26(5):362-376, 1983.
20. R. Taylor, D. Levine, and C. Kelly. Structural testing of concurrent programs. IEEE Transactions on Software Engineering, 18(3):206-215, 1992.
21. J. Waldo, G. Wyant, A. Wollrath, and S. Kendall. A note on distributed computing. Technical Report 94-29, Sun Microsystems Laboratories, Inc., California, Nov. 1994.
22. G. Xing and M. Lyu. Testing, reliability, and interoperability issues in the CORBA programming paradigm. In Proceedings of the 2000 Asia-Pacific Software Engineering Conference, pages 530-537, 2000.