Comparison of modified interval models using the inhomogeneous Poisson processes with their standard counterparts
Authors: Затенко С.И. , Тарабан М.В. 
Published: September 2020

Представлен сравнительный анализ интервальных обобщенных байесовских моделей надёжности программного обеспечения на основе неоднородных процессов Пуассона с известными и хорошо зарекомендовавшими себя классическими моделями Джоэл–Окомото и Муса–Окомото. В новых интервальных моделях сочетаются принцип максимума функции правдоподобия и байесовский подход. Для нахождения параметров моделей множество всех параметров делится на два подмножества. Используя параметры первого подмножества и статистические данные, строится обобщённая байесовская модель, с помощью которой формируются границы множеств функций распределения вероятностей, зависящие от параметров второго подмножества. В дальнейшем эти параметры вычисляются с использованием принципа максимума функции правдоподобия. Такой подход позволяет получать качественный прогноз надежности программного обеспечения даже на стадии его проектирования, когда статистической информации недостаточно. Модель учитывает рост надежности программного обеспечения в процессе отладки и может настраиваться за счет изменения параметра осторожности. Качество прогноза моделей проверяется на основе сравнения прогнозируемых значений с реальными значениями времени до отказа в процессе отладки программного обеспечения. Для оценки качества прогноза моделей рассчитываются показатели – максимальное отклонение, среднее отклонение и среднеквадратическое отклонение прогнозируемых данных от реальных значений. Анализируются средние значения отклонений для моделей, подсчитанные после прогнозирования 17 и 6 значений числа отказов при параметрах осторожности s = 1 и s = 0,5. Из результатов расчета следует, что качество предлагаемых интервальных модификации выше, по сравнению с классическими моделями. Кроме того, отчетливо видно, что качество предлагаемых интервальных моделей существенно повышается, по сравнению с обычными моделями, когда количество тестов небольшое, т. е. объем статистической информации мал. Анализируя качество прогноза интервальных моделей при различных значениях параметра осторожности s, можно увидеть, что меньшие значения s приводят к более высокому качеству прогноза, когда имеется большой объем статистических данных. Однако качество прогноза падает при относительно малом числе статистических данных. Противоположное заключение можно сделать при анализе случая, когда параметр осторожности s возрастает. Результаты анализа представлены в виде графиков. Данный сравнительный анализ показал, что новые модели надёжности, основанные на использовании интервальных показателей надежности, позволяют получить более качественный прогноз, по сравнению с классическими вероятностными моделями.
The article provides a comparative analysis of interval generalized Bayesian software reliability models based on non-uniform Poisson processes with well-known and well-proven classical models of Joel–Okumoto and Musa–Okumoto. The new interval models combine the maximum likelihood function principle and the Bayesian approach. To find the model parameters, the set of all parameters is divided into two subsets. Using the parameters of the first subset and statistical data, a generalized Bayesian model is constructed, with the help of which the boundaries of the sets of probability distribution function sets are formed, depending on the parameters of the second subset. Further, these parameters are calculated using the maximum likelihood function principle. This approach allows to obtain a qualitative prediction of software reliability even at the design stage, when statistical information is insufficient. The model takes into account the increase in software reliability in the process of debugging and can be adjusted by changing the parameter of caution. The quality of the prediction of models is verified by comparing the predicted values with the real values of time to failure in the process of debugging software. To assess the quality of the prediction of models, the following indicators are calculated: the maximum deviation, the average deviation and the standard deviation of the predicted data from the real values. The average values of the deviations for the models, calculated after predicting 17 and 6 values of the number of failures with the caution parameters s = 1 and s = 0,5, are analyzed. From the results of the calculation, it follows that the quality of the proposed interval modifications is higher compared to the classical models. In addition, it is clearly seen that the quality of the proposed interval models is significantly improved compared with conventional models, when the number of tests is small, that is, the amount of statistical information is small. Analyzing the quality of the forecast of interval models for different values of the parameter of caution, one can see that smaller values lead to a higher quality of the forecast when there is a large amount of statistical data. However, the quality of the forecast falls with a relatively small number of statistical data. The opposite conclusion can be made when analyzing the case when the parameter of caution increases. The results of the analysis are presented in the form of graphs. This comparative analysis showed that new reliability models based on the use of interval reliability indicators allow us to obtain a higher- quality prediction compared to classical probabilistic models.