شهاب کریمی - دانشگاه صنعتی شریف
سیدحسن میریان حسین آبادی - دانشگاه صنعتی شریف

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

آزمون نرم افزار، اثربخشی موارد آزمون، پوشش حالت برنامه، پیچدگی زمانی محاسبه معیار آزمون