بهبود پیچیدگی زمانی محاسبه معیار پوشش حالت برنامه
Publish place: Sixteenth International Conference on Information Technology, Computers and Telecommunications
Publish Year: 1401
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 276
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCT16_019
تاریخ نمایه سازی: 22 شهریور 1401
Abstract:
اطمینان از صحت عملکرد نرم افزار یکی از اصل ترین مباحث حوزه ی نرم افزار میباشد. یکی از مهمترین روشهای اطمینان از درستی نرم افزار، آزمون نرم افزار است که با استفاده از کشف خطاهای برنامه از طریق اجرای آزمون باعث تولید نرم افزارهایی با کیفیت میشود. یکی از مهمترین مباحث در حوزه ی آزمون نرم افزار، ارائه ی معیاری جهت سنجش میزان اثربخشی یک مجموعه آزمون است. یکی از معیارهای تعیین اثربخشی، معیار پوشش حالت برنامه است. این معیار در واقع بیانگر تعداد حالت برنامه های متمایز اجرا شده برای خطوط میباشد . با توجه به اینکه تعداد کل حالت برنامه ها جهت نسبتسنجی میزان پوشش قابل محاسبه نیست، این معیار عدد ثابت ۱۰ را برای سنجش پوشش حالت برنامه، پیشنهاد میدهد. همچنین باتوجه به محاسبات لازم برای حالت برنامه در اجرای هر خط، پیچیدگی زمانی این معیار زیاد است. این مقاله با ارائه راهکارهایی جهت بهبود معیار پوشش حالت برنامه، پیچیدگی زمانی محاسبه ی این معیار را افزایش میدهد. جهت بهبود پیچیدگی زمانی محاسبه ی این معیار، در روش جدید به جای محاسبه تعداد حالت برنامه متمایز برای هر خط به صورت مستقل، با افراز کل خطوط برنامه، محاسبات لازم را فقط برای یکی از خطوط هر مجموعه به نمایندگی از بقیه خطوط انجام میدهد.
Keywords:
Authors
شهاب کریمی
دانشگاه صنعتی شریف
سیدحسن میریان حسین آبادی
دانشگاه صنعتی شریف