A formal model for metamorphic relation decomposition

Proceedings - 2013 4th World Congress on Software Engineering, WCSE 2013

Volumn , Issue , 2013, Pages 64-68

  Hui, Zhan Wei ^a   Huang, Song ^a  

^a PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Decomposition model; Formal model; Metamorphic relation; Metamorphic testing; Test oracle

Indexed keywords

ENGINEERING; INDUSTRIAL ENGINEERING;

DECOMPOSITION MODEL; FORMAL MODEL; METAMORPHIC RELATIONS; METAMORPHIC TESTING; TEST ORACLES;

SOFTWARE ENGINEERING;

EID: 84899101795     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCSE.2013.14     Document Type: Conference Paper

References (13)

1. Weyuker, E. J. On Testing Non-Testable Programs, The Computer J., vol. 25, no. 4, pp. 465-470, 1982.
2. Chen, T. Y., Tse, T. H., and Zhou, Z. Q. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. In Proc. of the International Symposium on Software Testing and Analysis (ISSTA), 2002, pages 191-195.
3. T. Y. Chen, D. H. Huang, T. H. Tse, and Z. Q. Zhou. Case studies on the selection of useful relations in metamorphic testing. In Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering, pages 569-583, Madrid, Spain, 2004. Polytechnic University of Madrid.
4. Mayer, J., and Guderlei, R. An Empirical Study on the Selection of Good Metamorphic Relations, in Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06), Chicago, USA, 2006, 8-9.
5. Chen, T. Y., Cheung, S. C., and Yiu, S. M. 1998. Metamorphic testing: a new approach for generating next test cases, Technical Report HKUST-CS98-01, Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong.
6. Linger, R. C., Mills, H. D., and Witt, B. I. Stuctured Programming Theory and Practice. Reading, MA: Addison-Wesley, 1979.
7. Chen, T. Y., Kuo, F. C., Liu, Y., and Tang, A. Metamorphic testing and testing with special values. Proceeding of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD 2004), Mt. Pleasant, Michigan, 2004, 128-134.
8. Murphy, C. Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles. Doctoral dissertation of Philosophy. Columbia University, 2010.
9. LIN, R. C., LIU, X. M, HUANG, S., HUI, Z. W., AND DU, Y. Z. Metamorphic Testing for Visibility Analysis Program. 2012 PLA Graduate of Engineering Innovation Forum (PLAGEIF), Wuhan, China, November, 26-29, 2012, 217-223. (In Chinese).
10. Morell, L. J, A theory of fault-based testing, IEEE Transactions on Software Engineering, 16, 8, 1990, 844-857.
11. Xie, X. Y., W. K. Ho, J., Murphy, C., Kaiser, G., Xu, B. W., and Chen, T. Y. Application of metamorphic testing to supervised classifiers. In Proc. of the 9th International Conference on Quality Software (QSIC 2009), Jeju, South Korea, 2009, 135-144.
12. Ding, R. H., Huang, S., Yao, Y., and Hui, Z. W. The Effect of Computing Error on Metamorphic Testing: A Case Study. 2012 PLA Graduate of Engineering Innovation Forum (PLAGEIF), Wuhan, China, November, 26-29, 2012, 217-223. (In Chinese).
13. Huang, S., Duanmu, Y. T., Hui, Z. W., Ji, M. Y. Metamorphic Testing of Spatial Distance Measuring Function ofGIS. ICCASM 2011, Xiamen, China, 2011, 671-674.