АНАЛІЗ І ДОСЛІДЖЕННЯ МОДЕЛЕЙ І МЕТОДІВ РОЗРОБКИ СИСТЕМНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

  • Кассем Халіфі
  • Т.М. Шипова
Ключові слова: системне програмне забезпечення, вимоги до якості програмного забезпечення, безпеку, SCRUM, Agile, математичне моделювання

Анотація

У статті проведено аналіз і дослідження моделей і методів розробки системного програмного забезпечення комп'ютерних систем критичного застосування. Представлені фактори, що впливають на це процес. Визначено вимоги до якості розробки системного програмного забезпечення в цілому і вказано на пріоритетність показників безпеки програмного забезпечення. Проведено аналіз і порівняльне дослідження основних підходів математичного моделювання процесу розробки системного програмного забезпечення. Визначено пріоритетні напрямки подальшого дослідження.

Посилання

1. Департамент QA: Ошибки управления [Элек-тронный ресурс] – Режим доступа: http://blog.alsedi.com/departament-qa-oshibki-upravleniya/.
2. ДСТУ ISO/IEC 25012:2016 Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Модель якості даних (ISO/IEC 25012:2008, IDT) [Электронный ресурс] – Ре-жим доступа: http://online.budstandart.com/ua/catalog/doc-page.html?id_doc=69135.
3. Казарин О.В. Безопасность программного обес-печения компьютерных систем : Монография/ О.В. Каза-рин. – М.: МГУЛ, 2003. – 212 с.
4. Липаев В.В. Надежность и функциональная без-опасность комплексов программ реального времени / В.В. Липаев. Институт системного программирования Рос-сийской академии наук – М: 2013. 176 с.
5. Семенов С.Г. Модель оценки риска разработки программного обеспечения. / С.Г. Семенов , Д.А. Лисица // Материали XV Международной НТК «Проблемы инфор-матики и моделирования». – Х: НТУ «ХПИ», 2015. C.82.
6. Семенов С.Г. Методика математического мо-делирования защищенной ИТС на основе многослойной GERT-сети / С.Г. Семенов Методика математического моделирования защищен // Вестник Национального тех-нического университета «Харьковский политехнический институт». Сборник научных работ. Тематический выпуск: Информатика и моделирование. – Х.:НТУ «ХПИ», 2012. –№62 (968). –С 173-181.
7. EXECUTIVE SUMMARY AGILITY ACCELERATES THE DELIVERY OF BUSINESS VALUE [Электронный ресурс] – Режим доступа: http://www.agile247.pl/wp-content/uploads/2017/04/versionone-11th-annual-state-of-agile-report.pdf.
8. OSSTMM 3. Open-Source Security Testing Method-ology Manual [Электронный ресурс] – Режим доступа: http://www.isecom.org/mirror/OSSTMM.3.pdf.
9. Test & Test Case Management in Jira [Электрон-ный ресурс] – Режим доступа: http://blog.alsedi.com/test-test-case-management-in-jira-part-0/
10. Hopfield J. J. Neural networks and physical systems with emergent collective computational abilities, Proceedings of National Academy of Sciences, vol. 79 no. 8 pp. 2554–2558, April 1982.
Опубліковано
2017-10-11
Розділ
Статті