معیارهای پوشش تست برای سیستم های مبتنی بر بازیگر
| عنوان | معیارهای پوشش تست برای سیستم های مبتنی بر بازیگر |
|---|---|
| نویسنده | سوزر، حسن، گورلر، او.، یلماز، او. |
| تاریخ انتشار: | 2018 |
| محل انتشار | - CEUR-WS |
| موضوع | مدل بازیگر، برنامه نویسی همزمان، سیستم های توزیع شده، ارتباطات ناهمزمان، معیارهای پوشش تست، مدل بازیگر، برنامه نویسی همزمان، سیستم های توزیع شده، ارتباطات ناهمزمان، معیارهای پوشش تست |
| نوع | سند |
| زبان | ترکی |
| دیجیتال | بله |
| نسخه خطی | خیر |
| کتابخانه: | دانشگاه اوزیغین |
| شناسه دارایی کتابخانه | 1613-0073 |
| شماره ثبت | cd91d8b6-e104-46e9-89d9-cd992d955455 |
| محل کتابخانه | علوم کامپیوتر |
| تاریخ | 2018 |
| متن نمونه | سیستم های مبتنی بر کنشگر از عناصر مستقلی به نام بازیگران تشکیل شده اند که به طور همزمان کار می کنند و به طور ناهمزمان با یکدیگر ارتباط برقرار می کنند. به دلیل ارتباط ناهمزمان، ممکن است ترتیب پیام های به اشتراک گذاشته شده بین بازیگران متفاوت باشد. مانند سایر سیستمهایی که همزمان اجرا میشوند، فقدان جبر، آزمایش و اشکالزدایی را در سیستمهای مبتنی بر بازیگر دشوار میکند. معیارهای پوشش آزمون سنتی نیز برای این سیستم ها موثر نیستند. در این مقاله، معیارهای پوشش آزمونی که میتوان برای سیستمهای مبتنی بر بازیگر استفاده کرد، مورد بررسی قرار میگیرد. علاوه بر معیارهای موجود پیشنهاد شده در ادبیات، معیارها و کاربردهای جدید مطالعات اخیر منتشر شده در زمینه ریاضیات گسسته برای تعیین و ارزیابی معیارهای پوشش آزمون برای سیستم های مبتنی بر بازیگر برای اولین بار در این مقاله مورد بحث قرار گرفته است. یک زیرساخت آزمایشی که بتواند بر اساس معیارهای پوشش توصیه شده ارزیابی کند و به طور خودکار موارد آزمایشی را برای برآورده کردن این معیارها ایجاد کند، در حال حاضر در دست توسعه است. سیستم های مبتنی بر بازیگر از موجودیت های مستقلی به نام بازیگران تشکیل شده اند که همزمان کار می کنند و به طور ناهمزمان با یکدیگر ارتباط برقرار می کنند. ترتیب پیام های رد و بدل شده بین بازیگران می تواند به دلیل ارتباط ناهمزمان متفاوت باشد. فقدان جبر، همانطور که در مورد سایر سیستم های همزمان نیز وجود دارد، آزمایش و اشکال زدایی سیستم های مبتنی بر بازیگر را دشوارتر می کند. معیارهای پوشش آزمون سنتی برای این سیستم ها موثر نیستند. در این مقاله، ما در مورد آزمایش معیارها و معیارهای پوشش برای سیستمهای مبتنی بر بازیگر توضیح میدهیم. ما معیارهای موجود در ادبیات را بررسی می کنیم و معیارهای جدیدی را پیشنهاد می کنیم. علاوه بر این، ما برای اولین بار در این مقاله، کاربرد مطالعات اخیر در حوزه ریاضیات گسسته در ارزیابی معیارهای پوشش آزمون برای سیستمهای مبتنی بر بازیگر را مورد بحث قرار میدهیم. یک چارچوب آزمایشی که می تواند این معیارها را ارزیابی کند و می تواند تولید خودکار موارد آزمایشی برای برآورده کردن آنها در حال حاضر در حال توسعه است. |
| Editör | Tarhan, A., Erten, M. |
| Cilt | 2201 |
