Статичний та динамічний аналіз програмного забезпечення

Автор(и)

  • Sergii Sosnytskyi студент магістерської програми «Інженерія програмного забезпечення» факультету інформатики Національного університету «Києво-Могилянська академія»
  • Mykola Glybovets доктор фізико-математичних наук, професор кафедри інформатики, факультет інформатики Національного університету «Києво-Могилянська академія»
  • Olena Pyechkurova старший викладач кафедри мультимедійних систем факультету інформатики Національного університету «Києво-Могилянська академія»

DOI:

https://doi.org/10.18523/2617-3808.2020.3.50-55

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

статичний аналіз програмного забезпечення, динамічний аналіз програмного забезпечення, тестування, забезпечення якості, режим SQALE, безперервний аналіз коду, SonarQube

Анотація

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

Матеріал надійшов 16.05.2020

Біографії авторів

Sergii Sosnytskyi, студент магістерської програми «Інженерія програмного забезпечення» факультету інформатики Національного університету «Києво-Могилянська академія»

s.sosnytskyi@ukma.edu.ua

Mykola Glybovets, доктор фізико-математичних наук, професор кафедри інформатики, факультет інформатики Національного університету «Києво-Могилянська академія»

glib@ukma.edu.ua

Olena Pyechkurova, старший викладач кафедри мультимедійних систем факультету інформатики Національного університету «Києво-Могилянська академія»

pyechkurova@ukma.edu.ua

Посилання

Art of Illusion. Retrieved from http://www.artofillusion.org.

Coquand, T., & Huet, G. (1988). The calculus of constructions. Information and Computation, 76, 95–120.

Godefroid, P., Klarlund, N., & Sen, K. (2005). DART: Directed automated random testing. In Conference on Programming Language Design and Implementation (PLDI) (pp. 213–223).

Patrick, C. (2020). Principles of Abstract Interpretation. MIT Press.

Rival, X. (2020). Introduction to Static Analysis. MIT Press.

SonarQube Metric Definitions. Retrieved from https://docs.sonarqube.org/7.1/MetricDefinitions.html.

SQALE Model. Retrieved from https://en.wikipedia.org/wiki/SQALE.

##submission.downloads##