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