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

دومین کنگره بین المللی عمران، معماری و شهرسازی معاصر- دبی  

برای مشاهده جزییات بر روی اینجا کلیک کنید

ورود اعضا
توجه توجه توجه !!!!
نرم افزار winrar
پیشنهادات ویژه
پیوندهای کاربردی
پیوندهای مرتبط
مقالات ترجمه شده شبکه
  • آزمون پروتکل با اجرای نمادین و مشخصات مبتنی بر قانون با استفاده از رویکرد چند هسته ای

    سال انتشار:

    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 کیلوبایت


    قیمت: 20000 تومان  18000 تومان(10% تخفیف)


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




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

الزامی
الزامی
الزامی
شبکه-
موضوعات