مقاله مهندسی نرم افزار پژوهش محور (2001 الزویر)

1. مقدمه

2. فرمول‌بندی جدید مهندسی نرم‌افزار به‌عنوان یک مسئله جستجو

2.1. نمایش

2.2. تناسب

2.3 عملگرها

3. ارزیابی ضوابط برای مهندسی نرم‌افزار مبتنی بر جستجو

3.1 اعتبار خط مبنا

3.1.1. جستجوی تصادفی

3.1.2 کشف راه‌حل‌های معلوم

3.1.3 کشف راه‌حل‌های مطلوب

3.1.4. بازدهی

3.2. اعتبارسنجی با جنبه وجود تکنیک‌های تحلیلی

3.2.1 دوری از بیاس تکنیک‌های تحلیلی

3.2.2. مسئله پر کردن فضایی حفرات با تکنیک‌های تحلیلی

3.2.3. بهینه‌سازی جزئی یا تحلیلی شبه بهینه راه‌حل‌ها

3.2.4. انتخاب تکنیک و تابع تناسب

3.3. بررسی‌های روانشناسی

4. کارهای آینده

5. نتیجه‌گیری

تقدیر و تشکر

This paper claims that a new field of software engineering research and practice is emerging: search-based software engineering. The paper argues that software engineering is ideal for the application of metaheuristic search techniques, such as genetic algorithms, simulated annealing and tabu search. Such search-based techniques could provide solutions to the difficult problems of balancing competing (and some times inconsistent) constraints and may suggest ways of finding acceptable solutions in situations where perfect solutions are either theoretically impossible or practically infeasible. In order to develop the field of search-based software engineering, a reformulation of classic software engineering problems as search problems is required. The paper briefly sets out key ingredients for successful reformulation and evaluation criteria for search-based software engineering.

این مقاله ادعا می کند که یک رشته جدید از مطالعات مهندسی نرم افزار و فعالیت های آن پدید آمده است: مهندسی نرم افزار پژوهش محور. این مقاله استدلال می کند که مهندسی نرم افزار برای کاربردِ مهارت های فوق ابتکاریِ جستجویی، مانند، الگوریتم ژنتیک، الگوریتم تبرید شبیه سازی شده، الگوریتم جستجوی ممنوعه، ایده آل می باشد. این مهارت های مبتنی بر جستجو ممکن است راه حل هایی برای محدودیت های محاسبه ی تعادلی (و گاهی اوقات ناجور)، فراهم کند و روش هایی برای یافتن راه حل هایی پذیرفته شده ارائه می دهد، در موقعیت هایی که راه حل های کامل یا از نظر تئوری غیر ممکن هستند و یا از نظر تجربی غیر عملی می باشند.

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