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