Оценка эффективности независимой верификации программного обеспечения
Abstract
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки функциональности. Викладається методика оцінки ефективності незалежної верифікації ПЗ інформаційно-керуючих систем критичного застосування на основі статичного аналізу вихідних кодів з використанням семантичного методу оцінки функціональності.