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

A New Routing Protocol in Internet of Vehicles Inspired of Spread Model of the Covid-19 Virus

Taha Yasin Rezapour - Esmaeil Zeinali - Reza Ebrahimi Atani - Mohammad Mehdi Gilanian Sadeghi

Dealing with Black-hole Attacks in Inter-vehicle Networks Using the Packet Delivery Rate Algorithm

Marzieh Sedighi - Mehdi Hamidkhani - Mostafa Sadeghi

A Fuzzy Cluster-Based Routing Algorithm to Extend Wireless Sensor Network Lifetime

Mostafa Mirzaie - Armin Mazinani - Dr Sayyed Majid Mazinani

Scattering Wavelet-Based Image Quality Assessment Metric for Medical Images

Sina Omidvar - Jamshid Shanbehzadeh

کنترل کیفیت پیش_بینانه آمیزه_های لاستیکی مدلی یکپارچه بر اساس استاندارد پذیرش متغیرهای ANSI Z1.9 و پایش رئولوژیکی برخط

آکو یاری - فرهاد محمدزاده

A perceptual loss for screen content image super-resolution

Hossein Sekhavaty-Moghadam - Marzieh Hosseinkhani - Dr Azadeh Mansouri

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

سعیده سیف الدین - سجاد شیرعلی شهرضا

تاثیر مدیریت دانش مشتری بر توسعه محصول جدید و نوآورانه با رویکرد مدل سازی معادلات ساختاری با استفاده از حداقل مربعات جزئی: مطالعۀ موردی شرکت کاله

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

روشی برای تشخیص مرحله پیشرفت آلزایمر در تصاویرFMRI مبتنی بر شبکه های عصبی چگال

فرساد زمانی بروجنی - عباس بهره دار

Smart City Standardized Evaluation :Use Case of Mashhad

Dr ُSeyed Mohammadreza Mirsarraf - Dr Alireza Yari - Dr Navid Zohdi - Ali Motevalizadeh

more

Samin Hamayesh - Version 42.5.2