Research on metamorphic testing for oracle problem of integer bugs

Advances in Intelligent and Soft Computing

Volumn 168 AISC, Issue VOL. 1, 2012, Pages 95-100

  Yao, Yi ^a   Huang, Song ^a   Ji, Mengyu ^a  

^a PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

integer bugs; integer overflows; metamorphic relation; test oracle

Indexed keywords

CONVENTIONAL APPROACH; INTEGER BUGS; INTEGER OVERFLOW; METAMORPHIC RELATION; METAMORPHIC TESTING; ORACLE PROBLEM; TEST ORACLES;

COMPUTER SCIENCE; PROGRAM DEBUGGING;

INTEGER PROGRAMMING;

EID: 84864305790     PISSN: 18675662     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-30126-1_16     Document Type: Conference Paper

References (10)

1. Heitmeyer, C.: Applying Practical Formal Methods to the Specification and Analysis of Security Properties. In: Gorodetski, V.I., Skormin, V.A., Popyack, L.J. (eds.) MMM-ACNS 2001. LNCS, vol. 2052, pp. 84-89. Springer, Heidelberg (2001)
2. Weyuker, E.J.: On testing non-testable programs. Computer Journal 25, 465-470 (1982)
3. Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01 (1998)
4. Manolache, L.I., Kourie, D.G.: Software testing using model programs. Software: Practice and Experience 31, 1211-1236 (2001)
5. Robert, C.: Secure Coding in C and C++. Person Education (2010)
6. Zeng, F., Mao, L., Chen, Z., Cao, Q.: Mutation-based Testing of Integer Overflow Vulnerabilities. In: The 5th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2009, September 24-26. IEEE Press, Beijing (2009)
7. Chen, T.Y., Huang, D.H., Tse, T.H., et al.: Case studies on the selection of useful relations in metamorphic testing. In: Proceeding of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering, JIISIC 2004, Polytechnic University of Madrid, Madrid Spain, pp. 569-583 (2004)
8. Gotlieb, A.: TCAS software verification using Constraint Programming. The Knowledge Engineering Review, vol. 00:0, pp. 1-15. Cambridge University Press (2009)
9. Wu, P., Shi, X.C., Tang, J.J., Lin, H.M., Chen, T.Y.: Metamorphic testing and special case testing: A case study. Journal of Software 16(7), 1210-1220 (2005)
10. Dong, G.W., Wu, S.Z., Wang, G.S., Guo, T., Huang, Y.G.: Security Assurance with Metamorphic Testing and Genetic Algorithm. In: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pp. 368-373 (2010)