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