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

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.

لیست مقالات

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

Identifying Children's Personality Styles through Drawing Analysis using Machine Learning

Maedeh Mosharraf - Faezeh Banabazi

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

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

Using Deconvolutional Variational Autoencoder for Answer Selection in Community Question Answering

Golshan Afzali Boroujeni - Heshaam Faili

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

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

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

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

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

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

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

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

توسعه ی کارآفرینی دیجیتال در بخش کشاورزی

شایان مظاهری - فاطمه قربانی پیرعلیدهی - فاطمه رزاقی بورخانی

ML-based Optical Fibre Fault Detection in Smart Surveillance and Traffic Systems

Rushil Patel - Sana Narmawala - Nikunjkumar Mahida - Rajesh Gupta - Sudeep Tanwar - Hossein Shahinzadeh

Adaptive Stopping Criteria-based A-RANSAC algorithm in Copy Move Image Forgery detection

ZAHRA HOSEINNEJAD - Dr MEHDI NASRI

بیشتر

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