An effective iterative metamorphic testing algorithm based on program path analysis

Proceedings - International Conference on Quality Software

Volumn , Issue , 2007, Pages 292-297

  Dong, Guowei ^a   Nie, Changhai ^a   Xu, Baowen ^a   Wang, Lulu ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; REGRESSION ANALYSIS; TELLURIC PROSPECTING; TESTING;

(N-1) CRITERION; INTERNATIONAL CONFERENCES; METAMORPHIC TESTING; PATH ANALYSIS; QUALITY SOFTWARE; TEST CASES; TEST SUITES;

ITERATIVE METHODS;

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

References (18)

1. E.J. Weyuker. "On testing non-testable programs." The Computer Journal, 1982. 25(4): p. 465-470.
2. T.Y. Chen, S.C. Cheung, and S.M. Yiu. "Metamorphic testing: a new approach for generating next test cases." in Technical Report HKUST-CS98-01, 1998.
3. T.Y. Chen, J. Feng, and T.H. Tse. "Metamorphic testing of programs on partial differential equations: a case study." in Proceedings of the 26th Annual International Computer Software and Applications Conference, 2002.
4. A. Gotlieb, and B. Botella. "Automated metamorphic testing." in Proceedings of the 27th Annual International Computer Software and Applications Conference, 2003.
5. Z.Q. Zhou, D.H. Huang, T.H. Tse, Z.Y. Yang, H.T. Huang, and T.Y. Chen. "Metamorphic Testing and Its Applications." in Proceedings of the 8th International Symposium on Future Software Technology, 2004.
6. T.H. Tse, S.S. Yau, W.K. Chan, L. Heng, and T.Y. Chen. "Testing context-sensitive middleware-based software applications." in Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004.
7. W.K. Chan, T.Y. Chen, L. Heng, T.H. Tse, and S.S. Yau. "A metamorphic approach to integration testing of context-sensitive middleware-based applications." in Proceedings of the 5th Annual International Conference on Quality Software, 2005.
8. W.K. Chan, S.C. Cheung, and K.P.H. Leung. "Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications." in Proceedings of the 5th International Conference on Quality Software, 2005.
9. W.K. Chan, S.C. Cheung, and Karl R.P.H. Leung. "A metamorphic testing approach for online testing of service-oriented software applications." in a Special Issue on Services Engineering of International Journal of Web Services Research, 2007(2): p. 60-80
10. 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 IberoAmerican Symposium on Software Engineering and Knowledge Engineering, 2004.
11. T.Y. Chen, T.H. Tse, and Z.Q. Zhou. "Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing." ACM SIGSOFT Software Engineering Notes, 2002. 27(4): p. 191-195.
12. T.Y. Chen, T.H. Tse, and Z.Q. Zhou. "Fault-based testing without the need of oracles." Information and Software Technology, 2003. 45(1): p. 1-9.
13. P. Wu, X.C. Shi, J.J. Tang, H.M. Lin, and T.Y. Chen. "Metamorphic Testing and Special Case Testing: A Case Study." Journal of Software, 2005. 16(7): p. 1210-1220.
14. P. Wu. "Iterative Metamorphic Testing." in Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005.
15. T.A. Budd. "Mutation analysis: Ideas, examples, problems and prospects." in Proceedings of the Summer School on Computer Program Testing, 1981: p. 129-148.
16. A.J. Offutt, A. Lee, G. Rothermel, R.H. Untch, and C. Zapf. "An Experimental Determination of Sufficient Mutant Operators." ACM Transactions on Software Engineering and Methodology, 1996. 5(2): p. 99-118.
17. J.C. King, and J. Thomas. "Symbolic execution and program testing." Communications of the ACM, 1976. 19(7): p. 385-394.
18. H.Y. Chen, T.H. Tse, and T.Y. Chen. "TACCLE: a methodology for object-oriented software testing at the class and cluster levels." ACM Transactions on Software Engineering and Methodology, 2001. 10(1): p. 56-109.