Effectively metamorphic testing based on program path analysis

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 32, Issue 5, 2009, Pages 1002-1013

  Dong, Guo Wei ^a   Nie, Chang Hai ^b,c   Xu, Bao Wen ^b,c  

^a SOUTHEAST UNIVERSITY   (China)

^b Jiangsu Institute of Software Quality   (China)

^c NANJING UNIVERSITY   (China)

Author keywords

Metamorphic relation; Metamorphic testing; Oracle problem; Path coverage criterion; Software testing

Indexed keywords

METAMORPHIC RELATION; METAMORPHIC TESTING; MUTATION ANALYSIS; ORACLE PROBLEM; PATH ANALYSIS; PATH-COVERAGE CRITERION; TEST CASE; TESTING ALGORITHM; TESTING CRITERIA;

COMPUTER SOFTWARE SELECTION AND EVALUATION; REGRESSION ANALYSIS; SOFTWARE TESTING;

TESTING;

EID: 66349087134     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1016.2009.01002     Document Type: Article

References (30)

1. Weyuker E J. On testing non-testable programs. The Computer Journal, 1982, 25(4): 465-470
2. Chen T Y, Cheung S C, Yiu S M. Metamorphic testing: A new approach for generating next test cases. Hong Kong University, Hong Kong: Technical Report HKUST-CS98-01, 1998
3. Chen T Y, Kuo F C, Liu Y, Tang A. Metamorphic testing and testing with special values//Proceedings of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'04). Beijing, China, 2004: 128-134
4. Wu P, Shi X C, Tang J J, Lin H M, Chen T Y. Metamorphic testing and special case testing: A case study. Journal of Software, 2005, 16(7): 1210-1220(in Chinese)
5. Wu P. Iterative metamorphic testing//Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05). Edinburgh, UK, 2005: 19-24
6. Dong G W, Nie C H, Xu B W, Wang L L. An effective iterative metamorphic testing algorithm based on program path analysis//Proceedings of the 7th Annual International Conference on Quality Software (QSIC'07). Oregon, USA, 2007: 292-297
7. Chen T Y, Huang D H, Tse T H, Zhou Z Q. Case studies on the selection of useful relations in metamorphic testing//Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'04). Madrid, Spain, 2004: 569-583
8. Mayer J, Guderlei R. An empirical study on the selection of good metamorphic relations//Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06). Chicago, USA, 2006: 475-484
9. Chen T Y, Tse T H, Zhou Z Q. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. ACM SIGSOFT Software Engineering Notes, 2002, 27(4): 191-195
10. Chen T Y, Tse T H, Zhou Z Q. Fault-based testing without the need of oracles. Information and Software Technology, 2003, 45(1): 1-9
11. Beydeda S. Self-metamorphic-testing components//Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06). Chicago, USA, 2006: 265-272
12. Tse T H. Research directions on model-based metamorphic testing and verification//Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05). Edingburgh, Scotland, 2005: 42
13. Chen T Y, Feng J, Tse T H. Metamorphic testing of programs on partial differential equations: A case study//Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC'02). Oxford, England, 2002: 327-333
14. Zhou Z Q, Huang D H, Tse T H, Yang Z Y, Huang H T, Chen T Y. Metamorphic testing and its applications//Proceedings of the 8th International Symposium on Future Software Technology (ISFST'04). Xi'an, China, 2004: 23-28
15. Mayer J, Guderlei R. On random testing of image processing applications//Proceedings of the 6th Annual International Conference on Quality Software (QSIC'06). Beijing, China, 2006: 85-92
16. Chan W K, Ho J C F, Tse T H. Piping classification to metamorphic testing: An empirical study towards better effectiveness for the identification of failures in mesh simplification programs//Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007). Beijing, China, 2007: 397-404
17. Sim K Y, Pao W K S, Lin C. Metamorphic testing using geometric interrogation technique and its application//Proceedings of the 2nd International Conference of Electrical Engineering/Electronics, Computer, Telecommunications, and Information Technology (ECTI'05). Bangkok, Thailand, 2005: 91-95
18. Tse T H, Yau S S, Chan W K, Heng L, Chen T Y. Testing context-sensitive middleware-based software applications//Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04). Hong Kong, China, 2004: 458-466
19. Chan W K, Chen T Y, Heng L, Tse T H, Yau S S. A metamorphic approach to integration testing of context-sensitive middleware-based applications//Proceedings of the 5th Annual International Conference on Quality Software (QSIC'05). Melbourne, Australia, 2005: 241-249
20. Chan W K, Cheung S C, Leung K P H. Towards a metamorphic testing methodology for service-oriented software applications//Proceedings of the 1st International Conference on Services Engineering (SEIW'05), in Collaboration with the 5th International Conference on Quality Software (QSIC'05). Melbourne, Australia, 2005: 470-476
21. Chan W K, Cheung S C, Leung K P H. A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research, 2007, 4(1): 60-80
22. Chen H Y, Tse T H, Chan F T, Chen T Y. In black and white: An integrated approach to class-level testing of object-oriented programs. ACM Transactions on Software Engineering and Methodology, 1998, 7(3): 250-295
23. Chen H Y, Tse T H, Chen T Y. TACCLE: A methodology for object-oriented software testing at the class and cluster levels. ACM Transactions on Software Engineering and Methodology, 2001, 10(1): 56-109
24. Doong R K, Frankl P G. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 1994, 3(2): 101-130
25. Tse T H, Lau F C M, Chan W K, Liu P C K, Luk C K F. Testing of object-oriented industrial software without precise oracles or results. Communications of the ACM, 2007, 50(8): 78-85
26. Offutt A J, Lee A, Rothermel G, Untch R H, Zapf C. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology, 1996, 5(2): 99-118
27. Jorgensen P C. Software Testing: A craftsman's Approach. 2nd Edition. Lowa, USA: CRC Press, 2003
28. King J C, Thomas J. Symbolic execution and program testing. Communications of the ACM, 1976, 19(7): 385-394
29. Coward P D. Symbolic execution and testing. Information and Software Technology, 1991, 3(3): 53-64
30. Sthamer H. The automatic generation of software test data using genetic algorithms[Ph. D. dissertation]. Pontyprid, Great Britain: University of Glamorgan, 1996