درستی يابی سيستم های واكنشی
0
(میانگین امتیاز: بدون امتیاز)
سر فصل های مهم:
-
نگاه كلی به زبان Rebeca
-
روشهای درستی يابی
-
كمينه سازی تركيبی
-
درستی يابی تركيبی Rebeca
مقدمه:
سیستم‌های واکنشی (Reactive Systems) سامانه‌هایی هستند که رفتار آن‌ها به‌طور مستقیم تحت تأثیر رویدادها، ورودی‌ها و تغییرات محیط قرار دارد و باید در زمان مناسب به این تغییرات واکنش نشان دهند. درستی‌یابی سیستم‌های واکنشی فرایندی برای اطمینان از صحت عملکرد این سیستم‌ها در شرایط مختلف و بررسی مطابقت رفتار آن‌ها با مشخصات و نیازمندی‌های تعریف‌شده است. با توجه به اهمیت زمان‌بندی، هم‌زمانی و پاسخ صحیح به رویدادها، روشهای معمول آزمون نرم‌افزار به‌تنهایی ممکن است کافی نباشند. ازاین‌رو، استفاده از... توضیحات بیشتر
سیستم‌های واکنشی (Reactive Systems) سامانه‌هایی هستند که رفتار آن‌ها به‌طور مستقیم تحت تأثیر رویدادها، ورودی‌ها و تغییرات محیط قرار دارد و باید در زمان مناسب به این تغییرات واکنش نشان دهند. درستی‌یابی سیستم‌های واکنشی فرایندی برای اطمینان از صحت عملکرد این سیستم‌ها در شرایط مختلف و بررسی مطابقت رفتار آن‌ها با مشخصات و نیازمندی‌های تعریف‌شده است. با توجه به اهمیت زمان‌بندی، هم‌زمانی و پاسخ صحیح به رویدادها، روشهای معمول آزمون نرم‌افزار به‌تنهایی ممکن است کافی نباشند. ازاین‌رو، استفاده از... توضیحات بیشتر
-
تگ ها: کامپیوتر, هوش مصنوعیتعداد اسلاید :28 تاریخ انتشار :1405/07/15 تعداد دانلود :0
-
دسته‌بندی: کامپیوتر و IT
-
کاربر:
سایت
رایگان
محصولات مرتبط
دانلود آنی
و بدون دردسر فایل ها
آرشیو کامل
و متنوع در همه رشته ها
فایل های رایگان
و بدون محدودیت
قیمت مناسب
فایل ها و اشتراک ها
بروزرسانی مداوم
و افزودن فایل های جدید
شماره تماس:
09159221074
آدرس ایمیل:
sajjad_sharifi_n@yahoo.com
هفت روز هفته ، 24 ساعت شبانه‌روز پاسخگوی شما هستیم
طراحی و توسعه توسط شرکت آریا گستران
ارائش | مرجع دانلود قالب و پاورپوینت آماده + سفارش پاورپوینت
دسترسی سریع