Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства

Abstract

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

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