تولید خودکارداده های آزمون با استفاده ازاجرای کانکالیک CECIT
محل انتشار: کنگره ملی مهندسی برق، کامپیوتر و فناوری اطلاعات
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 906
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CECIT01_127
تاریخ نمایه سازی: 14 شهریور 1392
چکیده مقاله:
آزمون نرم افزارگران است و نیروی انسانی زیادی نیاز دارد طوریکه بیش از50درصد هزینههای توسعه نرم افزار را به خود اختصاص میدهد و برای کاربردهای بحرانی امن حتی این درصد بیشتر است یکی ازاهداف ازمون نرم افزار خودکارسازی تاحدممکن برای کاهش عمده هزینه آن و کمینه کردن خطای بشر است از این رو تاکنون سه روش اصلی برای ازمون خودکارن رم افزار ارایه شده است درازمون تصادفی برنامه ها روی مقادیر ورودی تولید شده بصورت تصادفی مورد ازمون قرارمیگیرند درازمون نمادین برنامه ها به جای مقادیر واقعی با مقادیر نمادین ا جرا میشوند ازمون کانکالیک نیز ازمقادیر واقعی و مقادیر نمادین برای ورودیها استفاده می کند و برنامه را هم بصورت نمادین و هم به صورت واقعی اجرا می کند که این عمل اجرای کانکالیک یا اجرای نمادین پویا نامیده میشود دراین مقاله ابزارخودکاری برای آزمون برنامه های C ارایه شده است که ازاجرای کانکالیک استفاده میکند این ابزار برای مستندگذاری برنامه ها ازCIL و برای حل کردن محدودیت ها ازYices استفاده می کند. نتایج نشان میدهد که این ابازر پوشش انشعاب را درمقایسه با ابزارهای مشابه بطور میانگین 10درصد بهبود داده است
کلیدواژه ها:
نویسندگان
محمود لک
دانشگاه آزاد اسلامی واحد شبستر
سعید پارسا
دانشگاه علم و صنعت
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :