متن کامل این مقاله به زبان انگلیسی می باشد. لطفا برای مشاهده متن کامل مقاله به بخش انگلیسی مراجعه فرمایید.لطفا برای مشاهده متن کامل این مقاله اینجا را کلیک کنید.

فازینگ نرم‌افزار، روشی برای یافتن آسیب‌پذیری‌های امنیتی در برنامه‌های کاربردی است. در این روش با ارسال داده‌های تصادفی به برنامه، سعی می‌شود مواردی پیدا شود که منجر به رفتارهای نامطلوب و خطاهایی همچون خرابی حافظه یا دسترسی‌های غیرمجاز شود. یکی از روش‌های پیشنهادی برای بهبود و اثربخشی فازینگ، استفاده از تحلیل نمادین و اجرای پویا-نمادین است. در این روش علاوه بر تولید داده‌های تصادفی، از تحلیل منطقی برنامه و اجرای نمادین آن برای تولید داده‌هایی استفاده می‌شود که بتوانند مسیرهای جدیدی از اجرای برنامه را پوشش دهند. در این پژوهش نشان داده‌ایم که می‌توان از روش اجرای پویا-نمادین برای فازینگ پروتکل‌های شبکه استفاده نمود و همچنین این فرایند را بهبود بخشید. بدین منظور اولین چارچوب برای فازینگ ترکیبی پروتکل‌های شبکه طراحی و پیاده‌سازی شده است. نتایج بر روی دو سرویس dcmtk و dnsmasq نشان می‌دهند که فازینگ ترکیبی در معیار پوشش کد نسبت به فازینگ سنتی عملکرد بهتری دارد. پوشش شاخه در سرویس dcmtk مقدار 2.71 درصد نسبت به AFLNet بهبود داشته است که توانسته عملکرد منفی NyxNet نسبت به AFLNet را مثبت نماید. همچنین پوشش شاخه در سرویس dnsmasq نسبت به AFLNet مقدار 37.72 درصد و نسبت به NyxNet مقدار 11.82 درصد بهبود داشته است.

در این مقاله، یک فازر جعبه خاکستری، جهت کشف آسیب­ پذیری­ در کدهای باینری اجرایی ارائه شده است. بررسی­ ها نشان می­ دهد که آزمون فازینگ دارای سه مشکل اساسی است. در ابتدا، فضای ورودی فراهم شده جهت پوشش مسیرهای اجرایی برنامه، توسط فازرها می­ تواند بسیار بزرگ باشد. از سوی دیگر به واسطه بزرگی فضای ورودی، اغلب فازرها پوشش نامناسبی از مسیرهای اجرای کد را ارائه می­ دهند. درنهایت، به دلیل این پوشش نامناسب، تعداد زیادی از آسیب پذیری های ممکن در مسیرهای نادیده گرفته شده، آشکار نمی­ گردند. روش پیشنهادی این مقاله، مشکل بزرگی فضای ورودی را با محدود کردن تولید داده آزمون به پوشش مسیرهای مشکوکی که الگوهای آسیب پذیری در آن­ ها بیشتر مشاهده شده، در طی یک فرایند تکاملی، حل نموده است. در راهکار ارائه شده، زمانی که یک داده آزمون یک آسیب پذیری را در یک مسیر اجرایی آشکار می­ کند، داده آزمون بعدی به گونه ای تولید می­ شود که باعث رخداد آن آسیب­ پذیری ­ شود. درنتیجه تعداد آسیب­ پذیری­ های شناسایی شده افزایش می­ یابد. ارزیابی های انجام شده، کارایی برتر روش پیشنهادی را در مقایسه با سایر روش­ های آزمون فازینگ نشان می­ دهند.

هدف: ارزیابی کیفی وب سایت های آرشیوهای ملی جهان با دو روش وب کیوای ام و فاز- وب و در نهایت، طراحی یک نظام استنتاج فازی.روش شناسی: پژوهش حاضر به لحاظ هدف از نوع کاربردی بود که به روش توصیفی- پیمایشی انجام شد. 65 وب سایت آرشیو ملی جهان با سیاهه وارسی که بر اساس روش وب کیوای ام و برای جامعه پژوهش طراحی و وزن دهی شده بود و از طریق ابزارهای پیوسته روش فاز- وب ارزیابی شد. سپس با استفاده از داده های روش فاز- وب در نرم افزار Matlab یک نظام استنتاج فازی طراحی شد.یافته ها: میانگین امتیاز وب سایت های آرشیوهای ملی جهان با روش وب کیوای ام 0.51 و با روش فاز- وب 0.505 به دست آمد. بین نتایج ارزیابی با دو روش وب کیوای ام و فاز- وب اختلاف معنا داری مشاهده نشد.نتیجه گیری: وب سایت های آرشیوهای ملی جهان از نظر قابلیت استفاده و قابلیت عملکرد، نسبت به سایر معیارها نقاط ضعف بیشتری داشتند. بر این اساس، طراحان وب سایت های آرشیوی باید برای برطرف کردن این نقاط شعف تلاش کنند. چون استفاده از نظام استنتاج فازی امکان بازبینی را می دهد، از این طریق می توان کیفیت وب سایت ها را به طور مستمر بررسی کرد.

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

