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

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