Какие методы существуют для контроля отсутствия в современном программировании?

Возможно, имелись в виду методы контроля отсутствия недекларированных возможностей (НДВ) в программном обеспечении. 23 Некоторые из них:

• Контроль внешних зависимостей. 1 Включает проверку соответствия списка реально используемых внешних объектов и их версий декларируемым. 1
• Контроль процесса инсталляции/деинсталляции. 1 Проверяется соответствие списка реально устанавливаемых компонентов ПО декларируемым. 1
• Контроль процесса обновления. 1 Проверяется соответствие списка изменённых в процессе обновления компонентов декларируемому. 1
• Контроль компонентов и их внутренних зависимостей. 1 Включает проверку соответствия реального списка компонентов ПО декларируемому, контроль отсутствующих и избыточных компонентов ПО (в том числе элементов сборки). 1
• Сканирование уязвимостей и антивирусный контроль. 1 Включает проверку дистрибутива, а также ПО в установленном состоянии. 1

Для выявления НДВ также используют такие методы, как системный анализ, теория верификации программного обеспечения, формальная логика, аппарат алгебры Янова, методы программометрии. 2