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

با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد). 

مقالات ترجمه شده شبکه ( Network )
  • Protocol testing with symbolic execution and rule based specification using multicore approach آزمون پروتکل با اجرای نمادین و مشخصات مبتنی بر قانون با استفاده از رویکرد چند هسته ای
    دانلود مقاله | مقاله انگلیسی رایگان | خرید ترجمه فارسی مقاله

    دسته بندی:

    شبکه - 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 پروتکل شبکه ای کشف شد. کل سیستم مبتنی بر این تکنیک می باشد و طی آن هسته های چندگانه را ارزیابی نموده است. این روش می تواند به عنوان یک چارچوب کلی برای تست پروتکل های دیگر استفاده شود.
    کلمات کلیدی: اجرای نمادین |مشخصات مبتنی بر قوانین | آزمایش کردن | رویکرد چند هسته ای.


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 7
    تعداد صفحات فایل doc فارسی(با احتساب مراجع): 13

    وضعیت ترجمه عناوین تصاویر و جداول: به صورت کامل ترجمه شده است

    وضعیت ترجمه متون داخل تصاویر و جداول: به صورت کامل ترجمه شده است

    حجم فایل: 398 کیلوبایت


    قیمت: 34320 تومان   


    توضیحات اضافی:




اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

تعداد نظرات : 0

الزامی
الزامی
الزامی
rss مقالات ترجمه شده rss مقالات انگلیسی rss کتاب های انگلیسی rss مقالات آموزشی
logo-samandehi
بازدید امروز: 1360 :::::::: بازدید دیروز: 0 :::::::: بازدید کل: 1360 :::::::: افراد آنلاین: 84