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

Кассем Халіфі, Т.М. Шипова

Анотація


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

Ключові слова


системне програмне забезпечення; вимоги до якості програмного забезпечення; безпеку; SCRUM; Agile; математичне моделювання

Повний текст:

PDF (Русский)

Посилання


Департамент QA: Ошибки управления [Элек-тронный ресурс] – Режим доступа: http://blog.alsedi.com/departament-qa-oshibki-upravleniya/.

ДСТУ ISO/IEC 25012:2016 Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Модель якості даних (ISO/IEC 25012:2008, IDT) [Электронный ресурс] – Ре-жим доступа: http://online.budstandart.com/ua/catalog/doc-page.html?id_doc=69135.

Казарин О.В. Безопасность программного обес-печения компьютерных систем : Монография/ О.В. Каза-рин. – М.: МГУЛ, 2003. – 212 с.

Липаев В.В. Надежность и функциональная без-опасность комплексов программ реального времени / В.В. Липаев. Институт системного программирования Рос-сийской академии наук – М: 2013. 176 с.

Семенов С.Г. Модель оценки риска разработки программного обеспечения. / С.Г. Семенов , Д.А. Лисица // Материали XV Международной НТК «Проблемы инфор-матики и моделирования». – Х: НТУ «ХПИ», 2015. C.82.

Семенов С.Г. Методика математического мо-делирования защищенной ИТС на основе многослойной GERT-сети / С.Г. Семенов Методика математического моделирования защищен // Вестник Национального тех-нического университета «Харьковский политехнический институт». Сборник научных работ. Тематический выпуск: Информатика и моделирование. – Х.:НТУ «ХПИ», 2012. –№62 (968). –С 173-181.

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.

OSSTMM 3. Open-Source Security Testing Method-ology Manual [Электронный ресурс] – Режим доступа: http://www.isecom.org/mirror/OSSTMM.3.pdf.

Test & Test Case Management in Jira [Электрон-ный ресурс] – Режим доступа: http://blog.alsedi.com/test-test-case-management-in-jira-part-0/

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.


Посилання

  • Поки немає зовнішніх посилань.


##submission.copyrightStatement##