[1] Dong Guowei, Xu Baowen, Chen Lin, Nie Changhai, et al. Case studies on testing with compositional metamorphic relations [J]. Journal of Southeast University (English Edition), 2008, 24 (4): 437-443. [doi:10.3969/j.issn.1003-7985.2008.04.009]

Copy

Case studies on testing with compositional metamorphic relations()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

24

Issue:

2008 4

Page:

437-443

Research Field:

Computer Science and Engineering

Publishing date:

2008-12-30

Info

Title:

Case studies on testing with compositional metamorphic relations

Author(s):

Dong Guowei;  Xu Baowen;  Chen Lin;  Nie Changhai;  Wang Lulu

School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
Jiangsu Institute of Software Quality, Nanjing 210096, China

Keywords:

software testing;  metamorphic testing;  compositional metamorphic relation

PACS:

TP311

DOI:

10.3969/j.issn.1003-7985.2008.04.009

Abstract:

Some metamorphic relations(MR)are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR(CMR)based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR’s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used.

References:

[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.

Memo

Memo:

Biographies: Dong Guowei(1983—), male, graduate, dgw@seu.edu.cn;Xu Baowen(corresponding author), male, doctor, professor, bwxu@seu.edu.cn.
Foundation items: The National Natural Science Foundation of China(No.60425206, 60633010, 60773104, 60503033), the Excellent Talent Foundation of Teaching and Research of Southeast University.
Citation: Dong Guowei, Xu Baowen, Chen Lin, et al.Case studies on testing with compositional metamorphic relations[J].Journal of Southeast University(English Edition), 2008, 24(4):437-443.

Common functions