![](/images/graphics-bg.png)
Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study
Joint Authors
Hui, Zhanwei
Huang, Song
Ren, Zhengping
Yao, Yi
Source
Mathematical Problems in Engineering
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-6, 6 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-02-25
Country of Publication
Egypt
No. of Pages
6
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Hui, Zhanwei& Huang, Song& Ren, Zhengping& Yao, Yi. 2013. Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study. Mathematical Problems in Engineering،Vol. 2013, no. 2013, pp.1-6.
https://search.emarefa.net/detail/BIM-1009180
Modern Language Association (MLA)
Hui, Zhanwei…[et al.]. Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study. Mathematical Problems in Engineering No. 2013 (2013), pp.1-6.
https://search.emarefa.net/detail/BIM-1009180
American Medical Association (AMA)
Hui, Zhanwei& Huang, Song& Ren, Zhengping& Yao, Yi. Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study. Mathematical Problems in Engineering. 2013. Vol. 2013, no. 2013, pp.1-6.
https://search.emarefa.net/detail/BIM-1009180
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1009180