آزمون فازی یک فن آزمون پویای نرم افزار است. در این فن با تولید ورودی های بدشکل و تزریق پی در پی آن ها به نرم افزار تحت آزمون، دنبال یافتن خطا ها و آسیب پذیری های احتمالی آن هستیم. ورودی اصلی بسیاری از نرم افزارهای دنیای واقعی فایل است. تعداد زیادی از داده های آزمون که برای آزمون فازی این نرم افزارها تولید می شوند در همان مراحل اوّلیه به علّت نداشتن قالب مورد قبول، توسط پویش گر فایل برنامه رد می شوند. در نتیجه شاهد پوشش کم کد برنامه در روند آزمون فازی هستیم. استفاده از گرامرِ ساختار فایل برای تولید داده آزمون، منجربه افزایش پوشش کد می گردد، اما این گرامر معمولاً به صورت دستی تهیه می شود که کاری زمان بر، پرهزینه و مستعد خطا است. در این مقاله روشی نو با استفاده از مدل های زبانی عصبی ژرف برای یادگیری خودکار ساختار فایل و سپس تولید و فاز داده های آزمون ارائه شده است. آزمایش های ما بهبود پوشش کد روش پیشنهادی را در مقایسه با دیگر روش های تولید داده آزمون نشان می دهد. برای نرم افزار MuPDF که قالب فایل پیچیده PDF را به عنوان ورودی می پذیرد، بیش از 30/1 تا 12 درصد بهبود پوشش کد را نسبت به روش های هوشمند و روش تصادفی داشته ایم.

پژوهش حاضر حاصل تحلیل محتوای کتاب آزمون در زبان انگلیسی،: نظریه ها و کاربردها نوشته فرهادی، جعفرپور و بیرجندی-که یکی از مهم ترین و فراگیرترین منابع درس آزمون سازی گرایش های مختلف رشته زبان انگلیسی است-می باشد. طی این پژوهش، با به کارگیری چارچوب ارزیابی کتب مک دانه، شاو، و ماسوهارا (2013)، به بررسی همه جانبه اثر در قالب دو مرحله ارزیابی بیرونی و درونی پرداخته شد. مصادیق عینی اظهارات و مفروضات مستخرج نویسندگان در مقدمه کتاب، ازجمله زبان و بیان روان، جامع بودن مطالب، چینش منطقی مطلوب مطالب و مرتبط بودن آن با بافت ایران طی بررسی خط به خط کتاب در مرحله ارزیابی درونی مورد بررسی قرار گرفتند تا میزان پوشش و نمود آن ها در قالب شکل، محتوا، و روش شناسی اثر مشخص گردد. متعاقبا نقاط قوت و ضعف هر زمینه ای با استناد به اصول پذیرفته شده و جدیدترین یافته های رشته به تفکیک ارایه شده اند. در پایان پیشنهادهایی جهت بهبود کتاب در ویرایش های احتمالی آتی آمده است.

مقدمه: cytology testing در کاهش میزان بروز سرطان دهانه رحم و کاهش مرگ و میر موفق بوده است. همچنین آزمایش های مولکولی مانند HPV typing، Aptima test می تواند اثربخشی غربالگری برای این نوع بدخیمی را بهبود بخشد. بر آن شدیم تا در این مطالعه ارزش تشخیصی تست های cytology testing، High-risk HPV DNA typing و APTIMA را در مقایسه با نتیجه بیوپسی سرویکس در تشخیص کنسر و نیوپلازی سرویکس بررسی نماییم. روش ها: تمام بانوان بالای 21 سال و زیر 65 سالی که علایم بالینی داشتند یا جهت تست غربالگری یا علایم بالینی مراجعه کرده بودند وارد مطالعه شدند. با استخراج نتایج تست های cytology testing، High-risk HPV DNA typing و APTIMA از پرونده بیماران sensitivity و specifity این تست ها را محاسبه کردیم. یافته ها: cytology testing دارای حساسیت 59٪ برای CIN2+ و ویژگی 61٪ بود. برای CIN I، حساسیت و ویژگی cytology testing بالاتر بود (63٪ و 71٪ ). Typing High-risk HPV DNA برای CIN2+ بیشترین حساسیت (76٪ ) را داشت، اما ویژگی آن کم (66٪ ) بود. حساسیت و ویژگی آن برای CIN I 51٪ و 74٪ ، بود. آزمون آپتیما دارای حساسیت 7. 53٪ و ویژگی 87. 5٪ برای CIN2+ بود که حساسیت کمتری نسبت به Typing High-risk HPV DNA داشت، اما دارای ویژگی بالاتر بود. حساسیت آزمون آپتیما برای CIN I بسیار پایین بود (22. 2٪ )، اما ویژگی آن بسیار بالا بود (87. 5٪ ). نتیجه گیری: در این مطالعه نشان داده شد که High-risk HPV DNA typing بیشترین حساسیت (75. 9٪ ) و APTIMA Test بیشترین ویژگی (87. 5٪ ) را در پیشگویی CIN2+ در بین این سه تست دارد.