عنوان

ارائه‌ی راه‌کاری جدید برای ارزیابی صفات کیفی نرم‌افزار

‭۱۸۳۹۳پ‬

per

ارائه‌ی راه‌کاری جدید برای ارزیابی صفات کیفی نرم‌افزار

/لعیا عبدی دایلاری

: علوم ریاضی

، ‮‭۱۳۹۵‬

چاپی

کارشناسی ارشد

علوم کامپیوتر گرایش سیستم‌های کامپیوتری

‮‭۱۳۹۵/۱۰/۲۹‬

تبریز

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

By expanding the use of the software on vital issues such as control of air and rail transportation, military affairs, banking transactions and etc., development of reliable software systems, has gained importance. The use of component-based software development and assessment of reliability from architectural models in early stages of software development are the main solutions to improve system reliability. In recent years many studies have been conducted in the field of adding self-healing capabilities to components. Self-healing components as inspiration from biology, try to automatically identify and repair errors caused during the use of them. These components can improve the speed and accuracy of fixing of software bugs by reducing or eliminating the human role, as a result, the reliability of software systems increase. Although numerous methods for early assessment of the reliability of component based software systems are provided, but none of them is considered the role and impact of self-healing components on software reliability. This dessertation represents a mathematical model using discrete time Markov chain model to calculate the reliability of self-healing component-based software systems

عبدی دایلاری، لعیا

عیسی‌زاده، آیاز، استاد راهنما

کریم‌پور، جابر، استاد مشاور

لطفی، شهریار، استاد مشاور

سیاه و سفید

نمایه‌سازی قبلی