Metamorphic testing and beyond

Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003

Volumn , Issue , 2004, Pages 94-100

  Chen, T Y ^a   Kuo, F C ^a   Tse, T H ^b   Zhou, Zhi Quan ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Arithmetic; Australia Council; Computer science; Cryptography; Debugging; Humans; Information systems; Information technology; Software testing; System testing

Indexed keywords

COMPUTER DEBUGGING; COMPUTER SCIENCE; CRYPTOGRAPHY; DIGITAL ARITHMETIC; INFORMATION SYSTEMS; INFORMATION TECHNOLOGY; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

AUSTRALIA; BASIC CONCEPTS; FUTURE RESEARCH DIRECTIONS; HUMANS; METAMORPHIC TESTING; PROGRAM TESTING; SYSTEM TESTING; TARGET FUNCTIONS;

SOFTWARE TESTING;

EID: 68049094297     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/STEP.2003.18     Document Type: Conference Paper

References (24)

1. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York, 1990.
2. M. Blum and S. Kannan, "Designing programs that check their work", InProceedings of the 31st Annual ACM Symposium on Theory of Computing (STOC '89), ACM Press, New York, 1989, pp. 86-97.
3. Journal of the ACM, 42(1), 1995,pp. 269-291.
4. M. Blum, M. Luby, and R. Rubinfeld, "Self-testing / correcting with applications to numerical problems", Journal of Computer and System Sciences, 47(3), 1993, pp. 549-595.
5. T.Y. Chen, S.C. Cheung, and S.M. Yiu, "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, 1998.
6. 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 (COMPSAC 2002), IEEE Computer Society Press, Los Alamitos, California, 2002, pp. 327-333.
7. T.Y. Chen, D.H. Huang, T.H. Tse, and Z.Q. Zhou, "A case study on the selection of useful relations in metamorphic testing", paper in preparation.
8. T.Y. Chen, F.-C. Kuo, Y. Liu, and A. Tang, "Metamorphic testing and testing with special values", In Proceedings of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2004), International Association for Computer and Information Science, Mt. Pleasant, Michigan, 2004.
9. 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 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), ACM Press, New York, 2002, pp. 191-195.
10. T.Y. Chen, T.H. Tse, and Z.Q. Zhou, "Fault-based testing without the need of oracles", Information and Software Technology, 45(1), 2003, pp. 1-9.
11. L.A. Clarke and D.J. Richardson, "Symbolic evaluation methods: implementations and applications", In B. Chandrasekaran and S. Radicchi, editors, Computer Program Testing, North-Holland, Amsterdam, 1981,pp. 65-102.
12. L.A. Clarke and D.J. Richardson, "Applications of symbolic evaluation", Journal of Systems and Software, 5(1), 1985,pp. 15-35.
13. W.J. Cody, Jr. and W. Waite, Software Manual for the Elementary Functions, Prentice Hall, Englewood Cliffs, New Jersey, 1980.
14. T. Fahringer and B. Scholz, "A unified symbolic evaluation framework for parallelizing compilers", IEEE Transactions on Parallel and Distributed Systems, 11(11), 2000, pp. 1105-1125.
15. T. Fahringer and B. Scholz, Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization, Volume 2628 of Lecture Notes in Computer Science, Springer, Berlin, 2003.
16. C.F. Gerald and P.O. Wheatley, Applied Numerical Analysis, Addison Wesley, Reading, Massachusetts, 1999.
17. A. Gotlieb and B. Botella, "Automated metamorphic testing", In Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), IEEE Computer Society Press, Los Alamitos, California, 2003, pp. 34-40.
18. M. Hall, Jr., The Theory of Groups, AMS Chelsea, Providence, Rhode Island, 1999.
19. D. Hamlet, "Predicting dependability by testing", In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1996), ACM Press, New York, 1996,pp. 84-91.
20. J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap, "The CLP(R) language and system", ACM Transactions on Programming Languages and Systems, 14(3), 1992, pp. 339-395.
21. L.I. Manolache and D.G. Kourie, "Software testing using model programs", Software: Practice and Experience, 31 (13), 2001, pp. 1211-1236.
22. L.J. Morell, "A theory of fault-based testing", IEEE Transactions on Software Engineering, 16(8), 1990, pp. 844-857.
23. G.J. Myers, The Art of Software Testing, Wiley, New York, 1979.
24. E.J. Weyuker, "On testing non-testable programs", The Computer Journal, 25(4), 1982, pp. 465-170.