International Conference on Information and Knowledge Technology

Please wait ...

فارسی

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

شناسایی کمپلکس‎ های پروتئینی با استفاده از داده‎ های زیستی و خوشه بندی فازی

مریم مولی وردیخانی - دکتر سعید جلیلی مریم مولی وردیخانی - سعید جلیلی -

Intent-Based Classification of Multi-Stage Cyber Attacks Using Attacker TTPs and Machine Learning

Fatemeh Imanimehr - Hamed Ebrahimi

طراحی و پیاده سازی بستر اجرای بازی جنگ سایبری

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

A Potential Solutions-Based Parallelized GA for Application Graph Mapping in Reconfigurable Hardware

Seyed Mehdi Mohtavipour - Hadi Shahriar Shahhoseini

روشی چندوجهی برای تحلیل احساسات در زبان فارسی با استفاده نشریه ساختار بلاغی و ترنسفرمرها

ریحانه احمدی علیائی - امینه امینی - عباس جلیلوند

ISAAF: بهبود چارچوب مجوز خودتطبیق SAAF با استفاده از پیاده‌سازی مبتنی بر عامل و مفهوم I-Shairing

الهام معین الدینی - دکتر منیره عبدوس - دکتر اسلام ناظمی

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

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

ارائه یک سیستم توصیه‌گر آگاه به زمینه مبتنی بر رفتار کاربر در شبکه اجتماعی با استفاده از پیام‌های برچسب شده جغرافیایی

زهرا امینی - سید علیرضا هاشمی گلپایگانی - علی میرزائی

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

محمد ناظمی جنابی - هادی اشعریون - مهدی پورقلی

Establishing security using cryptography and biometric authentication to counter cyber-attacks

Mohammed ADIL AKABR - Mehdi Hamidkhani - Mostafa Sadeghi

more

Samin Hamayesh - Version 45.0.1