Реалізація засад захищеного програмування у рамках алгебраїчного апарату

Abstract

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