عنوان پایان نامه :

 ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

یک صفحه از متن پایان نامه فقط برای نمونه :

1-1-1    روش اجرای سمبلیک

هر نقطه از اجرای سمبلیک برنامه شامل مقادیری برای متغییرهای برنامه در همان نطقه، محدودیت مسیر بر مقادیر در ان نقطه و شمارنده­ی برنامه است. محدودیت مسیر در حقیقت یک فرمول بولی است که از ترکیب عطفی شرط­های مسیر پیموده شده در برنامه جمع آوری می­شود و مقادیر سمبلیک ورودی باید این شرط­های را ارضاء کنند و شمارنده­ی برنامه عبارت بعدی در برنامه که باید اجرا شود را نشان می­دهد، برای هر برنامه­ درخت اجرایی ایجاد می­شود در حقیقت با عبور از هر شرط در کد برنامه از طریق دستور fork یک انشعاب در این درخت ایجاد می­شود، اگر عبارت شرطی این انشعابات غیر ارضاء شدنی باشد مسیر مربوط غیر ممکن می­شود و اگر عبارت شرطی انشعاب برنامه ارضاء شدنی باشد آن مسیر، به عنوان یک مسیر ممکن [1]تلقی می­گردد [41]. به طور کلی داده­های تست تولید شده، به سه گروه تقسیم می­شوند:1- داده­های تست ساختاری که تولید می­شوند تا مولفه­های خاصی از ساختار برنامه پوشش ­دهند. 2- تولید کننده­ی مشخصه­ی داده­ها که داده­های تست را برای دامنه­­ی ورودی به صورت رسمی بیان می­کند. 3- تولید داده­ها به صورت خودکار. به طور معمول در روش ساختاری یک مدل انتزاعی از برنامه (یک گراف کنترل جریان) و بعضی از مدل­های اجرای سمبلیک نمایش داده می­شوند. برخی از موارد اجرای سمبل­ها نیاز به توان محاسبات عادی دارد. این محاسبات توسط عملگرهایی که در زبان برنامه نویسی برای اجرا سمبل­ها تعریف شده­اند، پشتیبانی می­شوند. در اجرای سمبلیک یک برنامه، مفاهیم تغییر می­کنند اما قواعد دستوری و کد برنامه­ی اصلی، تغییر نخواهد کرد. تنها راه ورودی اشیا داده­­ای سمبلیک به برنامه، از طریق ورودی­های آن است. این ورودی­ها به صورت لیستی مانند     تعریف می­شوند و به متغییر­های برنامه اختصاص داده می­شوند.

[1] Feasible

دانلود  رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت ورد): 

پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

دانلود  رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت pdf): 

پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

Related posts: