Обсуждена роль тестирования в процессе разработки программного обеспечения (ПО) критических систем. Приведен обзор методов тестирования ПО. Исследованы два взаимосвязанных аспекта: динамическое тестирование и статический анализ кода. Для тестирования программных модулей компьютерных систем с повышенными требованиями к безопасности предлагается на этапе разработки применять статический анализ в качестве дополнительного метода к стандартным динамическим испытаниям. Предложена структурная схема программного интерпретатора, реализующего технологию статического анализа, описаны принципы его работы, внутренняя логическая структура и подходы к реализации.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Скарга-Бандурова Інна Сергіївна (технічні науки)
• Коваленко Ян Павлович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"