Метрики труднощів у оцінці надійності інструментальних бібліотек і фреймворків
Ключові слова:
надійність програмного забезпечення; статичні методи; метрика; М. Холстед; тудність; енергетичний аналіз; інструментальна бібліотека; фреймворк
Анотація
До надійності інструментальних засобів програмування висуваються підвищені вимоги. При цьому завжди актуальним є розвиток економічних методів оцінки надійності, здатних до застосування на всіх етапах розробки бібліотек і фреймворків. У даній роботі розвинуто статичний підхід до оцінки труднощів розуміння модулів програм, що компілюються. Труднощі або легкість такого розуміння є важливим об'єктивним фактором успішності тестування та модифікації модулів. Метод статті побудовано на ідеях М. Холстеда, енергетичному аналізі програм і прийомі фільтрації модулів за трудністю, що пов'язаний з відомими проектами. Наш метод випробувано стосовно оцінки зрілості модулів системи Matreshka (з арсеналу Ада індустрії), яка порівнюється з бібліотекою OAE.
Завантаження
##plugins.generic.usageStats.noStats##
Посилання
Мищенко В. О. СASE–оценка критических программных систем. Том 1. Оценка качества. / В. О.Мищенко, О. В.Поморова, Т. А. Говорущенко ; под ред. Харченко В. С. – Х : Нац. аэрокосмический ун–т «Харьк. авиац. ин–т», 2012. – 201 с.
Мищенко В. О. Энергетический анализ программного обеспечения с примерами реализации для Ада-программ / Виктор Олегович Мищенко. – Х.: ХНУ имени В. Н. Каразина, 2007. – 129 с.
982.2-1988 - IEEE Guide for the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software. Institute of Electrical and Electronics Engineers, 1989.
Shaw Wade H. A Software Science Model of Compile Time / Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller // IEEE Transactions on Software Engineering. – 1989. – Vol. 15, № 5. – P. 543–549.
Mishchenko V. O. Does The Different Definitions Of Ada Program Tokens Have Significant Difference? / V. O. Mishchenko // Радиоэлектронные и компьютерные системы. – 2008. – № 7 (34) – C. 103–106.
Холстед М. Х. Начала науки о программах / М. Х. Холстед; пер. с англ. В. М. Юфа. – М.: Финансы и статистика, 1981. – 128 с.
Shen V. Y. Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support / V. Y. Shen, S. D. Conte, H. E. Dunsmore // IEEE Transactions on Software Engineering. – 1983. – Vol. SE-9, № 2. P. 155 165.
Генералов К. А. Анализ эффективности использования генетических алгоритмов в задачах при использовании различных языков программирования // Вопросы современной науки и практики. Университет им. В.И.Вернадского. №2(12). 2008. Том 2. С. 148-154.
Годунко В. М. Качество транслятора шаблонов динамических html страниц для Ada WEB серверов / В. М. Годунко, В. О. Мищенко, М. М. Резник, Д. В. Штефан // Радіоелектронні і комп’ютерні системи. – 2012. – № 5. – С. 225-229.
Боровинский А. В. Сложность реализации интеллектуальных графических интерфейсов для приложений, основанных на МДО / А. В. Боровинский, В. О. Мищенко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7. – С. 260–265.
Литвинов Д. Н. Применение энергетических метрик для оценки использования ASIS и в других подобных задачах / Д. Н. Литвинов, В. О. Мищенко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7. – С. 301-306.
982.1-2005 - IEEE Standard Dictionary of Measures of the Software Aspects of Dependability. Institute of Electrical and Electronics Engineers, 2006. – 34 p.
Matreshka [Электронный ресурс] / Vadim Godunko, IE //01.04.2014. – Режим доступа: http://forge.ada-ru.org/matreshka
Ada Software – Free DownLoad Ada OEM-2009/2010/2011/2012 library [Электронный ресурс] / MediaScan.by // 15.10.2014. – Режим доступа http://www.mediascan.by/index.files/Page695.html .
Hamer Peter G. M.H. Halstead's Software Science – a critical examination / Peter G. Hamer, Gillian D. Frewin // International Conference on Software Engineering. Proceedings of the 6th international conference on Software engineering. Tokyo, 1982. – P. 197 206.
Большев Л.Н. Таблицы математической статистики / Л. Н. Большев, Н. В. Смирнов. – М.: Наука. Главная редакция физико-математической литературы, 1983. – 416 с.
GNAT Programming Studio - Википедия Matreshka [Электронный ресурс] http://ru.wikipedia.org/wiki/GNAT_Programming_Studio // 15.10.2014. – Режим доступа http://www.mediascan.by/index.files/Page695.html
Мищенко В. О. Энергетический анализ программного обеспечения с примерами реализации для Ада-программ / Виктор Олегович Мищенко. – Х.: ХНУ имени В. Н. Каразина, 2007. – 129 с.
982.2-1988 - IEEE Guide for the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software. Institute of Electrical and Electronics Engineers, 1989.
Shaw Wade H. A Software Science Model of Compile Time / Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller // IEEE Transactions on Software Engineering. – 1989. – Vol. 15, № 5. – P. 543–549.
Mishchenko V. O. Does The Different Definitions Of Ada Program Tokens Have Significant Difference? / V. O. Mishchenko // Радиоэлектронные и компьютерные системы. – 2008. – № 7 (34) – C. 103–106.
Холстед М. Х. Начала науки о программах / М. Х. Холстед; пер. с англ. В. М. Юфа. – М.: Финансы и статистика, 1981. – 128 с.
Shen V. Y. Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support / V. Y. Shen, S. D. Conte, H. E. Dunsmore // IEEE Transactions on Software Engineering. – 1983. – Vol. SE-9, № 2. P. 155 165.
Генералов К. А. Анализ эффективности использования генетических алгоритмов в задачах при использовании различных языков программирования // Вопросы современной науки и практики. Университет им. В.И.Вернадского. №2(12). 2008. Том 2. С. 148-154.
Годунко В. М. Качество транслятора шаблонов динамических html страниц для Ada WEB серверов / В. М. Годунко, В. О. Мищенко, М. М. Резник, Д. В. Штефан // Радіоелектронні і комп’ютерні системи. – 2012. – № 5. – С. 225-229.
Боровинский А. В. Сложность реализации интеллектуальных графических интерфейсов для приложений, основанных на МДО / А. В. Боровинский, В. О. Мищенко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7. – С. 260–265.
Литвинов Д. Н. Применение энергетических метрик для оценки использования ASIS и в других подобных задачах / Д. Н. Литвинов, В. О. Мищенко // Радіоелектронні і комп’ютерні системи. – 2012. – № 7. – С. 301-306.
982.1-2005 - IEEE Standard Dictionary of Measures of the Software Aspects of Dependability. Institute of Electrical and Electronics Engineers, 2006. – 34 p.
Matreshka [Электронный ресурс] / Vadim Godunko, IE //01.04.2014. – Режим доступа: http://forge.ada-ru.org/matreshka
Ada Software – Free DownLoad Ada OEM-2009/2010/2011/2012 library [Электронный ресурс] / MediaScan.by // 15.10.2014. – Режим доступа http://www.mediascan.by/index.files/Page695.html .
Hamer Peter G. M.H. Halstead's Software Science – a critical examination / Peter G. Hamer, Gillian D. Frewin // International Conference on Software Engineering. Proceedings of the 6th international conference on Software engineering. Tokyo, 1982. – P. 197 206.
Большев Л.Н. Таблицы математической статистики / Л. Н. Большев, Н. В. Смирнов. – М.: Наука. Главная редакция физико-математической литературы, 1983. – 416 с.
GNAT Programming Studio - Википедия Matreshka [Электронный ресурс] http://ru.wikipedia.org/wiki/GNAT_Programming_Studio // 15.10.2014. – Режим доступа http://www.mediascan.by/index.files/Page695.html
Опубліковано
2014-03-11
Як цитувати
Мищенко, В. О. (2014). Метрики труднощів у оцінці надійності інструментальних бібліотек і фреймворків. Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління», 25(1131), 126-147. вилучено із https://periodicals.karazin.ua/mia/article/view/14237
Номер
Розділ
Статті
