A Latent Implementation Error Detection Method for Software Validation
المؤلفون المشاركون
Zhong, Guodong
Wu, Jinzhao
Zhou, Jiantao
Liu, Jing
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-03-28
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
Model checking and conformance testing play an important role in software system design and implementation.
From the view of integrating model checking and conformance testing into a tightly coupled validation approach, this paper presents a novel approach to detect latent errors in software implementation.
The latent errors can be classified into two kinds, one is called as Unnecessary Implementation Trace, and the other is called as Neglected Implementation Trace.
The method complements the incompleteness of security properties for software model checking.
More accurate models are characterized to leverage the effectiveness of the model-based software verification and testing combined method.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhou, Jiantao& Liu, Jing& Wu, Jinzhao& Zhong, Guodong. 2013. A Latent Implementation Error Detection Method for Software Validation. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-448732
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhou, Jiantao…[et al.]. A Latent Implementation Error Detection Method for Software Validation. Journal of Applied Mathematics No. 2013 (2013), pp.1-10.
https://search.emarefa.net/detail/BIM-448732
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhou, Jiantao& Liu, Jing& Wu, Jinzhao& Zhong, Guodong. A Latent Implementation Error Detection Method for Software Validation. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-448732
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-448732
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر