بکار بردن آزمون انطباقی مبتنی بر مدل برای برنامه های ارتباط دهنده ریو

سال انتشار: 1399
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 321

فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CSICC26_042

تاریخ نمایه سازی: 22 اردیبهشت 1400

چکیده مقاله:

زبان ریو یک بستر توسعه و ایجاد هماهنگی برای سامانه های مبتنی بر مولفه است که توانایی تهیه مدل دقیق از رفتار سامانه ها را دارد. در این زمینه به دلیل اینکه برنامه های زبان ریو همانند توسعه دیگر سامانه ها توسط انسان صورت می گیرد؛ احتمال وجود اشتباه در خود را دارد. بنابراین نیازمند روشی برای بررسی صحت برنامه های تولید شده از آن هستیم. در این پژوهش قصد داریم با به کارگیری تئوری آزمون انطباقی و با استفاده از روش مبتنی بر مدل، برنامه های ریو را راحت تر، به صورت خودکار، دقیق تر و با صرف زمان کمتری مورد آزمون قرار دهیم.برای انجام آزمون به روش مبتنی بر مدل، رفتار مورد انتظار از مدار ریو را به عنوان مشخصات برنامه ریو در نظر می گیریم و برنامه تولیدشده از کامپایلر زبان ریو را به عنوان برنامه ی تحت آزمون به ابزار آزمون اوپال ترون ارائه می کنیم. از نتایج یافت شده در این پژوهش بررسی صحت برنامه های ریو با استفاده از آزمون مبتنی بر مدل بدون مواجه شدن با مسئله انفجار فضای حالت، ارائه راه حل برای همگام سازی برنامه ریو با ترتیب اجرا شدن موارد آزمون توسط ادپتور اوپال ترون و تولید مشخصات مورد انتظار از مدار ریو متناسب با ابزار اوپال ترون است.

کلیدواژه ها:

مدار ریو ، آزمون مبتنی بر مدل ، آزمون انطباقی ، ابزار آزمون اوپال ترون ، ابزار اوپال

نویسندگان

محمدجواد عبدالصالحی

دانشکده مهندسی کامپیوتر، دانشگاه علم و فرهنگ، تهران،

علیرضا فرهادی

دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف، تهران،