دانشجو محمد هانی فولادگردانشجوی کارشناسی ارشد جناب آقای دکتربهروز مینایی، روز چهارشنبه 11/3/90 ساعت 10 صبح در اتاق 304 واقع در طبقه سوم دانشکده کامپیوتر ازپروژه کارشناسی ارشد خود تحت عنوان ارائه سیستمی برای کشف پویای نامتغیرها ی شرطی با استفاده از قوانین انجمنی دفاع خواهد کرد.

  چکیده پایان نامه :

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

  Software engineering includes some different process such as designing, implementing and modifying of software. All these process are done to have fast developed software as well as reach a high quality, efficient and maintainable software. Invariants help programmer and tester to do most steps of software engineering more easily. Because of high usage of arrays in programs an since arrays and pointers are more probable to be faulty ; enriching dynamically detected invariant in the case of arrays can be useful. On the other hand, invariants are mostly always true but of course with a specific confidence; since some invariants are produced in some conditions of program execution and not always, conditional invariants can show the behavior of program so much better. In this context, we check the program code to extract the variables’ properties and relations in some specific program points (usually function entries and exits). These properties and relations are recorded in a text file and then f or producing of conditional invariants, it might be used some technique of data mining such as association rule mining or using decision tree to obtain rules. The obtained rules are conditional invariants.

ارائه­دهنده:

محمد هانی فولادگر

  اساتید راهنما:

  دکتر بهروز مینایی

  استاد ممتحن خارجی : دکتر منوچهر مرادی

  استاد ممتحن داخلی :دکتر سعید پارسا

زمان : چهارشنبه11خرداد ماه 1390

  ساعت 10 صبح

  مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق 304

  از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان به موضوع دفاعیه دعوت
می شود با حضور خود موجبات غنای علمی و ارتقای کیفی را فراهم سازند.

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی