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