Metamorphic testing: Applications and integration with other methods: Tutorial synopsis

Proceedings - International Conference on Quality Software

Volumn , Issue , 2012, Pages 285-288

  Chen, Tsong Yueh ^a   Kuo, Fei Ching ^a   Towey, Dave ^b   Zhou, Zhi Quan ^c  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b BNU HKBU UNITED INTERNATIONAL COLLEGE   (China)

^c UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC CONCEPTS; METAMORPHIC TESTING; ORACLE PROBLEM; TEST CASE;

SOFTWARE TESTING;

EID: 84869100351     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2012.21     Document Type: Conference Paper

References (13)

1. E. J. Weyuker, "On testing non-testable programs," The Computer Journal, Vol. 25, no. 4, pp. 465-470, 1982.
2. T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing," in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'02), 2002, pp. 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 (JIISIC'04), 2004, pp. 569-583.
4. R. Merkel, D. Wang, H. Lin, and T. Y. Chen, "Automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver," International Journal of Software Engineering and Knowledge Engineering, Vol. 21, no. 2, pp. 289-307, 2011.
5. Z. Q. Zhou, S. J. Zhang, M. Hagenbuchner, T. H. Tse, F.-C. Kuo, and T. Y. Chen, "Automated functional testing of online search services," Software Testing, Verification and Reliability, to appear (DOI: 10.1002/stvr.437).
6. F.-C. Kuo, T. Y. Chen, and W. Tam, "Testing embedded software by metamorphic testing: a wireless metering system case study," in Proceedings of the 36th IEEE Conference on Local Computer Networks (LCN'11), 2011, pp. 295-298.
7. C. Murphy, G. Kaiser, L. Hu, and L. Wu, "Properties of machine learning applications for use in metamorphic testing," in Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), 2008, pp. 867-872.
8. S. Segura, R. M. Hierons, D. Benavides, and A. Ruiz-Cortés, "Automated metamorphic testing on the analyses of feature models," Information and Software Technology, Vol. 53, no. 3, pp. 245-258, 2011.
9. J. Ding, T. Wu, D. Xu, J. Lu, and X. Hu, "Self-checking metamorphic testing: a case study of testing a Monte Carlo modeling program," to appear in Journal of Systems and Software.
10. T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Semi-proving: an integrated method for program proving, testing, and debugging," IEEE Transactions on Software Engineering, Vol. 37, no. 1, pp. 109-125, 2011.
11. T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Fault-based testing without the need of oracles," Information and Software Technology, Vol. 45, no. 1, pp. 1-9, 2003.
12. L. J. Morell, "A theory of fault-based testing," IEEE Transactions on Software Engineering, Vol. 16, no. 8, pp. 844-857, 1990.
13. X. Xie, W. E. Wong, T. Y. Chen, and B. Xu, "Spectrum-based fault localization: testing oracles are no longer mandatory," in Proceedings of the 11th International Conference on Quality Software (QSIC'11), 2011, pp. 1-10.