ارائه الگوریتمی کارا برای تجهیز کردن خودکار برنامه ها با هدف تحلیل معیار پوشش مسیر جهت آزمون و اشکال زدایی

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

کلیدواژه ها:

تحلیل پویا برنامه ، تجهیز کردن برنامه ، گراف جریان کنترلی و پوشش مسیر