با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد).
دسته بندی:
شبکه - Network
سال انتشار:
2016
ترجمه فارسی عنوان مقاله:
آزمون پروتکل با اجرای نمادین و مشخصات مبتنی بر قانون با استفاده از رویکرد چند هسته ای
عنوان انگلیسی مقاله:
Protocol testing with symbolic execution and rule based specification using multicore approach
منبع:
Sciencedirect - Elsevier - Procedia Technology 24 ( 2016 ) 1609 – 1615
نویسنده:
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
چکیده فارسی:
اغلب، پیاده سازی پروتکل های شبکه ای با خطا مواجه می شوند . این معایب منجر به کاهش عملکرد، نقض امنیتی می گردد و یا ممکن است به کل شبکه آسیب برساند و برای آن مشکلاتی را به ارمغان آورد. تشخیص چنین نقصی به دلیل اندازه نمایی از فضای حالات و بسیاری از اشکالات تنها پس از عملیاتی طولانی مدت آشکار می شود که بسیار دشوار است. در این مقاله، تمرکز ما جهت تشخیص انواع مختلفی از نقوص در اجرای پروتکل های شبکه ای می باشد. روش مورد نظر با استفاده از قوانین بسته به دست آمده از خصوصیات پروتکل ها و آزمون های اجرا شده با استفاده از اجرای نمادین برای آزمون صورت گرفته است. بنابراین مواردی نقوض در اجرای DHCP پروتکل شبکه ای کشف شد. کل سیستم مبتنی بر این تکنیک می باشد و طی آن هسته های چندگانه را ارزیابی نموده است. این روش می تواند به عنوان یک چارچوب کلی برای تست پروتکل های دیگر استفاده شود.
کلمات کلیدی: اجرای نمادین |مشخصات مبتنی بر قوانین | آزمایش کردن | رویکرد چند هسته ای.
حجم فایل: 398 کیلوبایت
قیمت: 34320 تومان
توضیحات اضافی:
تعداد نظرات : 0