Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2013, Article ID 381389, 6 pages
Research Article

Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study

1Command Information Institute, PLA University of Science and Technology, Nanjing, Jiangsu Province 210007, China
2PLA Military Training Software Testing and Evaluation Centre, Nanjing, Jiangsu Province 210007, China

Received 14 November 2012; Accepted 8 January 2013

Academic Editor: Tsung-Chih Lin

Copyright © 2013 Zhanwei Hui et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


For mission critical programs, integer overflow is one of the most dangerous faults. Different testing methods provide several effective ways to detect the defect. However, it is hard to validate the testing outputs, because the oracle of testing is not always available or too expensive to get, unless the program throws an exception obviously. In the present study, the authors conduct a case study, where the authors apply a metamorphic testing (MT) method to detect the integer overflow defect and alleviate the oracle problem in testing critical program of Traffic Collision Avoidance System (TCAS). Experimental results show that, in revealing typical integer mutations, compared with traditional safety property testing method, MT with a novel symbolic metamorphic relation is more effective than the traditional method in some cases.