ЗНАХОДЖЕННЯ ПАРАМЕТРІВ СКОРИГОВАНОЇ ЛІНІЇ ЕКСПОНЕНЦІАЛЬНОЇ АПРОКСИМАЦІЇ ЕКСПЕРИМЕНТАЛЬНИХ ДАНИХ ВИЯВЛЕНИХ ДЕФЕКТІВ ПРИ ОЦІНЮВАННІ КІЛЬКОСТІ ВТОРИННИХ ДЕФЕКТІВ ПРОГРАМНИХ ЗАСОБІВ
DOI:
https://doi.org/10.26906/SUNZ.2018.6.074Ключові слова:
якість програмного забезпечення, надійність програмного забезпечення, дефект, вторинний дефект, недосконале відлагодження, експоненціальна апроксимація, полігон частот дефектів, модель оцінки надійності програмних засобів, скоригована лінія експоненціальнАнотація
У статті проведено аналіз місця характеристики надійність програмного забезпечення в структурі моделей якості програмного забезпечення. Визначено, що в ієрархічній структурі більшості моделей якості програмного забезпечення характеристика надійність є першою підхарактеристикою характеристики якість. Виділені п’ять принципів урахування вторинних дефектів програмних засобів. Для урахування вторинних дефектів програмних засобів використовується: теорія динаміки програмних систем, у якій процеси прояву дефектів у програмних засобах розглядаються як результат дії детермінованих потоків дефектів; теорія часових рядів, де виділяються вторинні дефекти із загального потоку дефектів; імітаційне моделювання; модифікація функцій ризику моделей оцінки надійності програмних засобів та функцій, що характеризують параметри цих моделей, внесенням імовірнісних коефіцієнтів; модифікація функцій ризику моделей оцінки надійності програмних засобів шляхом внесення параметра, що визначає число вторинних дефектів, який визначається порівнянням значень полігона частот дефектів з відповідними значеннями функції регресії. Проаналізовано поняття недосконалого відлагодження програмного забезпечення у контексті урахування вторинних дефектів. Обґрунтовано вибір експоненціальної апроксимації полігона частот виявлених дефектів програмних засобів. Наведено приклади моделей оцінки надійності програмних засобів, функції ризику яких містять експоненціальну складову. Розглянуто послідовність знаходження коефіцієнтів функції, одержаної в результаті зміщення лінії експоненціальної апроксимації полігона частот виявлених дефектів програмних засобів. Показано застосування одержаних коефіцієнтів для методики оцінювання числа вторинних дефектів, що ґрунтується на порівнянні даних статистики числа дефектів і даних зміщеної лінії експоненціальної апроксимації полігона частот дефектів. Одержані рівняння скоригованої лінії експоненціальної апроксимації для вибірок малих і великих об’ємів. Одержані формули для обчислення числа вторинних дефектів на часових інтервалах без урахування та із урахуванням поправки Бесселя.Завантаження
Посилання
Гордеев А. А. Эволюция моделей качества программного обеспечения: методика и результаты анализа в контексте стандарта ISO 25010 / А. А. Гордеев, В. С. Харченко // Системы обработки информации. – 2013. – №6(113), C. 15-34. 1. 2 Dromey G. R. A model for software product quality // IEEE Trans. on software Eng. – 1995. Vol.21, no. 2, pp.146-162.
3 International standard ISO/IEC FDIS 25010. System and software quality models. – 2010, 34 p.
Маєвський Д.А. Структурна динаміка програмних систем і прогнозування їх надійності при наявності вторинних дефектів / Д.А. Маевский // Радіоелектронні і комп’ютерні системи. – 2010. – № 3 (44). – С. 103-109.
CASE-оценка критических программных систем. Т. 2. Надежность [Монография] / Одарущенко О.Н., Харченко В.С., Маевский Д.А. и др. – Под ред. Харченко В.С. – Х.: Нац. аэрокосм. ун-т им. Н.Е. Жуковского“ХАИ”, 2012. – 292 с.
Maevsky D. A. Software reliability. Non-probabilistic approach / D. A. Maevsky, H. D. Maevskaya, A. A. Leonov // RT&A # 03 (26) – 2012, P. 8-20.
Маевский Д. А. Использование теории временных рядов для выделения вторичных ошибок на этапе тестирования программного обеспечения / Д.А. Маевский, О.П. Жеков // Радіоелектронні і комп’ютерні системи. –2011. – № 2 (16). – С. 82-85.
Мищенко В.О. Термодинамический подход к моделированию процесса роста надежности программных средств с учетом «вторичных дефектов» / В.О.Мищенко // Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління». – 2015. – Вип. 28. – С. 91-106.
Mahapatra G. S. Modified Jelinski-Moranda Software Reliability Model with Imperfect Debugging Phenomenon / G. S. Mahapatra, P. Roy // International Journal of Computer Applications – 2012. – № 18 – Р. 38-46.
Одарущенко О.Н. Метод оценивания надежности программных средств с учетом вторичных дефектов / О.Н. Одарущенко, А.А. Руденко, В.С. Харченко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7 (59). – С. 294-300.
Peng R., Liu J. Simulated Software Testing Process Considering Debuggers with Different Detection and Correction Capabilities. International Journal of Performability Engineering, Vol. 13, no. 3, 2017, 334-336
Peng R, Li YF, Zhang WJ, Hu QP. Testing effort dependent software reliability model for imperfect debugging process considering both detection and correction. Reliability Engineering & System Safety. 2014; 126: 37–43.
Pham H. An Imperfect-debugging Fault-detection Dependent-parameter Software. International Journal of Automation and Computing. 2007; 04(4): 325-328.
Половко А.М. Основы теории надежности. / А.М. Половко, С.В. Гуров – СГ БХВ-Петербург, 2006. – 704 с.
Hamilton P.A., Musa J.D. Measuring reliability of Computation Center Software // Proc.3-thInternat. Conf. on Software. Eng. May 10-12 1978. – P.29-36.
Schneidewind N. F. Software Reliability Model with Optimal Selection of Failure Data // IEEE Transactions on Software Engineering. - 1993. - Vol. 19, No. 11. Nov. - P. 1095-1104.
Yamada S., Ohba M., Osaki S. S-shaped software reliability grows modeling for software error detection // IEEE Trans. Reliability. - 1983. - R-32. - № 5. - P. 475-518.
Ohba M. Software Reliability Models // IBM J. Res. Develop. - 1984. - 28. - № 4. - P. 428-443.
Rudenko O., Odarushchenko E., Rudenko Z., Rudenko M., “The Secondary Software Faults Number Evaluation Based on Correction of the Experimental Data Exponential Line Approximation“, Conference Proceedings of 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies DESSERT’2018, Kyiv, 2018, pp. 401-405.
Мармоза А.Т. Практикум по математической статистике: Учеб. пособие / А.Т. Мармоза – К.: Выща шк., 1990. – 191 с.