محمود لک - دانشگاه آزاد اسلامی واحد شبستر
سعید پارسا - دانشگاه علم و صنعت

آزمون نرم افزارگران است و نیروی انسانی زیادی نیاز دارد طوریکه بیش از50درصد هزینههای توسعه نرم افزار را به خود اختصاص میدهد و برای کاربردهای بحرانی امن حتی این درصد بیشتر است یکی ازاهداف ازمون نرم افزار خودکارسازی تاحدممکن برای کاهش عمده هزینه آن و کمینه کردن خطای بشر است از این رو تاکنون سه روش اصلی برای ازمون خودکارن رم افزار ارایه شده است درازمون تصادفی برنامه ها روی مقادیر ورودی تولید شده بصورت تصادفی مورد ازمون قرارمیگیرند درازمون نمادین برنامه ها به جای مقادیر واقعی با مقادیر نمادین ا جرا میشوند ازمون کانکالیک نیز ازمقادیر واقعی و مقادیر نمادین برای ورودیها استفاده می کند و برنامه را هم بصورت نمادین و هم به صورت واقعی اجرا می کند که این عمل اجرای کانکالیک یا اجرای نمادین پویا نامیده میشود دراین مقاله ابزارخودکاری برای آزمون برنامه های C ارایه شده است که ازاجرای کانکالیک استفاده میکند این ابزار برای مستندگذاری برنامه ها ازCIL و برای حل کردن محدودیت ها ازYices استفاده می کند. نتایج نشان میدهد که این ابازر پوشش انشعاب را درمقایسه با ابزارهای مشابه بطور میانگین 10درصد بهبود داده است

آزمون کانکالیک، اجرای کانکالیک، اجرای نمادین، حل کردن محدودیت، مستندگذاری