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

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.

لیست مقالات

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

کشف برخط تقلب پیشنهاد ساختگی (Bid-Shielding) در مناقصه و مزایده‌های الکترونیکی هلندی با رویکرد تحلیل شبکه اجتماعی

فاطمه الثلایا - دکتر سید علیرضا هاشمی گلپایگانی فاطمه الثلایا - سید علیرضا هاشمی گلپایگانی -

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

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

AI-based Secure Intrusion Detection Framework for Digital Twin-enabled Critical Infrastructure

Tanisha Patel - Nilesh Kumar Jadav - Tejal Rathod - Sudeep Tanwar - Deepak Garg - Hossein Shahinzadeh

سیستم پیشنهاددهنده غذای سالم با استفاده از داده کاوی عادت های تغذیه ای کاربران

محمد عباسی - مریم حسینی پزوه - محمدرضا شمس

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

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

Paths-oriented Test Data Generation using Genetic Algorithm

Mohammad Reza Hassanpour Charmchi - Dr Bagher Rahimpour cami

بهبود هزینه‌های تراکنش در معماری مدیریت زنجیره‌ی تامین مبتنی بر زنجیره‌ی بلوکی

مژگان نوروزی نژاد - دکتر زهرا موحدی مژگان نوروزی نژاد - زهرا موحدی -

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

Majid Sanaeepur - Maryam Momeni

Using Trust Statements and Ratings by GraphSAGE to Alleviate Cold Start in Recommender Systems

Seyedeh Niusha Motevallian - Dr Seyed Mohammad Hossein Hasheminejad

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

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

بیشتر

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