کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
7547652 1489806 2016 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Discrete time software reliability modeling with periodic debugging schedule
ترجمه فارسی عنوان
مدل سازی قابلیت اطمینان نرم افزار زمان گسسته با برنامه اشکالزدایی دوره ای
کلمات کلیدی
مقیاس زمان گسسته، اشکالزدایی دوره ای احتمال احتمال ماتریس کوواریانس، احتمال پوشش، احتمال تشخیص خطای نامتقارن،
ترجمه چکیده
در بسیاری از موارد، چندین نسخه از یک نرم افزار به صورت موازی با موارد مختلف آزمون به عنوان ورودی مورد آزمایش قرار می گیرند، و اشتباهات شناسایی شده از یک دور خاص از آزمایش، با یکدیگر ادغام می شوند. در این مقاله، ما یک مدل زمان گسسته از قابلیت اطمینان نرم افزار برای چنین سناریوی اشکالزدایی دوره ای را مورد بحث قرار می دهیم. ما پیشنهاد استدلال مبتنی بر احتمال پارامترهای مدل، از جمله تعداد اولیه خطاها، به این فرض است که تمام خطاها به احتمال زیاد قابل تشخیص هستند. روش پیشنهادی برای برآورد قابلیت اطمینان نرم افزار استفاده می شود. ما عادی همبستگی پارامترهای مدل برآورد شده را تعیین می کنیم. عملکرد روش پیشنهادی از طریق یک مطالعه شبیه سازی مورد ارزیابی قرار می گیرد و استفاده از آن از طریق تجزیه و تحلیل داده های مجموعه ای که از آزمایش یک نرم افزار کنترل پرواز در زمان واقعی بدست می آید، نشان داده شده است. ما همچنین یک مدل کلی تر را در نظر می گیریم که در آن اشتباهات مختلف دارای احتمال های مختلف تشخیص هستند.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات آمار و احتمال
چکیده انگلیسی
In many situations, multiple copies of a software are tested in parallel with different test cases as input, and the detected errors from a particular round of testing are debugged together. In this article, we discuss a discrete time model of software reliability for such a scenario of periodic debugging. We propose likelihood based inference of the model parameters, including the initial number of errors, under the assumption that all errors are equally likely to be detected. The proposed method is used to estimate the reliability of the software. We establish asymptotic normality of the estimated model parameters. The performance of the proposed method is evaluated through a simulation study and its use is illustrated through the analysis of a dataset obtained from testing of a real-time flight control software. We also consider a more general model, in which different errors have different probabilities of detection.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Statistical Methodology - Volume 33, December 2016, Pages 147-159
نویسندگان
, , ,