فایل ورد کامل آزمون پروتکل با اجرای نمادین و مشخصات مبتنی بر قانون با استفاده از رویکرد چند هسته ای

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

این مقاله، ترجمه شده یک مقاله مرجع و معتبر انگلیسی می باشد که به صورت بسیار عالی توسط متخصصین این رشته ترجمه شده است و به صورت فایل ورد (microsoft word) ارائه می گردد

متن داخلی مقاله بسیار عالی، پر محتوا و قابل درک می باشد و شما از استفاده ی آن بسیار لذت خواهید برد. ما عالی بودن این مقاله را تضمین می کنیم

فایل ورد این مقاله بسیار خوب تایپ شده و قابل کپی و ویرایش می باشد و تنظیمات آن نیز به صورت عالی انجام شده است؛ به همراه فایل ورد این مقاله یک فایل پاور پوینت نیز به شما ارئه خواهد شد که دارای یک قالب بسیار زیبا و تنظیمات نمایشی متعدد می باشد

توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی فایل ورد کامل آزمون پروتکل با اجرای نمادین و مشخصات مبتنی بر قانون با استفاده از رویکرد چند هسته ای،به هیچ وجه بهم ریختگی وجود ندارد

تعداد صفحات این فایل: ۱۷ صفحه

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

کلمات کلیدی: اجرای نمادین |مشخصات مبتنی بر قوانین | آزمایش کردن | رویکرد چند هسته ای.

عنوان انگلیسی:

Protocol testing with symbolic execution and rule based specification using multicore approach

~~en~~ writers :

SHERIN MARIAM GEORGE, SANGEETHA U

The implementations of network protocols are often prone to errors. These flaws lead to reduced performance, security breaches
or it may bring down the entire network. Detecting such flaws is difficult because of the exponential size of the state space and
many bugs manifest only after a prolonged operation. This paper focuses to detect the various types of flaws in network protocol
implementation. The approach is to use the packet rules derived from protocol specification and test packets generated using
symbolic execution for testing. Thus discover the violations in the implementation of network protocol DHCP. The entire system
is based on these techniques and it is being evaluated on multiple cores. This procedure can be used as a general framework for
testing other protocols.

Keywords: symbolic execution | rule based specification | testing | multicore approach

$$en!!