A new method for constructing metamorphic relations

Proceedings - International Conference on Quality Software

Volumn , Issue , 2012, Pages 59-68

  Liu, Huai ^a   Liu, Xuan ^a   Chen, Tsong Yueh ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Composition of metamorphic relations; Metamorphic relation; Metamorphic testing; Software testing

Indexed keywords

COMPOSITING; KEY PARTS; METAMORPHIC RELATION; METAMORPHIC TESTING; ORACLE PROBLEM; SIMPLE METHOD; SYSTEMATIC METHODOLOGY; TEST CASE;

SOFTWARE TESTING;

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

References (22)

1. J. H. Andrews, L. C. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In Proceedings of the 27th International Conference on Software Engineering (ICSE05), pages 402-411, 2005.
2. F. T. Bergmann and H. M. Sauro. Comparing simulation results of SBML capable simulators. Bioinformatics, 24(17):1963-1965, 2008.
3. S. Beydeda. Self-metamorphic-testing components. In Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC06), pages 265-272, 2006.
4. T. Y. Chen, S. C. Cheung, and S. M. Yiu. Metamorphic testing: A new approach for generating next test cases. Technical Report HKUSTCS98-01, Department of Computer Science, Hong Kong University of Science and Technology, 1998.
5. T. Y. Chen, J. W. K. Ho, H. Liu, and X. Xie. An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinformatics, 10:24, 2009.
6. 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 (JIISIC04), pages 569-583, 2004.
7. T. Y. Chen, F.-C. Kuo, H. Liu, and S. Wang. Conformance testing of network simulators based on metamorphic testing technique. In Proceedings of the 29th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE09), pages 243-248, 2009.
8. T. Y. Chen, T. H. Tse, and Z. Zhou. Semi-proving: An integrated method for program proving, testing, and debugging. IEEE Transactions on Software Engineering, 37(1):109-125, 2011.
9. T. Y. Chen, T. H. Tse, and Z. Q. Zhou. Fault-based testing without the need of oracles. Information and Software Technology, 45:1-9, 2003.
10. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):31-41, 1978.
11. G. Dong, C. Nie, B. Xu, and L. Wang. An effective iterative metamorphic testing algorithm based on program path analysis. In Proceedings of the 7th International Conference on Quality Software (QSIC07), pages 292-297, 2007.
12. A. Gotlieb and B. Botella. Automated metamorphic testing. In Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC03), pages 34-40, 2003.
13. P. Hu, Z. Zhang, W. K. Chan, and T. H. Tse. An empirical comparison between direct and indirect test result checking approaches. In Proceedings of the 3rd International Workshop on Software Quality Assurance (SOQUA06), pages 6-13, 2006.
14. J. Mayer and R. Guderlei. An empirical study on the selection of good metamorphic relations. In Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC06), pages 475-484, 2006.
15. H. Motulsky. Intuitive Biostatistics. Oxford University Press, 1995.
16. G. J. Myers. The Art of Software Testing. John Wiley and Sons, second edition, 2004.
17. National Institute of Standards and Technology. The economic impacts of inadequate infrastructure for software testing. http://www.nist.gov/director/ prog-ofc/report02-3.pdf, Gaithersburg, Maryland, USA, 2002.
18. M. S. Sadi, F.-C. Kuo, J. W. K. Ho, M. A. Charleston, and T. Y. Chen. Verification of phylogenetic inference programs using metamorphic testing. Journal of Bioinformatics and Computational Biology, 9(6):729-747, 2011.
19. C.-A. Sun, G. Wang, B. Mu, H. Liu, Z. Wang, and T. Y. Chen. Metamorphic testing for web services: Framework and a case study. In Proceedings of the 9th International Conference on Web Services (ICWS10), pages 283-290, 2011.
20. P. Wu. Iterative metamorphic testing. In Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC05), pages 19-24, 2005.
21. X. Xie, J. W. K. Ho, C. Murphy, G. E. Kaiser, B. Xu, and T. Y. Chen. Testing and validating machine learning classifiers by metamorphic testing. Journal of Systems and Software, 84(4):544-558, 2011.
22. 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 (QSIC11), pages 1-10, 2011.