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

چكيده
موضوع اصلی در تضمین کیفیت نرم¬افزار، آزمون آن است که بسیار دشوار و پر¬هزینه است و به طور تقریبی بين 40% تا 50% از زمان و هزینه کل برای توسعه نرم¬افزار را صرف می¬کند. آزمون نرم¬افزار از سه مرحله اصلي تشكيل شده است: ايجاد مورد آزمون، اجراي آزمون و ارزيابي آزمون. قسمت چالش¬انگیز برای آزمون، طراحی مورد¬هاي آزمون است كه هسته اصلي در هر فرآيند آزمون است. ایجاد مورد آزمون به صورت دستی، کاری خسته-کننده، خطازا و هزینه¬بر است. مورد¬های آزمون به طور معمول بر اساس کد برنامه ایجاد می¬شوند. ایجاد خودکار مورد آزمون یک عامل اصلی برای رسیدن به سطح بالایی از قابلیت اطمینان است. روش¬های زیادی برای ایجاد مورد¬هاي آزمون به صورت خودكار ارائه شده است. در اين مقاله، به بررسي روش¬هاي ايجاد مورد¬هاي آزمون به صورت خودكار و مقايسه آن¬ها با يكديگر پرداخته مي¬شود.
كلمات كليدي: آزمون نرم¬افزار، معيار پوشش، ايجاد خودکار مورد آزمون، الگوريتم¬هاي تكاملي