Внимание! Соединение с приложением прервано. Дождитесь повторного подключения.
Обсуждение документации - Просмотр сообщения № 714200
Тема сообщения
Замечание к КД
Тип сообщения
Замечание к КД
Поставщик
Товарищество с ограниченной ответственностью "BrainBoost"
Представитель поставщика
РАПҚАТ РАИМБЕК
Дата и время отправки сообщения
2026-06-05 11:22:40
Текст сообщения
Техническая спецификация одновременно требует:
использования паттерна MobX (JavaScript-библиотека управления состоянием интерфейса);
наличия сертификата СТ РК ISO/IEC 15408-3-2017 с уровнем доверия не ниже 5.
Из открытых источников следует, что программные продукты, построенные на JavaScript с использованием динамической JIT-компиляции, не сертифицируются на уровень доверия 5 (требующий формальной верификации кода). Просим разъяснить, каким образом поставщик может одновременно соблюсти оба требования, и просим привести пример (название, производитель) хотя бы одного продукта в реестре доверенного ПО РК, который одновременно использует MobX и имеет сертификат уровня доверия 5.
использования паттерна MobX (JavaScript-библиотека управления состоянием интерфейса);
наличия сертификата СТ РК ISO/IEC 15408-3-2017 с уровнем доверия не ниже 5.
Из открытых источников следует, что программные продукты, построенные на JavaScript с использованием динамической JIT-компиляции, не сертифицируются на уровень доверия 5 (требующий формальной верификации кода). Просим разъяснить, каким образом поставщик может одновременно соблюсти оба требования, и просим привести пример (название, производитель) хотя бы одного продукта в реестре доверенного ПО РК, который одновременно использует MobX и имеет сертификат уровня доверия 5.
