Automating software tests with partial oracles in integrated environments

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2010, Pages 91-94

  Just, René ^a   Schweiggert, Franz ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

Integration testing; Partial oracles; Test automation

Indexed keywords

AUTOMATICALLY TEST; IMAGE PROCESSING APPLICATIONS; INTEGRATED ENVIRONMENT; INTEGRATION TESTING; MUTATION ANALYSIS; ORACLE PROBLEM; SOFTWARE TEST; TEST AUTOMATION; VIABLE SOLUTIONS;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; IMAGE PROCESSING; SOFTWARE ENGINEERING;

TESTING;

EID: 77954933107     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1808266.1808280     Document Type: Conference Paper

References (18)

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. A. Bertolino. Software Testing Research: Achievements, Challenges, Dreams. In Proceedings of the International Conference on Software Engineering (ICSE 2007), pages 85-103. IEEE Computer Society Washington, DC, USA, 2007.
3. R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 1999.
4. T. Budd. Mutation Analysis of Program Test Data. PhD thesis, Yale University, 1980.
5. 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.
6. 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.
7. C. Christopoulos, A. Skodras, and E. T. The JPEG2000 still image coding system: an overview. Transaction on Consumer Electronics, 46(4):1103-1127, 2000.
8. 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.
9. 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.
10. JJ2000. Official web site of the jj2000 project. http://jj2000.epfl.ch.
11. Jpeg. Official site of the joint photographic experts group. http://www.jpeg.org.
12. 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.
13. Y.-S. Ma, J. Offutt, and Y. R. Kwon. Mujava: an automated class mutation system. Softw. Test., Verif. Reliab., 15(2):97-133, 2005.
14. A. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology, 5(2):99-118, 1996.
15. 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.
16. 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.
17. E. Weyuker. On Testing Non-Testable Programs. The Computer Journal, 25(4):465-470, 1982.
18. 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.