Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Скарга-Бандурова И. C. Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа / И. C. Скарга-Бандурова, Я. П. Коваленко // Радіоелектронні і комп’ютерні системи. - 2014. - № 6. - С. 60-63. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_6_13 Обсуждена роль тестирования в процессе разработки программного обеспечения (ПО) критических систем. Приведен обзор методов тестирования ПО. Исследованы два взаимосвязанных аспекта: динамическое тестирование и статический анализ кода. Для тестирования программных модулей компьютерных систем с повышенными требованиями к безопасности предлагается на этапе разработки применять статический анализ в качестве дополнительного метода к стандартным динамическим испытаниям. Предложена структурная схема программного интерпретатора, реализующего технологию статического анализа, описаны принципы его работы, внутренняя логическая структура и подходы к реализации. Цитованість авторів публікації: Бібліографічний опис для цитування: Скарга-Бандурова И. C. Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа / И. C. Скарга-Бандурова, Я. П. Коваленко // Радіоелектронні і комп’ютерні системи. - 2014. - № 6. - С. 60-63. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_6_13.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |