Real-Time Extended Interface Automata for Software Testing Cases Generation
المؤلفون المشاركون
Yang, Shunkun
Xu, Jiaqi
Man, Tianlong
Liu, Bin
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-04-29
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling.
This paper presents the real-time extended interface automata (RTEIA) which adds clearer and more detailed temporal information description by the application of time words.
We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field.
Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper.
The feasibility and efficiency of this method have been verified in the testing of one real aircraft braking system.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Yang, Shunkun& Xu, Jiaqi& Man, Tianlong& Liu, Bin. 2014. Real-Time Extended Interface Automata for Software Testing Cases Generation. The Scientific World Journal،Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-1050813
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Yang, Shunkun…[et al.]. Real-Time Extended Interface Automata for Software Testing Cases Generation. The Scientific World Journal No. 2014 (2014), pp.1-12.
https://search.emarefa.net/detail/BIM-1050813
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Yang, Shunkun& Xu, Jiaqi& Man, Tianlong& Liu, Bin. Real-Time Extended Interface Automata for Software Testing Cases Generation. The Scientific World Journal. 2014. Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-1050813
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1050813
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر