Case studies on testing with compositional metamorphic relations

Journal of Southeast University (English Edition)

Volumn 24, Issue 4, 2008, Pages 437-443

  Dong, Guowei ^a,b   Xu, Baowen ^a,b   Chen, Lin ^a,b   Nie, Changhai ^a,b   Wang, Lulu ^a,b  

^a SOUTHEAST UNIVERSITY   (China)

^b Jiangsu Institute of Software Quality   (China)

Author keywords

Compositional metamorphic relation; Metamorphic testing; Software testing

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT DETECTION; REAL TIME SYSTEMS;

COMPOSITIONAL METAMORPHIC RELATION; DETECTION PERFORMANCE; METAMORPHIC TESTING; TEST CASE; TESTING EFFICIENCIES;

SOFTWARE TESTING;

EID: 59649122064     PISSN: 10037985     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. Weyuker E J. On testing non-testable programs [J]. 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 [R]. Hong Kong: Department of Computer Science of Hong Kong University, 1998.
3. Chen T Y, Feng J, Tse T H. Metamorphic testing of programs on partial differential equations: A case study [C] //Proc of the 26th Annual International Computer Software and Applications Conference. Washington DC: IEEE Computer Society, 2002: 327-333.
4. Gotlieb A, Botella B. Automated metamorphic testing [C] //Proc of the 27th Annual International Computer Software and Applications Conference. Washington DC: IEEE Computer Society, 2003: 34.
5. Zhou Z Q, Huang D H, Tse T H, et al. Metamorphic testing and its applications [C] //Proc of the 8th International Symposium on Future Software Technology. Washington DC: IEEE Computer Society, 2004: 23-28.
6. Tse T H, Yau S S, Chan W K, et al. Testing context-sensitive middleware-based software applications [C] //Proc of the 28th Annual International Computer Software and Applications Conference. Washington DC: IEEE Computer Society, 2004: 458-466.
7. Chan W K, Chen T Y, Heng L, et al. A metamorphic approach to integration testing of context-sensitive middleware-based applications [C] //Proc of the 5th Annual International Conference on Quality Software. Washington DC: IEEE Computer Society, 2005: 241-249.
8. Chan W K, Cheung S C, Leung K P H. Towards a metamorphic testing methodology for service-oriented software applications [C] //Proc of the 1st International Conference on Services Engineering. Washington DC: IEEE Computer Society, 2005: 470-476.
9. Chan W K, Cheung S C, Leung R P H. A metamorphic testing approach for online testing of service-oriented software applications [J]. International Journal of Web Services Research, 2007, 2 (1): 60-80.
10. Chen T Y, Huang D H, Tse T H, et al. Case studies on the selection of useful relations in metamorphic testing [R]. Hong Kong: Department of Computer Science of Hong Kong University, 1998.
11. Chen T Y, Tse T H, Zhou Z Q. Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing [J]. ACM SIGSOFT Software Engineering Notes, 2002, 27 (4): 191-195.
12. Chen T Y, Tse T H, Zhou Z Q. Fault-based testing without the need of oracles [J]. Information and Software Technology, 2003, 45 (1): 1-9.
13. Wu P, Shi X C, Tang J J, et al. Metamorphic testing and special case testing: A case study [J]. Journal of Software, 2005, 16 (7): 1210-1220.
14. Wu P. Iterative metamorphic testing [C] //Proc of the 29th Annual International Computer Software and Applications Conference. Washington DC: IEEE Computer Society, 2005: 19-24.
15. Offutt A J, Lee A, Rothermel G, et al. An experimental determination of sufficient mutant operators [J]. ACM Transactions on Software Engineering and Methodology, 1996, 5 (2): 99-118.