چکیده فارسی :

ما مقدار زیادی از تکنیک های آزمایش نرم افزار را در راستای آزمودن تولید نرم افزار در اختیار داریم. اگر چه استفاده از این تکنیک ها رو به رشد است، ما دانش غیر کافی در مورد آمار کمی و کیفی نسبی آن ها داریم. انتخاب تکنیک آزمایش نرم افزار در آزمودننرم افزار هم فرایند و هم کیفیت محصول را تحت تاثیر قرار می دهد. بنا بر این برای ما الزامی است که تکنیک آزمایشی را پیداکنیم که به همان میزان که موثر است کار آمد نیز باشد. هر چند کافی نیست اگر تکنیک های آزمایش فقط با مقایسه ی توانایی عیب یابی شان مورد مقایسه قرار گیرند. آن ها هم چنین باید ارزیابی شوند تا دریافته شود کدام یک از بین آن ها قابلیت اطمینان را بیشتر افزایش می دهد. برای تثبیت کردن یک تئوری سودمند در زمینه ی آزمایش ما نیاز داریم تا تکنیک های آزمایش موجود وجدید را نه تنها برای کار آیی و سود مندی بلکه برای توانایی آن ها در افزایش قابلیت اطمینان نرم افزار ، مورد ارزیابی قرار دهیم.

چکیده انگلیسی :

We have a great number of software testing techniques at our disposal for testing a software product. Although the utilization of these techniques is growing, we do have a very inadequate knowledge about their relative quantitative and qualitative statistics. The choice of a software testing technique in software testing influences both process and product quality. So it is imperative for us to find a testing technique which is effective as well as efficient. However it is not sufficient if testing techniques are only compared on fault detecting ability. They should also be evaluated to check which among them enhances reliability most. To establish a useful theory for testing, we need to evaluate existing and novel testing techniques not only for effectiveness and efficiency but also for their ability of enhancing software reliability.