بررسي و مقايسه روش هاي ارزيابي قابليت اطمينان نرم افزار با استفاده از مدل هاي ماركوف

امروزه با پیشرفت روزافزون تكنولوژی و فناوری اطلاعات، نیاز مبرم به سیستم های نرم افزاری به وجود آمده است. لذا جهت داشتن یك سیستم نرم افزاری امن و مطمئن باید نرم افزار را قبل از اینكه اجرا شود، بر اساس نیازمندی های كیفی پیش ارزیابی كرد. از جمله این ویژگی ها، قابلیت اطمینان است كه روش های ارزیابی آن بر اساس مدل های ماركوف و با توجه به مدل مبتنی بر حالت معماری نرمافزار، مورد بررسی قرار می گیرد. انواع مدل های ماركوف برای پیشبینی قابلیت اطمینان، از جمله، مدل ماركوف زمان گسسته، مدل ماركوف زمان پیوسته و فرآیند نیمه ماركوف هستند. در این مقاله مدل های ماركوف به طور كامل شرح داده شده و بر اساس روش های ارزیابی سلسله مراتبی و مركب، بررسی شده اند. مدل های ماركوف زمان گسسته و پیوسته بر اساس معماری و روش ارزیابی مقایسه شده و نتیجه می شود كه مدل ماركوف زمان گسته بر اساس روش سلسله مراتبی، روش دقیق و مطمئنی به ما خواهد داد.