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