An automated metamorphic testing technique for designing effective metamorphic relations

Communications in Computer and Information Science

Volumn 306 CCIS, Issue , 2012, Pages 152-163

  Gagandeep, ^a   Singh, Gurdeepak ^b  

^a PUNJABI UNIVERSITY   (India)

^b INFOSYS TECHNOLOGIES LTD   (India)

Author keywords

follow up test data; metamorphic relations; metamorphic testing; test oracle

Indexed keywords

FOLLOW UP; METAMORPHIC RELATIONS; METAMORPHIC TESTING; MODELING NOTATION; PARALLEL EXECUTIONS; REAL-TIME DATA; RUNTIMES; TEST DATA; TEST ORACLES; TESTING SYSTEMS;

INSTRUMENTS;

TESTING;

EID: 84868266386     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-32129-0_20     Document Type: Conference Paper

References (8)

1. Snook, C., Butler, M.: Using a Graphical Design Tool for Formal Specification. In: 13th Workshop of the Psychology of Programming Interest Group, Bournemouth, UK, pp. 311-321 (2001)
2. Chen, T.Y., Tse, T.H., Zhou, Z.Q.: 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), pp. 191-195. ACM Press, New York (2002)
3. Chen, T.Y., Feng, J., Tse, T.H.: 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), pp. 327-333. IEEE Computer Society Press (2002)
4. Gotlieb, A., Botella, B.: Automated Metamorphic Testing. In: Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), pp. 34-40. IEEE Computer Society Press, California (2003)
5. Chen, T.Y., Huang, D.H., Tse, T.H., Zhou, Z.Q.: Case Study on the Selection of Useful Relations in Metamorphic Testing. In: 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569-583. Polytechnic University of Madrid, Spain (2004)
6. Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. In: 1st International Workshop on Services Engineering (SEIW 2005), pp. 470-476. IEEE Computer Society (2005)
7. Pilskalns, O., Williams, D., Aracic, D.: Security Consistency in UML Designs. In: Proceedings of 30th International Conference on Computer Software and Applications (COMPSAC 2006), pp. 351-358. IEEE Press (2006)
8. Ali, A., Nadeem, A., Zohaib, M., Iqbal, Z., Usman, M.: Regression Testing based on UML Design Models. In: Proceedings of 13th IEEE International Symposium on Pacific Rim Dependable Computing, pp. 85-88 (2007)