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

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

Keywords:

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