Розробка графоаналітичних моделей алгоритма тестування безпеки програмного забезпечення

Автор(и)

  • Serhii Semenov Національний технічний університет «Харківський політехнічний інститут» вул. Кирпичова, 2, м. Харків, Україна, 61002, Україна https://orcid.org/0000-0003-4472-9234
  • Oksana Sira Національний технічний університет «Харківський політехнічний інститут» вул. Кирпичова, 2, м. Харків, Україна, 61002, Україна https://orcid.org/0000-0002-4869-2371
  • Nina Kuchuk Харківський національний університет імені В. Н. Каразіна майдан Свободи, 4, м. Харків, Україна, 61022, Україна https://orcid.org/0000-0002-0784-1465

DOI:

https://doi.org/10.15587/1729-4061.2018.127210

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

тестування безпеки, графоаналітична модель, напівмарківський процес, перетворення Лапласа, виробляюча функція

Анотація

Визначено, що існує ряд специфічних особливостей, пов'язаних з можливістю негативних маніпуляцій програмним продуктом. Розроблено графоаналітичну модель алгоритму тестування безпеки програмного забезпечення. Отримано співвідношення для розрахунку статистичних характеристик випадкового часу виконання даного алгоритму. Модель можна використовувати для дослідження етапів тестування безпеки програмного забезпечення. Застосування моделі дозволить знизити уразливість IT-проекту в цілому

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

Serhii Semenov, Національний технічний університет «Харківський політехнічний інститут» вул. Кирпичова, 2, м. Харків, Україна, 61002

Доктор технічних наук, старший науковий співробітник

Кафедра обчислювальна техніка та програмування

Oksana Sira, Національний технічний університет «Харківський політехнічний інститут» вул. Кирпичова, 2, м. Харків, Україна, 61002

Доктор технічних наук, професор

Кафедра розподілених інформаційних систем і хмарних технологій

Nina Kuchuk, Харківський національний університет імені В. Н. Каразіна майдан Свободи, 4, м. Харків, Україна, 61022

Кандидат педагогічних наук

Кафедра теоретичної та прикладної системотехніки

Посилання

  1. Tobias, K. A (2011). Bug Hunter's Diary: A Guided Tour Through the Wilds of Software Security. No Starch Press, 208.
  2. The Software Improvement Group (SIG) measures software energy use. The Green IT Review. Available at: http://www.seflab.com/news/the-software-improvement-group-sig-measures-software-energy-use-the-green-it-review/
  3. Kuchuk, G., Kovalenko, A., Kharchenko, V., Shamraev, A. (2017). Resource-Oriented Approaches to Implementation of Traffic Control Technologies in Safety-Critical I&C Systems. Studies in Systems, Decision and Control, 313–337. doi: 10.1007/978-3-319-55595-9_15
  4. Semenov, S. H., Kassem Khalife (2017). Kompleks matematychnykh modelei protsessu rozrobky prohrammnoho zabezpechennia. Informatsiyni tekhnolohiyi ta kompiuterna inzheneriya, 3 (40), 61–68.
  5. Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (Eds.) (2017). Green IT Engineering: Concepts, Models, Complex Systems Architectures. Studies in Systems, Decision and Control. doi: 10.1007/978-3-319-44162-7
  6. Annadurai, C. (2011). Review of Packet Scheduling Algorithms in Mobile Ad Hoc Networks. International Journal of Computer Applications, 15 (1), 7–10. doi: 10.5120/1914-2552
  7. Bordunov, I. B., Kosachev, A. S. (2009). Polnoe testirovanie s otkrytym sostoyaniem ogranichenno nedeterminirovannyh system. Programmirovanie, 6, 3–18.
  8. Mozhaev, O., Kuchuk, H., Kuchuk, N., Mozhaev, M., Lohvynenko, M. (2017). Multiservice network security metric. 2017 2nd International Conference on Advanced Information and Communication Technologies (AICT). doi: 10.1109/aiact.2017.8020083
  9. Burdonov, I. B., Kosachev, I. S. (2010). Bezopasnoe testirovanie simulyacii sistem s otkazami i razrusheniem. Modelirovanie i analiz informacionnyh sistem, 17 (4), 27–40.
  10. Goodmon, L. B., Anderson, M. C. (2011). Semantic integration as a boundary condition on inhibitory processes in episodic retrieval. Journal of Experimental Psychology: Learning, Memory, and Cognition, 37 (2), 416–436. doi: 10.1037/a0021963
  11. Kuchuk, G., Kharchenko, V., Kovalenko, A., Ruchkov, E. (2016). Approaches to selection of combinatorial algorithm for optimization in network traffic control of safety-critical systems. 2016 IEEE East-West Design & Test Symposium (EWDTS). doi: 10.1109/ewdts.2016.7807655
  12. Krishnan, M. S. (2015). Software Development Risk Aspects and Success Frequency on Spiral and Agile Model. International Journal of Innovative Research in Computer and Communication Engineering, 03 (01), 301–310. doi: 10.15680/ijircce.2015.0301024
  13. Raskin, L. G. (1988). Matematicheskie metody issledovaniya operaciy i analiza slozhnyh sistem vooruzheniya PVO. Kharkiv: VIRTA PVO, 178.
  14. Zhuravlev, A. Yu. (2014). Polumarkovskie processy. Moscow, 218.
  15. Bellman, R. E., Zadeh, L. A. (1970). Decision-Making in a Fuzzy Environment. Management Science, 17 (4), B-141–B-164. doi: 10.1287/mnsc.17.4.b141
  16. Raskin, L. G., Seraya, O. V. (2008). Nechetkaya matematika. Kharkiv: Parus, 352.
  17. Kaufman, A., Gupta, M. (1985). Introduction to Fuzzy Arithmetic: Theory and Applications. New York: VN. Reinhold, 351.
  18. Liu, B., Liu, Y.-K. (2002). Expected value of fuzzy variable and fuzzy expected value models. IEEE Transactions on Fuzzy Systems, 10 (4), 445–450. doi: 10.1109/tfuzz.2002.800692
  19. Pawlak, Z. (1982). Rough sets. International Journal of Computer & Information Sciences, 11 (5), 341–356. doi: 10.1007/bf01001956
  20. Raskin, L., Sira, O. (2016). Fuzzy models of rough mathematics. Eastern-European Journal of Enterprise Technologies, 6 (4 (84)), 53–60. doi: 10.15587/1729-4061.2016.86739
  21. Raskin, L., Sira, O. (2016). Method of solving fuzzy problems of mathematical programming. Eastern-European Journal of Enterprise Technologies, 5 (4 (83)), 23–28. doi: 10.15587/1729-4061.2016.81292

##submission.downloads##

Опубліковано

2018-03-28

Як цитувати

Semenov, S., Sira, O., & Kuchuk, N. (2018). Розробка графоаналітичних моделей алгоритма тестування безпеки програмного забезпечення. Eastern-European Journal of Enterprise Technologies, 2(4 (92), 39–46. https://doi.org/10.15587/1729-4061.2018.127210

Номер

Том 2 № 4 (92) (2018): Математика та кібернетика - прикладні аспекти

Розділ

Математика та кібернетика - прикладні аспекти

Ліцензія

Авторське право (c) 2018 Serhii Semenov, Oksana Sira, Nina Kuchuk

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.

Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.