CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

تولید خودکار داده آزمون در فازرهای قالب فایل

عنوان مقاله: تولید خودکار داده آزمون در فازرهای قالب فایل
شناسه ملی مقاله: JR_PADSA-8-1_001
منتشر شده در شماره 1 دوره 8 فصل در سال 1399
مشخصات نویسندگان مقاله:

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

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

کلمات کلیدی:
آزمون فازی, داده آزمون, پوشش کد, شبکه عصبی مکرر, مدل زبانی, یادگیری ژرف

صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1035909/