IBM Skip to main content
  Home     Products & services     Support & downloads     My account  
  Select a country  
Journals Home  
  Systems Journal  
  ·  Current Issue  
  ·  Recent Issues  
  ·  Papers in Progress  
  ·  Search/Index  
  ·  Orders  
  ·  Description  
  ·  Author's Guide  
Journal of Research
and Development
  Staff  
  Contact Us  
  Related links:  
     IBM Software
   Engineering		  
     JProbe Threadalyzer  
     SPIN model checker  
IBM Systems Journal  
Volume 41, Number 1, 2002
Software Testing and Verification
 Table of contents: arrowHTML arrowPDF arrowASCII   This article: arrowHTML arrowPDF arrowASCII arrowCopyright info
   

Multithreaded Java program test generation - References
by O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur

Cited references and notes

  1. S. K. Damodaran-Kamal and J. M. Francioni, “Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs,” Proceedings of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging, ACM, New York (1993), pp. 118–128.
  2. S. K. Damodaran-Kamal and J. M. Francioni, “Testing Races in Parallel Programs with an OtOt Strategy,” Proceedings of the 1994 International Symposium on Software Testing and Analysis, ACM, New York (1994), pp. 216–227.
  3. B. Richards and J. R. Larus, “Protocol-Based Data-Race Detection,” Proceedings of the 2nd SIGMETRICS Symposium on Parallel and Distributed Tools, ACM, New York (1998), pp. 40–47.
  4. S. Savage, “Eraser: A Dynamic Race Detector for Multithreaded Programs,” ACM Transactions on Computer Systems 15, No. 4, 391–411 (1997).
  5. E. Itzkovitz, A. Schuster, and O. Zeev-Ben-Mordehai, “Towards Integration of Data-Race Detection in DSM Systems,” Journal of Parallel and Distributed Computing 59, No. 2, 180–203 (1999).
  6. See Appendix E in B. Lewis and D. J. Berg, Threads Primer, Prentice Hall, Englewood Cliffs, NJ (1996).
  7. J.-D. Choi and H. Srinivasan, “Deterministic Replay of Java Multithreaded Applications,” Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, ACM, New York (1998).
  8. J. M. Stone, “Debugging Concurrent Processes: A Case Study,” Proceedings of the ACM SIGPLAN Conference on Programming Language and Implementation (PLDI), ACM, New York (1988), pp. 145–153.
  9. E. Farchi, M. Factor, and Y. Talmor, “Testing for Timing-Dependent and Concurrency Faults,” Proceedings of Software Testing Analysis and Review, Software Quality Engineering (1998).
  10. S. D. Stoller, “Model-Checking Multi-Threaded Distributed Java Programs,” Proceedings of the 7th International SPIN Workshop on Model Checking of Software, Springer-Verlag, New York (2000).
  11. G. J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, Englewood Cliffs, NJ (1991). See section 11.3.
  12. L. Lamport, “Time, Clocks, and the Ordering of Events in a Distributed System,” Communications of the ACM 21, No. 7, 558–565 (1978).
  13. N. A. Lynch, Distributed Algorithms, Morgan Kaufmann, San Francisco, CA (1996).
  14. A. Y. H. Zomaya, K. C. Tai, and R. H. Carver, “Testing of Distributed Programs,” Parallel and Distributed Computing Handbook, A. Y. H. Zomaya, Editor, McGraw-Hill, Inc., New York (1996).
  15. R. N. Taylor, D. L. Levine, and C. D. Kelly, “Structural Testing of Concurrent Programs,” IEEE Transactions on Software Engineering 18, No. 3, 206–215 (1992).
  16. C.-S. Yang, A. Souter, and L. Pollock, “All-du-path Coverage for Parallel Programs,” ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'98), ACM, New York (1998), pp. 153–162.
  17. B. Marick, A Tutorial Introduction to GCT, http://www.testingcraft.com/gct-tutorial.pdf.
  18. J. Offutt and R. Untch, “Mutation 2000: Uniting the Orthogonal,” Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, IEEE, New York (2000), pp. 45–55.
  19. We determine whether a method is interrupted by keeping a global static variable of the last executing thread. When a new concurrent event is executed, we check if the current thread is the last executing thread. When the current thread and the last executing thread do not match, a context switch has occurred.
  20. See the Java Developer Connection Technical Tips, dated March 28, 2000, at http://developer.java.sun.com/developer/TechTips/2000/tt0328.html.
  21. D. Lea, Concurrent Programming in Java, Second Edition, Addison-Wesley Publishing Co., Reading, MA (2000).
  22. R. Konuru, H. Srinivasan, and J.-D. Choi, “Deterministic Replay of Distributed Java Applications,” Proceedings of the 14th International Parallel and Distributed Processing Symposium (IPDPS'00) (2000). See http://www.ipdps.org/.
  23. R. N. Taylor, “A General-Purpose Algorithm for Analyzing Concurrent Programs,” Communications of the ACM 26, 362–376 (May 1983).
  24. S. Weiss, “A Formal Framework for the Study of Concurrent Program Testing,” Proceedings of the 2nd Workshop on Software Testing, Analysis and Verification, IEEE, New York (1988), pp. 106–113.
  25. S. Morasca and M. Pezze, “Using High Level Petri Nets for Testing Concurrent and Real Time Systems,” in Real-Time Systems: Theory and Applications, H. Zedan, Editor, Elsevier Science Publishers, Amsterdam, Holland (1989), pp. 119–131.
About IBM | Privacy | Legal | Contact