International Conference on Information and Knowledge Technology

فارسی

Home / یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش

Challenges of Specification Mining-based Test Oracle for Cyber-Physical Systems

Authors :

Maryam Raiyat Aliabadi¹ Mojtaba Vahidi² Ramak Ghavamizadeh³

1- دانشگاه شهید بهشتی 2- دانشگاه شهید بهشتی 3- دانشگاه شهید بهشتی

Keywords :

Cyber-Physical Systems, Test Oracle, Specification mining, Safety-critical, Internet of Things

Abstract :

Abstract—Test oracle problem is considered as a major challenge in software testing. Specification mining techniques are shown to be effective to tackle test oracle problem in software systems. In addition, modern systems such as Cyber-Physical Systems (CPSes) have special constraints that should be satisfied when deriving the test oracles for these systems. However, comparing different specification mining techniques for CPS applications is challenging, because no common ground to assess the effectiveness of such techniques has been established yet. In this survey, our contribution is two folded: First, we analyze the CPS constraints from the test oracle point of view, and present a framework of requirements representing six essential criteria for evaluating to which extent specification miners satisfy CPS constraints. Secondly, we review the literature for the specification mining techniques, and use our framework to compare the effectiveness of various static and dynamic analysis-based specification mining techniques, and to discuss their respective advantages and disadvantages.

List of archived papers

تشخیص بیماری شب‌کوری با استفاده از ترکیب الگوریتم‌های یادگیری عمیق

میثم فتاحی

شناسایی حملات فیشینگ با استفاده از الگوریتم عقاب آتشین و شبکه عصبی کانولوشن

علی کوشاری - مهدی فرتاش

Customer Churn Prediction Using Data Mining Techniques for an Iranian Payment Application

Olya Rezaeian - Dr ُSeyedhamidreza Shahabi Haghighi - Dr Jamal Shahrabi

An ESB-based Architecture for Authentication as a Service Through Enterprise Application Integration

Masoumeh Hashemi - Mehdi Sakhaei-nia - Morteza Yousef Sanati

طبقه بندی آسیبهای لیگامنت با استفاده از تحلیل تصاویر تشدید مغناطیسی توسط الگوریتمهای یادگیری عمیق

محسن اکبری - دکتر مریم مؤمنی محسن اکبری - مریم مؤمنی -

جایگزینی دارو براساس پیش‌بینی یال روی گراف‌های ناهمگون با بهره‌گیری از جاسازی گراف ناهمگون

رسول سامانی - فهیمه شاهرخ شهرکی - دکتر ناصر قدیری رسول سامانی - فهیمه شاهرخ شهرکی - ناصر قدیری -

سیستم پیشنهاددهنده غذای سالم با استفاده از داده کاوی عادت های تغذیه ای کاربران

محمد عباسی - مریم حسینی پزوه - محمدرضا شمس

COVID-19 Image Retrieval Using Siamese Deep Neural Network and Hashing Technique

Farsad Zamani Boroujeni - Doryaneh Hossein Afshari - Fatemeh Mahmoodi

Integration ‎of ‎E‎lectric Vehicles in Smart ‎Grid using ‎Dee‎p ‎Reinforcement ‎Learning

Farkhondeh Kiaee

ارائه مدل یادگیری ماشین برای پیش‌بینی سری‌زمانی باینری از دیدگاه مسئله‌های دسته‌بندی با کاربرد در پیش‌بینی نت‌های موسیقی

نیلوفر ع��دلخانی - حسام عمرانپور

more

Samin Hamayesh - Version 43.8.0