Evaluating testing strategies for imaging software by means of mutation analysis

IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

Volumn , Issue , 2009, Pages 205-209

  Just, René ^a   Schweiggert, Franz ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

IMAGING SOFTWARE; MUTATION ANALYSIS; ORACLE PROBLEM; TESTING STRATEGIES;

SOFTWARE TESTING; TECHNICAL PRESENTATIONS; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 69949084268     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2009.20     Document Type: Conference Paper

References (23)

1. J. Andrews, L. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pages 402-411. ACM, 2005.
2. R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 1999.
3. T. Budd. Mutation Analysis of Program Test Data. PhD thesis, Yale University, 1980.
4. T. Chen, F. Kuo, Y. Liu, and A. Tang. Metamorphic testing and testing with special values. In Proceedings of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2004), pages 128-134, 2004.
5. T. Y. Chen, F. C. Kuo, T. T. H., and Z. Q. Zhou. Metamorphic testing and beyond. In Proceedings of the International Workshop on Software Technology and Engineering Practice (STEP 2003), Los Alamitos Californa, 2004. IEEE Computer Society Press.
6. T. Y. Chen, T. Tse, and Z. Zhou. Fault based testing in the absence of an oracle. In Proceedings of the 25th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2001), pages 172-178. IEEE Computer Society, 2001.
7. T. Y. Chen, T. H. Tse, and Z. Z. Fault-based testing without the need of oracles. Information and Software Technology, 44(15):923-931, 2002.
8. C. Christopoulos, A. Skodras, and E. T. The JPEG2000 still image coding system: an overview. Transaction on Consumer Electronics, 46(4):1103-1127, 2000.
9. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11:34-41, 1978.
10. R. Guderlei, R. Just, C. Schneckenburger, and F. Schweiggert. Benchmarking Testing Strategies with Tools from Mutation Analysis. In Proceedings of the First Software Testing Benchmark Workshop, 2008 (TESTBENCH08), 2008.
11. R. Guderlei and J. Mayer. Towards automatic testing of imaging software by means of random and metamorphic testing. International Journal on Software Engineering and Knowledge Engineering (accepted; Special Issue on Quality Software, Invited extended version), 18(3), 2008.
12. JJ2000. Official web site of the jj2000 project. http://jj2000.epfl.ch.
13. Jpeg. Official site of the joint photographic experts group. http://www.jpeg.org.
14. K. N. King and A. J. Offutt. A fortran language system for mutation-based software testing. Software Practice and Experience, 21(7):685-718, 1991.
15. Y.-S. Ma, Y. R. Kwon, and J. Offutt. Inter-class mutation operators for java. In Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), pages 352-366, 2002.
16. Y.-S. Ma, J. Offutt, and Y. R. Kwon. Mujava: an automated class mutation system. Softw. Test., Verif. Reliab., 15(2):97-133, 2005.
17. H. Mills. On the Statistical Validation of Computer Programs. Technical report, IBM FSD Report, 1970.
18. muJava. mujava homepage. http://ise.gmu.edu/ ofut/mujava.
19. A. Ofutt and J. Pan. Detecting equivalent mutants and the feasible path problem. The Journal of Software Testing, Verification, and Reliability, 7(3):165-192, 1997.
20. M. Rabbani and D. Santa-Cruz. The JPEG 2000 Still-Image Compression Standard. In Proceedings of the International Conference in Image Processing, 2001 (ICIP)., 2001.
21. H. Rice. Classes of Recursively Enumerable Sets and Their Decision Problems. Transactions of the American Mathematical Society, 74(2):358-366, 1953.
22. E. Weyuker. On Testing Non-Testable Programs. The Computer Journal, 25(4):465-470, 1982.
23. Z. G. Zhou, D. H. Huang, T. H. Tse, Z. Yang, H. Huang, and T. Y. Chen. Metamorphic testing and its applications. In Proceedings of the 8th International Symposium on Future Software Technology (ISFST 2004). Software Engineers Association, 2004.