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