Барлық елдер

Ақша сомасы: 0

Өтінімдер саны: 0

Тапсырыс беруші
... дейн шешім қабылдау

23.07.25

Марапаттау нысаны

Денежное

Өнім күйі

MVP

Тапсырма түрі

Задачи ИКТ

Сфера применения

Медиасфера

Область задачи

Телекоммуникациядағы технологиялар

Tech-тапсырма
Өнім түрі

Мобильді қосымша

Мәселенің сипаттамасы

Представим приложение как ориентированный граф G(V, E), вершины - автономные модули (виджеты Flutter, скрипты Unity, сервисы на Go), ребра - вызовы RPC/FFI. Патч - множество операций (ΔV, ΔE): добавление/удаление/замена вершин или ребер. Требуется алгоритм Verify(G, Δ), удовлетворяющий: 1. Soundness - если Verify=SAFE, система никогда не упадет в дедлок/loop, не повредит данные и не утратит крипто‑инварианты, независимо от будущих патчей. 2. Termination - Verify всегда завершается за конечное время. Сведение пункта 1 к классической Halting Problem показывает неразрешимость в общем случае: алгоритм, проверяющий «не войдет ли приложение когда‑нибудь в бесконечный цикл», эквивалентен полному решателю проблемы останова.

Күтілетін әсер

Заказчик сформулировал следующие критерии приемки: • Алгоритм Verify(G, Δ) возвращает {SAFE, UNSAFE} для структуры приложения в виде графа G и патча Δ. • Если ответ SAFE, то приложение остается корректным при любых последующих патчах. • Время ответа ≤ 200 мс на устройстве класса «средний смартфон 2022» (6 GB RAM, Snapdragon 778G). • Отсутствие удаленного бек‑энда: все вычисление на клиенте из соображений privacy.

Жауапты тұлғаның ТАӘ

Сергеев И. А.

Жауапты тұлғаның байланыстары

tech@techapps.kz

Тапсырманың (жобаның) мақсаты мен сипаттамасы

В начале 2025 года к нам обратился корпоративный заказчик, который управляет парком мобильных приложений (iOS, Android, WebGL). Ему потребовалась механика динамических обновлений - возможность вкладывать исправления и A/B‑эксперименты без классического магазина и без отсрочек на ревью‑процедуры. Ключевое требование: *прежде чем патч окажется на устройствах конечных пользователей, локальный алгоритм* должен в течение ≤ 200 мс гарантировать, что изменение не нарушает жизненно важных инвариантов системы.