Towards measurement of testability of concurrent object-oriented programs using fault insertion: A preliminary investigation

SCAM 2002 - Proceedings, 2nd IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2002, Pages 17-25

  Ghosh, S ^a  

^a Colorado State University   (United States)

Author keywords

Concurrent programs; faults; Java; mutation analysis; software testing; test adequacy; testability

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; FAULTING; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING; STATIC ANALYSIS;

CONCURRENT PROGRAM; JAVA; MUTATION ANALYSIS; TEST ADEQUACIES; TESTABILITY;

OBJECT ORIENTED PROGRAMMING;

EID: 84962201591     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2002.1134101     Document Type: Conference Paper

References (29)

1. H. Agrawal, R. DeMillo, R. Hathaway, W. M. Hsu, W. Hsu, E. Krauser, R. J. Martin, A. Mathur, and E. Spafford. Design of Mutant Operators for the C Programming Language. Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, March 1989.
2. J. Bieman, S. Ghosh, and R. Alexander. "A Technique for Mutation of Java Objects". In Proceedings of Automated Software Engineering (ASE 2001), San Diego, USA, November 2001.
3. R. Carver and K. C. Tai. Deterministic Execution Testing of Concurrent Ada Programs. In Annual International Conference on Ada, Conference proceedings on Ada technology in context: application, development, and deployment, pages 528-544, Pittsburgh, Pennsylvania USA, October 22-26 1989.
4. I. S. Chung, H. S. Kim, H. S. Bae, Y. R. Kwon, and B. S. Lee. Testing of Concurrent Programs Based on Message Sequence Charts. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, Los Angeles, California USA, May 17-18 1999.
5. J. C. Corbett. An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. In Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA), pages 204-215, Seattle, Washington, USA, August 17-19 1994.
6. J. C. Corbett. Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Transactions on Software Engineering, 22(3):1-22, March 1996.
7. M. E. Delamaro, J. C. Maldonado, M. Jino, and M. L. Chaim. PROTEUM: Uma ferramenta de teste baseada na analise de mutantes (proteum: A test tool based on mutation analysis). In Software Tools Proceedings of the VII Brazilian Symposium on Software Engineering, October 1993.
8. M. E. Delamaro, J. C. Maldonado, and A. P. Mathur. Integration Testing Using Interface Mutation. In Proceedings of International Symposium on Software Reliability Engineering (ISSRE '96), pages 112-121, April 1996.
9. R. A. DeMillo, D. S. Guindi, K. N. King, and W. M. McCracken. An Overview of the Mothra Software Testing Environment. Technical Report SERC-TR-3-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, August 1987.
10. R. A. DeMillo and A. J. Offutt. Constraint-based Automatic Test Data Generation. IEEE Transactions on Software Engineering, 17(9):900-910, September 1991.
11. M. B. Dwyer and L. A. Clarke. Data Flow Analysis for Verifying Properties of Concurrent Programs. In Proceedings of the second ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 62-75, New Orleans, Louisiana USA, December 6-9 1994.
12. S. Ghosh and A. P. Mathur. "Interface Mutation". Journal of Software Testing, Verification and Reliability, 11(4):227-247, December 2001.
13. P. Godefroid. Verisoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. In Proceedings of the 9th Conference on Computer Aided Verification, Lecture Notes in Computer Science, vol. 1254, pages 476-479, Haifa, June 1997.
14. J. B. Goodenough and S. L. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, 1(2):156-173, 1975.
15. D. Jackson and M. Woodward. "Parallel Firm Mutation of Java Programs". In Proceedings of Mutation 2000, Kluwer Academic Publishers, pages 55-61, San Jose, USA, October 2000.
16. S. Kim, J. Clark, and J. McDermid. "Investigating the Effectiveness of Object-Oriented Strategies with the Mutation Method". Journal of Software Testing, Verification and Reliability, 11(3):207-225, December 2001.
17. S. Kim, J. A. Clark, and J. A. McDermid. "The Rigorous Generation of Java Mutation Operators Using HAZOP". In Proceedings of the 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA'99), Paris, France, December 1999.
18. S. Kim, J. A. Clark, and J. A. McDermid. "Class Mutation: Mutation Testing for Object Oriented Programs". In Proceedings of the FMES 2000, 2000.
19. D. Lea. Concurrent Programming in Java Second Edition Design Principles and Patterns. The Java Series. Addison Wesley, USA, November 2000.
20. A. P. Mathur and W. E. Wong. A Theoretical Comparison Between Mutation and Data Flow Based Criteria. In Proceedings 22nd Annual ACM Computer Science Conference on scaling up: meeting the challenge of complexity in realworld computing applications, pages 38-45, Phoenix, Arizona, USA, March 8-10 1994.
21. R. H. B. Netzer and B. P. Miller. Improving the Accuracy of Data Race Detection. In Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 133-144, Williamsburg, Virginia USA, April 21-24 1991.
22. A. J. Offutt, J. Voas, and J. Payne. Mutation Operators for Ada. Technical Report ISSE-TR-96-09, Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, March 1996.
23. R. A. DeMillo et al. An Extended Overview of the MOTHRA Testing Environment. In Workshop of Software Testing, Verification and Analysis, July 1988.
24. R. N. Taylor, D. L. Levine, and C. D. Kelly. Structural Testing of Concurrent Programs. IEEE Transactions on Software Engineering, 18(3):206-215, March 1992.
25. J. M. Voas. PIE: A Dynamic Failure-based Technique. IEEE Transactions on Software Engineering, 18(8):717-727, August 1992.
26. J. M. Voas and G. McGraw. Software Fault Injection: Innoculating Programs Against Errors. John Wiley and Sons, January 1998.
27. J. M. Voas and K. W. Miller. "Software Testability: The New Verification". IEEE Software, pages 17-28, May 1995.
28. C.-S. D. Yang, A. L. Souter, and L. L. Pollock. All-du-path Coverage for Parallel Programs. In Proceedings of ACM SIGSOFT international symposium on Software testing and analysis, pages 153-162, Clearwater Beach, Florida, USA, March 2-5 1998.
29. M. Young. State-Space Analysis as an Aid to Testing. In Proceedings of the 1994 International Symposium on Software testing and Analysis, page 203, Seattle, Washington USA, August 17-19 1994.