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

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.

لیست مقالات

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

NFV-Based Distributed Service Function Chaining with Imperfect Information

Mahsa Alikhani - Marzieh Sheikhi - Dr Vesal Hakami

شناسایی وبگاه های دام‌چینی به کمک شبکه عصبی گسسته‌ساز بردار یادگیر (LVQ)

یگانه ستاری - غلامعلی منتظر

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

زهرا رحیمی تمندگانی - شهره آجودانیان

A Community-Based Method for Identifying Influential Nodes using Network Embedding

Nargess Vafaei - Dr Mohammad Reza Keyvanpour

Revert Propagation: Who are responsible for a contagion initialization in a Diffusion Network?

Arman Sepehr - Mohammadzaman Zamani - Hamid Beigy - Shabnam Behzad

پیاده سازی موازی یک طرح (t,n)-تسهیم چند تصویر با استفاده از GPU

سعیده کبیری راد

پیش‌بینی میزان بقای بیماران مبتلا به سرطان ریه با استفاده از ترکیب کارآمد روش‌های داده‌کاوی و بهینه‌سازی رقابت استعماری

رخشان رمضانی سرچشمه - مهدی هاشم‌زاده - امین گلزاری اسکوئی

Knowledge Extraction from Technical Reports Based on Large Language Models: An Exploratory Study

Parsa Bakhtiari - Hassan Bashiri - Alireza Khalilipour - Masoud Nasiripour - Moharram Challenger

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

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

بررسی روش یادگیری انتقالی جهت پیش‌بینی پیوند

علی روحانی فر - کمال میرزایی بدرآبادی

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