مکان یابی خطاهای معنایی با استفاده از مفهوم آتاماتای یادگیر

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

کلیدواژه ها:

مکان یابی خطا ، آتاماتای یادگیر ، مستندگذاری ، تعیین کننده خطا ، پیشگوهای خطا