تولید خودکارداده های آزمون با استفاده ازاجرای کانکالیک CECIT
Publish place: Congress on Electrical, Computer and Information Technology
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 945
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CECIT01_127
تاریخ نمایه سازی: 14 شهریور 1392
Abstract:
آزمون نرم افزارگران است و نیروی انسانی زیادی نیاز دارد طوریکه بیش از50درصد هزینههای توسعه نرم افزار را به خود اختصاص میدهد و برای کاربردهای بحرانی امن حتی این درصد بیشتر است یکی ازاهداف ازمون نرم افزار خودکارسازی تاحدممکن برای کاهش عمده هزینه آن و کمینه کردن خطای بشر است از این رو تاکنون سه روش اصلی برای ازمون خودکارن رم افزار ارایه شده است درازمون تصادفی برنامه ها روی مقادیر ورودی تولید شده بصورت تصادفی مورد ازمون قرارمیگیرند درازمون نمادین برنامه ها به جای مقادیر واقعی با مقادیر نمادین ا جرا میشوند ازمون کانکالیک نیز ازمقادیر واقعی و مقادیر نمادین برای ورودیها استفاده می کند و برنامه را هم بصورت نمادین و هم به صورت واقعی اجرا می کند که این عمل اجرای کانکالیک یا اجرای نمادین پویا نامیده میشود دراین مقاله ابزارخودکاری برای آزمون برنامه های C ارایه شده است که ازاجرای کانکالیک استفاده میکند این ابزار برای مستندگذاری برنامه ها ازCIL و برای حل کردن محدودیت ها ازYices استفاده می کند. نتایج نشان میدهد که این ابازر پوشش انشعاب را درمقایسه با ابزارهای مشابه بطور میانگین 10درصد بهبود داده است
Keywords:
Authors
محمود لک
دانشگاه آزاد اسلامی واحد شبستر
سعید پارسا
دانشگاه علم و صنعت
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :