Software Reliability Modeling: Fundamentals and Applications

قابلیت اطمینان نرم افزار یکی از مهمترین ویژگی های کیفیت محصول نرم افزاری است. فن آوری های اندازه گیری و مدیریت آن در طول چرخه عمر محصول نرم افزاری برای تولید و حفظ سیستم های نرم افزاری با کیفیت / قابل اعتماد ضروری است.

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

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

Software reliability is one of the most important characteristics of software product quality. Its measurement and management technologies during the software product life cycle are essential to produce and maintain quality/reliable software systems.

Part 1 of this book introduces several aspects of software reliability modeling and its applications. Hazard rate and nonhomogeneous Poisson process (NHPP) models are investigated particularly for quantitative software reliability assessment. Further, imperfect debugging and software availability models are discussed with reference to incorporating practical factors of dynamic software behavior. Three software management problems are presented as application technologies of software reliability models: the optimal software release problem, the statistical testing-progress control, and the optimal testing-effort allocation problem.

Part 2 of the book describes several recent developments in software reliability modeling and their applications as quantitative techniques for software quality/reliability measurement and assessment. The discussion includes a quality engineering analysis of human factors affecting software reliability during the design review phase, which is the upper stream of software development, as well as software reliability growth models based on stochastic differential equations and discrete calculus during the testing phase, which is the lower stream. The final part of the book provides an illustration of quality-oriented software management analysis by applying the multivariate analysis method and the existing software reliability growth models to actual process monitoring data.