Using formal methods for test case generation according to transition-based coverage criteria
المؤلفون المشاركون
Saifan, Ahmad A.
Bani Mustafa, Wafa
المصدر
Jordanian Journal of Computetrs and Information Technology
العدد
المجلد 1، العدد 1 (31 ديسمبر/كانون الأول 2015)، ص ص. 15-30، 16ص.
الناشر
جامعة الأميرة سمية للتكنولوجيا
تاريخ النشر
2015-12-31
دولة النشر
الأردن
عدد الصفحات
16
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Formal methods play an important role in increasing the quality, reliability, robustness and effectiveness of the software.
also, the uses of formal methods, especially in safety-critical systems, help in the early detection of software errors and failures which will reduce the cost and effort involved in software testing.
the aim of this paper is to prove the role and effectiveness of formal specification for the cruise control system (ccs) as a case study.
a ccs formal model is built using perfect formal specification language, and its correctness is validated using the perfect developer toolset.
we develop a software testing tool in order to generate test cases using three different algorithms.
these test cases are evaluated to improve their coverage and effectiveness.
the results show that random test case generation with full restriction algorithm is the best in its coverage results; the average of the path coverage is 77.78% and the average of the state coverage is 100%.
finally, our experimental results show that perfect formal specification language is appropriate to specify ccs which is one of the most safety-critical software systems, so the process of detecting all future possible cases becomes easier.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Saifan, Ahmad A.& Bani Mustafa, Wafa. 2015. Using formal methods for test case generation according to transition-based coverage criteria. Jordanian Journal of Computetrs and Information Technology،Vol. 1, no. 1, pp.15-30.
https://search.emarefa.net/detail/BIM-1415296
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Saifan, Ahmad A.& Bani Mustafa, Wafa. Using formal methods for test case generation according to transition-based coverage criteria. Jordanian Journal of Computetrs and Information Technology Vol. 1, no. 1 (Dec. 2015), pp.15-30.
https://search.emarefa.net/detail/BIM-1415296
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Saifan, Ahmad A.& Bani Mustafa, Wafa. Using formal methods for test case generation according to transition-based coverage criteria. Jordanian Journal of Computetrs and Information Technology. 2015. Vol. 1, no. 1, pp.15-30.
https://search.emarefa.net/detail/BIM-1415296
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 28-30
رقم السجل
BIM-1415296
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر