Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study
المؤلفون المشاركون
Hui, Zhanwei
Huang, Song
Ren, Zhengping
Yao, Yi
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-6، 6ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-02-25
دولة النشر
مصر
عدد الصفحات
6
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1009180
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر