7257

تحليل پوياي نرم افزار مبتني بر پوشش گراف برنامه

كارشناسي

مهندسي كامپيوتر

1399

دكتر حسن نادري

1400/03/30

كامپيوتر

dynamic code analyse based on cotrol flow graph prime path coverage

در چرخه‌ي حيات نرم‌افزار مرحله‌ي پس از طراحي و توسعه، آزمون يا بررسي صحت نرم افزار توليد شده است. آزمون به روش‌هاي دستي يا خودكار صورت مي‌پذيرد. در آزمون خودكار يكي از مسائل بررسي تمامي حالت‌هاي ممكن براي نرم افزار است، تا در هنگام استفاده واقعي نسبت به عملكرد صحيح در هر شرايطي اطمينان وجود داشته باشد. از روش‌هاي بررسي ميزان پوشش تمامي حالات توسط يك مجموعه آزمون مي‌توان درصد پوشش مجموعه آزمون بر مسيرهاي موجود در گراف جريان كنترلي برنامه را نام برد. در اين پايان نامه برنامه‌اي ارائه شده است كه براي كد منبع C++ ابتدا گراف جريان كنترلي را استخراج نموده، سپس با فراكد گذاري كد منبع و اجراي آن با داده‌هاي آزمون داده شده ميزان كيفيت مجموعه آزمون را بررسي مي‌كند.

آزمون نرم افزار , گراف جريان كنترلي , تجزيه نحوي , فراكد گذاري , مسير اجرا , درصد پوشش , مسير اصلي , انتلر