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