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

English

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

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

نویسندگان :

Maryam Raiyat Aliabadi¹ Mojtaba Vahidi² Ramak Ghavamizadeh³

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

کلمات کلیدی :

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

چکیده :

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.

لیست مقالات

لیست مقالات بایگانی شده

جانمایی توزیع‌شده محتوا برای ذخیره‌سازی موقت در شبکه‌های سلولی کوچک با حضور کاربران مخرب

زهرا رشیدی - دکتر وصال حکمی - حانیه سلمان‌طاهری زهرا رشیدی - وصال حکمی - حانیه سلمان‌طاهری -

Context Awareness Gate for Retrieval Augmented Generation

Mohammad Hassan Heydari - Arshia Hemmat - Erfan Naman - Afsaneh Fatemi

SDN-based Deep Anomaly Detection For Securing Cloud Gaming Servers

Mohammadreza Ghafari - Dr Seyed Mostafa Safavi Hemami

Knowledge Graph Based Retrieval-Augmented Generation for Multi-Hop Question Answering Enhancement

Mahdi Amiri Shavaki - Pouria Omrani - Ramin Toosi - Mohammad Ali Akhaee

Binary water stream algorithm: a new meta-heuristic optimization technique

Faezeh Rahimi Sebdani - Mehdi Nasri

روش مهاجرت خوشه‎ای‎ برای بهبود بستربندی به ‎مشتری در گردش‌کارهای بدون سرویس‌دهنده

محمدامین قسوری جهرمی - مهرداد آشتیانی - فاطمه بخشی

یک روش کارآمد جهت تشخیص آنلاین حملات DRDoS به سرویس های مبتنی بر UDP درمعماری SDN با استفاده از الگوریتم های یادگیری ماشین

میترا اکبری کهنه شهری - دکتر رضا محمدی - دکتر محمد نصیری میترا اکبری کهنه شهری - رضا محمدی - محمد نصیری -

استخراج ویژگی مجموعه داده‌های پزشکی دارای ابعاد بالا با استفاده از برنامه نویسی ژنتیک چند منظوره

سحر فقیهی راد - دکتر سیده نفیسه آل محمد سحر فقیهی راد - سیده نفیسه آل محمد -

بهبود هزینه‌های تراکنش در معماری مدیریت زنجیره‌ی تامین مبتنی بر زنجیره‌ی بلوکی

مژگان نوروزی نژاد - دکتر زهرا موحدی مژگان نوروزی نژاد - زهرا موحدی -

Predicting Suicide Risk in Adolescents with Random Forest for Unbalanced Data Management

Fatemeh Rabbani - Dr Behrooz Masoumi - Dr Mohammad Reza Keyvanpour

بیشتر

ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 42.5.2