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

Design and modeling of a waiter robot

Amin Mohammadnejad - Hami Tourajizadeh

Improving Deep Neural Network Accelerator for Malaria Diseased Blood Cells using FPGA

Hadi Rezaeikarjani - Mojtaba Valinataj

تحلیل سازه‌های موثر بر پذیرش فناوری بلاکچین و استفاده از آن در صنعت بیمه ایران با استفاده از تکنیک معادلات ساختاری (مطالعه موردی: شرکت کارگزاری رسمی بیمه زندگی خوب)

احسان هنری - آفرین اخوان

PersianRAG A Retrieval Augmented Generation System for Persian Language

Hossein Hosseini - Mohammad Sobhan Zare - Amir Hossein Mohammadi - Arefeh Kazemi - Zahra Zojaji - Mohammad Ali Nematbakhsh

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

صبا عارف‌نیا - مهدی هاشم‌زاده - امین گلزاری اسکوئی

Simulanteus Load Balancing of Servers and Controllers in SDN-based IoMT

Somaye Imanpour - Ahmadreza Montazerolghaem - Saeed Afahari

A Swarm Intelligence Approach to Design Optimal Repeaters in Multilayer Graphene Nanoribbon Interconnects

Majid Sanaeepur - Maryam Momeni

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

طاهره سرزهی - دکتر مهری رجایی طاهره سرزهی - مهری رجایی -

Sparse Beamforming Design for Non-Coherent UD-CRAN with mm-Wave Fronthaul Links

Alireza M. Hosseini - Dr Abbas Mohammadi

جایگذاری مقادیر ازدست رفته در داده های سری زمانی چندمتغیره برای پیش بینی مرگ ومیر بیماران با رویکرد یادگیری عمیق مبتنی بر مکانیسم توجه

سید علی هاشمی - سعید جلیلی

Samin Hamayesh - Version 40.3.1