Показаны проблемы контроля функциональности программного обеспечения (ПО), основанного на оценке семантической корректности ПО информационно-управляющих систем, обусловленные значительной ресурсоемкостью как при использовании семантических векторов, так и семантических дескрипторов для представления данных о физической размерности. Предложен метод эффективного представления семантической информации, основанный на использовании целочисленного отображения семантического пространства в упорядоченное множество целочисленных семантических дескрипторов. Исследованы свойства целочисленных семантических дескрипторов. Показана возможность использования целочисленных семантических дескрипторов для оценки семантической корректности ПО. Определена аксиоматика целочисленной дескрипторной алгебры, использование которой позволяет снизить вычислительные ресурсы, необходимые для формального доказательства семантической корректности ПО информационно-управляющих систем.