Автоматизация выявления и устранения НДВ при верификации программ [Текст] = Automating the Detection and Elimination of Undeclared Features When Verifying Programs / А. Г. Зыков, Я. С. Голованев, В. И. Поляков, Д. В. Швед // Защита информации. Инсайд. - 2020. - № 3. - С. 62-65 : ил. - Библиогр.: с. 65 (6 назв.)
Рубрики: Информатика Информатизация общества. Информационная политика Кл.слова (ненормированные): графо-аналитическая модель -- мертвый код -- недекларированные возможности -- синтаксический анализ Аннотация: При разработке программных систем одним из основных подходов является модульный способ программирования. При этом отдельные задачи выделяются в виде самостоятельных модулей и могут проектироваться и реализовываться различными группами разработчиков. На каждом этапе проектирования обязательно осуществляется верификация. В качестве спецификации проекта предлагается использовать графо-аналитическую модель вычислительного процесса и ее описание на разработанном авторами языке. Задачу автоматизации обнаружения недекларированных возможностей и исключения их в программе предлагается решить с помощью дополнительных средств анализа при верификации программы. Доп.точки доступа: Зыков, Анатолий Геннадьевич (кандидат технических наук); Голованев, Яков Сергеевич; Поляков, Владимир Иванович (кандидат технических наук); Швед, Дарья Викторовна Нет сведений об экземплярах (Источник в БД не найден) |