Термодинамічний підхід до моделювання процесу росту надійності ПЗ з урахуванням «вторинних дефектів»
Ключові слова:
надійність програмних систем; вторинні дефекти; концепція; термодинаміка; фазовий перехід; імітаційна модель; статистика; верифікація
Анотація
У статті на основі термодинамічного підходу розроблено концепцію моделювання процесів росту надійності програмних систем, яка допускає появу т.зв. вторинних дефектів при виправленнях в системі. Відсутність таких дефектів у процесі трактується як властивість зрілості системи, що означає завершення нею певного фазового переходу. Виявлення дефектів і поява нових в процесі виправлень можуть відтворюватися модельним генератором. Можна судити про точність існуючих моделей надійності, що враховують вторинні дефекти, за їхніми оцінками на підставі статистики процесу імітації, подібної статистиці реальних проектів на підставі статистики процесу імітації, подібної статистиці реальних проектів.
Завантаження
##plugins.generic.usageStats.noStats##
Посилання
CASE-оценка критических программных систем. Т. 2. Надежность [Монография] / Одарущенко О . Н. , Харченко В. С. , Маевский Д. А. и др. – Под ред. Харченко В. С. – Х. : Нац. аэрокосм. ун-т и м. Н . Е . Жуковского “ХАИ”, 2012. – 292 с.
Мищенко В.О. Термодинамический подход к моделированию процесса программирования / В. О. Мищенко // Моделирование и программное обеспечение систем и технологий. Часть 1. Математическое моделирование физических процессов и технических систем. – научно-методический сб. – Харьков, 2014. – С. 209-260.
Maevsky D. A. Software reliability. what is it? / Dmitry A. Maevsky, Igor A. Ushakov, Ludmila N. Shapa // RT&A # 04 (31) (Vol.8) 2013, December. – P. 60-65.
Одарущенко О. Н. Учет вторичных дефектов в моделях надежности программных средств / О. Н. Одарущенко, А. А. Руденко, В. С. Харченко // Математичні машини і системи, 2010, № 1. – С. 205-217.
Антощук С. Г. Прогнозирование количества ошибок на этапе эксплуатации адаптируемых учетных информационных систем / С. Г. Антощук, Д. А.Маевский, С. А.Яремчук // Радіоелектронні і комп’ютерні системи. – 2010. – № 6 (47). – С. 204-210.
Маевський Д. А. Влияние вторичных дефектов на надежность динамичных информационных систем / Д. А. Маевский // Вісник НТУ “ХПІ» . – 2012. – №50 (956). – С. 54-58.
Маєвський Д. А. Структурна динаміка програмних систем і прогнозування їх надійності при наявності вторинних дефектів / Д. А. Маевский // Радіоелектронні і комп’ютерні системи. – 2010. – № 3 (44). – С. 103-109.
Маевский Д. А. Использование теории временных рядов для выделения вторичных ошибок на этапе тестирования программного обеспечения / Д. А. Маевский, О. П. Жеков // Радіоелектронні і комп’ютерні системи. – 2011. – № 2 (16). – С. 82-85.
Одарущенко О. Н. Метод оценивания надежности программных средств с учетом вторичных дефектов / О. Н. Одарущенко, А. А. Руденко, В. С. Харченко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7 (59). – С. 294-300.
Мищенко В. О. СASE–оценка критических программных систем. Том 1. Оценка качества [Монография] / В. О.Мищенко, О. В.Поморова, Т. А. Говорущенко ; под ред. Харченко В. С. – Х : Нац. аэрокосмический ун–т «Харьк. авиац. ин–т», 2012. – 201 с.
Мищенко В. О. Энергетический анализ программного обеспечения с примерами реализации для Ада–программ / В. О. Мищенко Х. : ХНУ имени В.Н. Каразина, 2007. – 129 с.
Мищенко В.О. Термодинамический подход к моделированию процесса программирования / В. О. Мищенко // Моделирование и программное обеспечение систем и технологий. Часть 1. Математическое моделирование физических процессов и технических систем. – научно-методический сб. – Харьков, 2014. – С. 209-260.
Maevsky D. A. Software reliability. what is it? / Dmitry A. Maevsky, Igor A. Ushakov, Ludmila N. Shapa // RT&A # 04 (31) (Vol.8) 2013, December. – P. 60-65.
Одарущенко О. Н. Учет вторичных дефектов в моделях надежности программных средств / О. Н. Одарущенко, А. А. Руденко, В. С. Харченко // Математичні машини і системи, 2010, № 1. – С. 205-217.
Антощук С. Г. Прогнозирование количества ошибок на этапе эксплуатации адаптируемых учетных информационных систем / С. Г. Антощук, Д. А.Маевский, С. А.Яремчук // Радіоелектронні і комп’ютерні системи. – 2010. – № 6 (47). – С. 204-210.
Маевський Д. А. Влияние вторичных дефектов на надежность динамичных информационных систем / Д. А. Маевский // Вісник НТУ “ХПІ» . – 2012. – №50 (956). – С. 54-58.
Маєвський Д. А. Структурна динаміка програмних систем і прогнозування їх надійності при наявності вторинних дефектів / Д. А. Маевский // Радіоелектронні і комп’ютерні системи. – 2010. – № 3 (44). – С. 103-109.
Маевский Д. А. Использование теории временных рядов для выделения вторичных ошибок на этапе тестирования программного обеспечения / Д. А. Маевский, О. П. Жеков // Радіоелектронні і комп’ютерні системи. – 2011. – № 2 (16). – С. 82-85.
Одарущенко О. Н. Метод оценивания надежности программных средств с учетом вторичных дефектов / О. Н. Одарущенко, А. А. Руденко, В. С. Харченко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7 (59). – С. 294-300.
Мищенко В. О. СASE–оценка критических программных систем. Том 1. Оценка качества [Монография] / В. О.Мищенко, О. В.Поморова, Т. А. Говорущенко ; под ред. Харченко В. С. – Х : Нац. аэрокосмический ун–т «Харьк. авиац. ин–т», 2012. – 201 с.
Мищенко В. О. Энергетический анализ программного обеспечения с примерами реализации для Ада–программ / В. О. Мищенко Х. : ХНУ имени В.Н. Каразина, 2007. – 129 с.
Опубліковано
2019-09-18
Як цитувати
Мищенко, В. О. (2019). Термодинамічний підхід до моделювання процесу росту надійності ПЗ з урахуванням «вторинних дефектів». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління», 27, 91-106. вилучено із https://periodicals.karazin.ua/mia/article/view/14201
Номер
Розділ
Статті