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


در حال بارگذاری
14 سپتامبر 2024
فایل ورد و پاورپوینت
2120
4 بازدید
۶۹,۷۰۰ تومان
خرید

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله تولید خودکارداده های آزمون با استفاده ازاجرای کانکالیک CECIT دارای ۸ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله تولید خودکارداده های آزمون با استفاده ازاجرای کانکالیک CECIT  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

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


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

تعداد صفحات:۸
چکیده:
آزمون نرم افزارگران است و نیروی انسانی زیادی نیاز دارد طوریکه بیش از۵۰درصد هزینههای توسعه نرم افزار را به خود اختصاص میدهد و برای کاربردهای بحرانی امن حتی این درصد بیشتر است یکی ازاهداف ازمون نرم افزار خودکارسازی تاحدممکن برای کاهش عمده هزینه آن و کمینه کردن خطای بشر است از این رو تاکنون سه روش اصلی برای ازمون خودکارن رم افزار ارایه شده است درازمون تصادفی برنامه ها روی مقادیر ورودی تولید شده بصورت تصادفی مورد ازمون قرارمیگیرند درازمون نمادین برنامه ها به جای مقادیر واقعی با مقادیر نمادین ا جرا میشوند ازمون کانکالیک نیز ازمقادیر واقعی و مقادیر نمادین برای ورودیها استفاده می کند و برنامه را هم بصورت نمادین و هم به صورت واقعی اجرا می کند که این عمل اجرای کانکالیک یا اجرای نمادین پویا نامیده میشود دراین مقاله ابزارخودکاری برای آزمون برنامه های C ارایه شده است که ازاجرای کانکالیک استفاده میکند این ابزار برای مستندگذاری برنامه ها ازCIL و برای حل کردن محدودیت ها ازYices استفاده می کند. نتایج نشان میدهد که این ابازر پوشش انشعاب را درمقایسه با ابزارهای مشابه بطور میانگین ۱۰درصد بهبود داده است

  راهنمای خرید:
  • در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.